Gödel number
(Redirected from Gödel Number)
Jump to navigation
Jump to search
Gödel number is also spelled Godel number in English. It is an encoding mechanism that eventually inspired many breakthroughs in mathematics and logic.[1] [2]
Wikidata
A relevant way[3] of using a consistent set of symbols/numbers to encode knowledge is implemented as Wikidata.
References
- ↑ Gödel, Kurt (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (PDF). Monatshefte für Mathematik und Physik. 38. local page. pp. 173–198. doi:10.1007/BF01700692. Archived from the original (PDF) on 2018-04-11. Retrieved Nov 24, 2024.
- ↑ Nagel, Ernest; Newman, James (1959). Gödel's Proof. local page.
- ↑ Morris, Aaron; Evans, Jason (Mar 16, 2020). National Library of Wales, ed. An introduction to Wikidata. local page: Llyfrgell Genedlaethol - National Library of Wales. Retrieved Nov 24, 2024.