Revision as of 13:44, 18 August 2024 view source JoeNMLC (talk \| contribs) Extended confirmed users 135,511 edits →See also: ce, add ADDML ← Previous edit		Revision as of 11:57, 26 December 2024 view source Ultraodan (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 2,674 edits Implementing talk page edit requested by Chapel1337 – Fixing tense as per MOS:TENSE Next edit →
Line 53: === Gödel code === In [[mathematics]], a [[Gödel code]] ~~was~~is the basis for the proof of [[Gödel]]'s [[incompleteness theorem]]. Here, the idea ~~was~~is to map [[mathematical notation]] to a [[natural number]] (using a [[Gödel numbering]]). === Other ===

Code: Difference between revisions