Post #2324829

@divbyzero@mathstodon.xyz What I find most exciting about this math discovery is that any calculation converted into this form will have a single simplest (canonical) representation which will be findable with lexical subsitutions. So it can simplify any expression to its simplest form. Every expression is canonically identified by an even-numbered sequence of binary digits. 1=1, 0=E(). This gives every possible calculation exactly one number which identifies it.