Hi Lucca,

Thank you for your response. A follow up question.

Q1: is it possible to stop Tau from running? just curious.

For example I did the example o1[t] = 0, I run it and then Tau ask me, "no inputs vars defined, how many steps do you want to perform?" I put a large number for testing (10,000) and its not stopping till it reach that number, it's actually amazing to see it run.  Is there a key I can type to stop it?

Q2: Also, does the result stored in my computer or if I entered cleared, it will remove everything?

Thanks!

Hi S1r_4zdr3w,

your conclusion is correct. The first one is a Boolean function which is passed to the normalizer while the second one is a Tau formula.

Best,
Lucca

Tau Live is a platform designed for real-time knowledge sharing through video calls.
https://tau.net/tau-live/

The Provisional Patent "A Method and System for Arbitrary Attestation to Anonymous Internet Users." will boost people's trust in the platform as well as those that offer their knowledge as they are certified by a trusted certifying entity.

https://drive.google.com/file/d/1F54OzMIcDQGE5cpP9gWy1WcLb0S_jVXl/view?usp=sharing

https://www.youtube.com/watch?v=ykVUja8m8JE&list=PLeBSjZu0y6vXmFwoi1BH7uwb2w_642aKW&index=29


Tau Live Platform Playlist

https://www.youtube.com/watch?v=3bu3a14eAis&list=PLeBSjZu0y6vXtMoX8IiZSGTum6dYejWaK

My question is what happens if a session is interrupted due to technical issues? How will the micropayment system handle such disruptions fairly?


 

Tau Formula:

tau => "(" tau "&&" tau ")" | "!" tau | "(" tau "^" tau ")" | "(" tau "||" tau ")"
    | "(" tau "->" tau ")" | "(" tau "<->" tau ")" | "(" tau "?" tau ":" tau ")"
    | "(" term "=" term ")" | "(" term "!=" term ")" | "("term "<" term")"
    | "("term "!<" term")"    | "(" term "<=" term ")" | "(" term "!<=" term ")"
    | "(" term ">" term ")"    | "(" term "!>" term ")" | "all" var tau
    | "ex" var tau | tau_ref | T | F.

Boolean Functions:

term => "("term "&" term")" | term "'" | "("term "+" term")" | "("term "|" term")"
    | term_ref | constant | uninterpreted_constant | var | "0" | "1".


So this explains why the first formula gives 1 while the 2nd formula gives T. This is because Tau sees the 1st formula to be a Boolean Function while the 2nd formula to be Tau Formula.

Basic Tutorial Series - Tau Lang REPL : Practice using Logical Connectives AND and OR and its possible real life applications

https://www.youtube.com/watch?v=qvtrRnX0438

In this video, I will show you how to
1. practice using both AND and OR logical function in a single formula
2. Analyze the result using the Truth Table
3. Giving Real life very simple practical application of logic (Getting a Job Offer)

Basic Tutorial Series - Tau Lang REPL : Basic Logical Connectives AND, OR, and NOT

https://www.youtube.com/watch?v=vGn1sOTKwUw

In this video, I will show you how to
1. use basic AND logical connector
2. use basic OR logical connector
3. use basic NOT logical connector
4. use Tau Language REPL syntax for (AND, OR, NOT)
5. Introducing how to write functions by using := where in the left side is the head (name of the function and variables) and on the right side is the logical expression.

Basic Tutorial Series - Tau Lang REPL : How to Navigate Formulas using History Functions

https://www.youtube.com/watch?v=Fa-DPrxs0kE

In this video, I will show you how to
1. Build Release in Ubuntu OS
2. Run the basic demo 1.1-basic_syntax_and_history
3. How to Navigate Formulas using hist function

Taunx very much for the update!

Hi guys, any idea why when normalizing these formula, one gave me a result of 1 and the other gave me a result of T. My guess is that the first formula Tau treat it as BA formula while the second formula, Tau treat it as Tau formula. Am I correct or missing something?

Taurific work - thanks for pointing out the bug! I've been informed it wasn't part of the known issues, and as such, you've been noted, as a bounty winner. We'll be reaching out to you soon