The Godel Numbering is an algorithm used to create a mapping between the set of logical sentences and the natural numbers. https://en.wikipedia.org/wiki/G%C3%B6del_numbering You must have spaces between symbols. If you input a random number into the "decode", then you will probably get random nonsense. If you input a prime number into the "decode", it will run forever (this speeds up the actual algorithm if used correctly ). This is the key for the LaTeX input: Symbol LaTeX 0 ------------- 0 S ------------- S ¬ ------------- \lnot ∨ ------------- \lor ∀ ------------- \forall ( -------------- ( ) -------------- ) x ------------- x P ------------- P _ -------------- _
The background image is a martian enjoying a slightly moldy cotton candy and has no relation to Godel Numbering.
