Topic: Tau-Chain and Agoras Official Thread: Generalized P2P Network - page 146. (Read 309768 times)

such a thing has never been done before, and is done now not for manipulation purposes but since several buyers thought it'll be better this way, i agreed to make this experiment for a short while to see where the market settles. i don't believe it'll change much

Let us assume that we have a contract and I wish to ask – what will happen.
 Do I need to live through this contract to see what happens with it, or, can I know in advance, what will be it's outcomes.

Godel proved that if a language is rich enough to describe the arithmetics, it is complete, and can prove all the correct statements, and it can also prove all the incorrect statements, as we have just shown. If we have a language that is consistent, and can not prove statements that are incorrect, then it can not prove all statements, it is incomplete, can describe only part of the realities, not all of them.
And so, the world of mathematics, logics and philosophy where in crisis and did not know what to do in order not to be self contradictive. In the 70's till mid 80's came Martin Löf. He formalized a system for the foundations of mathematics. A logical system, that can not be called logics, because it is different. This system is consistent. I can not contradict myself with this system, and therefore, when I have a proof, I can rely on it. If I have a proof for a statement, it means that is it correct, because we can not prove incorrect statements in a consistent language.

And so, Martin Löf presented logics that is today viewed as the new basis for mathematics. It went that far as to be called the new foundation of mathematics. With this logic we can determine if a statement is true or false, including by a computer. Of course, it took time since the 80's to understand what it is all about, and until they verified Martin Löf is indeed correct. Slowly, programming languages were developed to use this trick. For example, we can mention Agda, or Idris.

In these languages we can write code, and ask what the code does, and even receive a mathematically proven answer with all the steps that led to the result. I can rely on that proof and know that it is impossible to prove an incorrect statement.
On the other hand, in Turing complete languages, which are most of the languages that are used today for programming, people do not know the concept of proof on code because it is simply not possible. In order to know if a code works, it is needed to run it. to live through it and see if it works.

It is not wise to manipulate the price in this way. Why not sell all the tokens in ICO way before traded at exchanges?
What you are doing is leading us suspect you just want to get more BTC in a bad way. You should focus on the project more than price.

im removing the ask at .000465 from bittrex for a while (till Apr 1 or a few days later) in order to see how the market behaves without it

@ohad
I have bought some Agoras Token. some questions:
1) When and how can we get real coins?
2) What is the initial price of Agoras tokens? 0.0006+BTC?
3) How many Agoras tokens were sold?

Will it be possible to use tauchain to determine when and where something on the internet was first posted? And more advance then that, the source of all new content published to the internet could essentially be indexed / found? When you say that this will complete create the next generation of search engines, I am a little unclear on what it is about this project that allows it to do so. I like to dream big, but I dont understand the mechanics behind what is possible yet.

I might not be understanding correctly, but I did not mean the mining algorithm. I was meaning, could you use the CryptoNote protocol to provide transaction privacy? Bitcoin is transparent, and this is not good. Sorry if I am mistaken.

first we have to know the mining scheme on tau that will be determined by the first users. this will reflect agoras' mining scheme

Ohad, when it comes time to create the Agoras token, would/could you consider CryptoNote? Perhaps a fork of Monero?

why not distribute coin in ICO?

In Ethereum they have ConseSys group which consists of startups using smart contracts to build useful Dapps (decentralized applications). It is much more easier way to show the potential of the system to ordinary users or programmers. Are there any plans to create such start-ups which will use tau?

That was indeed a fantastic lecture, thanks for posting.

Please excuse my lack of knowledge of semantic web at this point but will there be a way for developers who are familiar with other OO languages to write code into the tauchain? It seems like it would be a huge mainstream adoption hurdle to overcome if all people have to write/find in the RDF family. I understand that having provable code is the whole point of Tau and RDF allows that, I just see limitations if anyone who wants to adopt has to understand RDF to write it or create the requirements to check if it is already in the chain.

Other than dogma, is there a reason to make this a public project? What is stopping Ohad from going private with this once it gets close and keeping this incredible technology to a business of his own? I generally don't understand why this needs to have a public element to it at all other than having strong ideals.

I think Im going to gamble and invest a lot in this, the payoff is huge.

What about this project? It is similar to Ta-Chain?

https://www.bigchaindb.com/