Homework 09

Decoding Godel numbers

Read the description of Godel numbering in Nagel and Newman, Godel's Proof (attached below).

Then decode these:

godel_number_1 = 172225505803959398742621651659678877886965404082311908389214945877004912002249920215937500000000

godel_number_2 = 201393419962982735412368139667911296593358951301913187143089346551154200454129285334391466735848426704015547985800758983319945755784268961465669463056347069899598381886927144671922060831447236391449453082509324617485777076227380669985270490237311597411213357915168641209430342556441238807316509524249416770074675606781191540400323633566718245397930660696725888822277972809505202845545476546002998901618607496848517527189753360393306104308726652030111280962450268245428808727782788759194104031650182721047947303585864873614001900382202101006656352667185851597784461712794060466239757435601256063618621610932820792143193459691736753663556519127589257720328853332164368723599816165204588149847809497712527262426665973580413210334190644370070650229682400413829234047192623603785050468929311080612204308796518160763987580686617282193016078342452909159538882530620399237932095082721745567228722860407712573516637217528028360735364314247375133326571945089081124517324821882190328497079836307019335151645750320928131550589399111029007885910681296435730617684328837741710418839231988445173534569077217510977888743832719431752809278656489195646895328008458501222328331039771646538224273234534906251659333899403972137902070329474565868238446577002672625229206105129906751974194292108606123396686782378973414839070072551137021128654965290179700122390345457408661807973693070770914153036120299311420550361818145207076341004030238568142510478367269938081756349400303049330909587111266409815166747646644668079232919608409933791740448941780710923848308838586029131258385201781533301784325920545417723904

You might find it helpful to start with godel1.py.