3 ms·
Their website: https://treecalcul.us https://treecalcul.us By the way, unary and binary trees are probably the most minimal way to generate the whole computati
by MelonUsk 26d ago
Their website: https://treecalcul.us https://treecalcul.us
By the way, unary and binary trees are probably the most minimal way to generate the whole computational universe
- xelxebar 21d agoSurprisingly, there are combinatorial systems with just a single combinator[0]. Also, NAND along with a single axiom[0] can reproduce all of propositional calculus. By Curry-Howard-Labek, these are related facts and suggest that a universal tree likely exists in the tree calculus. [0]:https://en.wikipedia.org/wiki/Iota_and_Jot https://en.wikipedia.org/wiki/Iota_and_Jot [1]:https://en.wikipedia.org/wiki/Nicod's_axiom https://en.wikipedia.org/wiki/Nicod's_axiom
- mathisfun123 21d ago> unary wtf is a unary tree? isn't that a list?
- MelonUsk 20d agoUnary tree is a skewed binary tree It’s like a line with knots ;-) By itself a unary tree can encode a single number - you just count the knots