3 ms·

I've been reading Stephen Wolfram's "A New Kind of Science" which goes in very deep on cellular automata and possible applications on it, and I couldn't agree m

I've been reading Stephen Wolfram's "A New Kind of Science" which goes in very deep on cellular automata and possible applications on it, and I couldn't agree more with you more. There's even one section where he uses cellular automata logic to formally derive the fundamental rules of propositional logic. He basically re-wrote that section for his blog recently if anyone is curious: https://blog.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/ https://blog.stephenwolfram.com/2018/11/logic-explainability...

naasking 8y ago
Interesting article! You may also be interested in Computability Logic [1]: > Computability Logic (CoL) understands computational problems in their most general – interactive sense. [...] CoL provides a generalization of the Church-Turing thesis to the interactive level. The classical concept of truth turns out to be a special, zero-interactivity-degree case of computability. This makes classical logic a special fragment of CoL. Being a conservative extension of the former, computability logic is, at the same time, by an order of magnitude more expressive, constructive and computationally meaningful. [1] https://en.wikipedia.org/wiki/Computability_logic https://en.wikipedia.org/wiki/Computability_logic