Ninjastic
PostEdited versionsQuotes to this post
Post
Topic
Board Announcements (Altcoins)
Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network
by
ohad
on 21/04/2016, 13:50:04 UTC
Quote from: redhero on April 21, 2016, 01:25:50 PM
Quote from: ICOcountdown.com on April 21, 2016, 07:59:31 AM
Quote from: joywin on April 21, 2016, 07:16:33 AM
tau-chain is so great, but why here is so cool Huh

Give it time, people have not understood how powerful this concept is yet.
I agree, from your side please give dev some good idea on how to procee a more effective ICO or IPO. the same time , thank you for your on time find the Edoncoin scammer and report it to bittrex, it save many invester's loss.

in time (after tau will be ready) we will focus on Agoras by all means (dev, pr, materials, explanations)
now really have to focus on tau for many reasons


Quote from: lexxus on April 21, 2016, 01:49:06 PM

Why was Martin-Lof Type Theory was chosen? Why not something more common such as first order predicate logic?


because we want consistent decidability, together with maximum computability