3 ms·
Also reminiscent of Stephen Wolfram's recent thinking about the "Ruliad"[0], which I initially heard him discussing during the keynote at the recent re:Clojure
by refset 5y ago
Also reminiscent of Stephen Wolfram's recent thinking about the "Ruliad"[0], which I initially heard him discussing during the keynote at the recent re:Clojure conference: https://www.youtube.com/watch?v=FzbWAiu50MU&t=3200s https://www.youtube.com/watch?v=FzbWAiu50MU&t=3200s
[0] https://writings.stephenwolfram.com/2021/11/the-concept-of-the-ruliad/ https://writings.stephenwolfram.com/2021/11/the-concept-of-t...
- auggierose 5y agoInteresting read. Why I am not sure about "Ruliads" :-), it led me to a previous post of his [0], where he talks about how he found the minimal axiom system for classical propositional logic. [0] https://writings.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/ https://writings.stephenwolfram.com/2018/11/logic-explainabi...