https://wiki.alt-text.eu/index.php?action=history&feed=atom&title=Kurt_G%C3%B6delKurt Gödel - Revision history2026-09-15T06:24:14ZRevision history for this page on the wikiMediaWiki 1.45.3https://wiki.alt-text.eu/index.php?title=Kurt_G%C3%B6del&diff=137&oldid=previmported>ALT-TEXT: Import: 52 additional AI people glossary entries2026-09-07T20:10:00Z<p>Import: 52 additional AI people glossary entries</p>
<p><b>New page</b></p><div>== Kurt Gödel ==<br />
An Austrian-American logician whose 1931 incompleteness theorems showed that any consistent formal system rich enough to express arithmetic must contain true statements it cannot prove, and cannot prove its own consistency. The result ended the programme of putting all of mathematics on a complete mechanical footing, and his work on general recursive functions helped define what "computable" means at all. For AI, Gödel marks the boundary of the field's ambitions: some limits on what a formal system can establish about itself are mathematical facts, not engineering problems. (See also: [[Alan Turing]], [[Alonzo Church]], [[Symbolic AI]])<br />
<br />
[[Category:People]]<br />
[[Category:Artificial Intelligence]]<br />
[[Category:AI Precursors]]<br />
</div>imported>ALT-TEXT