You are viewing a single comment's thread from:

RE: Tauchain Advanced Concepts

in #tauchain • 8 years ago

In Tau you will be able to reason over the code and evaluate it for a proof of correctness.

For me, this aspect is the very essence of TauChain . In one of your first posts you wrote:

Agoras is important because you don't have to be a mathematician if you have enough tokens to pay a mathematician to come up with a formal spec for a design you specify in plain English.

So Tau offers a guarantee that the code will fulfill the specification - that's great and I understand it. But what will guarantee that my plain English description is translated by a mathematician into a specification without any errors or omissions? Don't we just move the problem one level up?

Also, have you got any example of a formal spec for a piece of code to be written in Tau or any other provable language? it's hard for me to imagine what it looks like.

8 years ago in #tauchain by
$26.65
  • Past Payouts $26.65, 0.00 TRX
  • - Author $13.32, 0.00 TRX
  • - Curators $13.32, 0.00 TRX
3 votes
Reply 1
Sort:  
  • Trending
    • [-]
     8 years ago (edited)

    From my understanding of what is planned there is a developer or two who will be working on a controlled natural language. Attempto Controlled English (ACE) will allow implementation of something like Attempto for example.

    ACE can serve as knowledge representation, specification, and query language, and is intended for professionals >who want to use formal notations and formal methods, but may not be familiar with them. Though ACE appears >perfectly natural – it can be read and understood by any speaker of English – it is in fact a formal language.

    and...

    Here are some simple examples:
    Every woman is a human.
    A woman is a human.
    A man tries-on a new tie. If the tie pleases his wife then the man buys it.

    So while not straight up English it will be a controlled English which means anyone who can speak English should have no problem dealing with it.

    References

    1. Attempto Controlled English https://en.wikipedia.org/wiki/Attempto_Controlled_English
    2. https://github.com/amiller/CoinCoq

    Coin Marketplace

    STEEM 0.28
    TRX 0.12
    JST 0.032
    BTC 62184.89
    ETH 2995.49
    USDT 1.00
    SBD 3.97