Gödel number
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 28, 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 28, 2024.