This program calculates the unprovable Godel formula from "On Formally Undecidable Propositions of Principia Mathematica and Related Systems" by Kurt Godel. Specifically, it gives a string with all the definitions expanded out and the corresponding Godel number.
sctfn / godel-number Goto Github PK
View Code? Open in Web Editor NEWLicense: GNU General Public License v2.0