fwiw godel used this sort of thing as part of the proof of the incompleteness theorem
This Tweet was deleted by the Tweet author. Learn more
Conversation
1. assign prime numbers to all the symbols in your math system (0, +, =, etc)
2. any equation can be converted to a unique product of primes. Increment the exponent for each symbol
eg if β0β is assigned to 2, and β=β to 3,
then β0=0β would be (2^1)*(3^2)*(2^3) = 144
3
5
Show replies