Proof, truth and verification

[@FrancisGo.]

Throughout my many travels I came to recognize time and again that TLA+ is intellectual yoga for math ninjas. They stand aloof. ❤✨️

[@jaydenwilson9522]

I figured it out! Mathematics isn't knowledge! Hell, Chemistry holds 80% of humanities knowledge. Mathematics is REASONING, simplified down to primitive notions of contextual truth. But, it can't give you the Whole Truth.