Oh no. 3am brain is trying to construct a total order over the computable numbers.
Specifically, trying to wrap my head around a mapping from the computables to the counting numbers via a Huffman code weighted for the probability that each computable will be computed by a simulation of the universe. Add "data is code" to brain, stir gently.
Note to self: construct a Huffman coding for computation itself, the maximum possible lossless compression for executable code.
Addendum: the edibles may be kicking in.
Fleeting thought: 0 is a combinator that takes func x and continuation y and which ignores x and returns to y.
Compare to SKI calculus, https://people.cs.uchicago.edu/~odonnell/Teacher/Lectures/Formal_Organization_of_Knowledge/Examples/combinator_calculus/
This is a brand new server run by the main developers of the project as a spin-off of mastodon.social 
It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!