Did I finally find a logic I like? I can actually read this. You can express things like “two out of three”. Never heard of it. Got here the round-about way. From Gregory Chaitin (computational complexity) and “Unreasonable ineffectiveness of mathematics” to Quasi-empiricism in mathematics to Interactive computation to Cirquent calculus by G. Japaridze. https://en.wikipedia.org/wiki/Cirquent_calculus

Did I finally find a logic I like? I can actually read this. You can express things like “two out of three”. Never heard of it. Got here the round-about way.
 
From Gregory Chaitin (computational complexity)
and “Unreasonable ineffectiveness of mathematics” to
Quasi-empiricism in mathematics
to
Interactive computation
to
Cirquent calculus by G. Japaridze.
 
https://en.wikipedia.org/wiki/Cirquent_calculus
===

Leave a comment

Your email address will not be published. Required fields are marked *


7 − = three

Leave a Reply