The Tau language is a language extension of other classical logics (the “base logics”) intended to be a logic whose formulas denote software specifications. A formula specifies a program having at each point of time inputs, outputs, and internal states (memory), which can themselves hold other software specifications, namely a program specification may have as input and output other programs over time.…

In our current world one can rarely monetize their knowledge in a direct manner. We almost never buy or sell (or price) a single piece of knowledge. Seeking knowledge in an economical setting is currently mostly done by appealing to people who we assume to be involved in a field where the knowledge of interest may exist, just like there…

In this post we won’t get into an overview of Tau and Agoras as we did in the last three posts, but we’ll dive into two specific parts of each: Tau’s governance model, and Agoras derivatives market. As promised in the last post, in this post we’ll talk on who gets to decide. Recall that Tau is a software that…

This post, like the previous two, comes to shed light on the same subjects. The post “The New Tau” went bottom up from TML to Agoras and focused on scaling discussions. The post “From Agoras to TML” went the other way around, and focused on knowledge economy. Here we approach the subject by emphasizing on self definition. Our main example…

In the last blogpost we went through our five stages in chronological and conceptually bottom-up order, language, knowledge, discussion, collaboration, change, and knowledge market. The first five steps are about creation of a knowledge society, and from there we can build a knowledge economy on top of it. On this post we go backwards, we consider what we mean by…

We are interested in a process in which a small or very large group of people repeatedly reach and follow agreements. We refer to such processes as Social Choice. We identify five aspects arising from them, language, knowledge, discussion, collaboration, and choice about choice. We propose a social choice mechanism by a careful consideration of these aspects. Some of the…

We live in a world in which no one knows the law. Except trivial cases, you cannot know what is legal and what is not, all you can do is try and see what is the judge’s or policeman’s opinion after you’ve taken your actions, which of course differs from one to another. Or you can consult a lawyer that…

Beginning with some recap: Tau My Life: A Memoir is a language. It is a programming language, but not only such. It may express virtually any arbitrary knowledge, rules, and processes. Examples are contracts, mathematical proofs, scientific facts and arguments, and legal documents. Its power comes from being unambiguous and consistent while still maintaining maximum (finite) expressibility. A more detailed…

Bitcoin may abstractly be described as a decentralized machine that appends new data (transactions) to a public shared database (ledger) given certain proofs (signatures). One immediately asks, what if we take the Blockchain algorithm and allow arbitrary data with multiple public shared databases and with arbitrary proofs? Moreover, can the protocol itself evolve with time? Let’s break those questions into…

Putting it altogether, code is rules and queries, while the compiler (being essentially an autoprover) follows the rules and their consequences and outputs answers (while performing any side-effects). This is a closed loop, the code is retrieved from tau-chain upon a new block, using, obviously, some tau client. So we accept and execute block T by executing the code that…