Research breakthrough · curated entry
Godel proves the incompleteness theorems
Über formal unentscheidbare Sätze
- Date
- 1931
- Category
- Research breakthrough
- Organization / Model
- Kurt Gödel
- Evidence
- 1 source · 1 evidence family
Godel showed that any sufficiently strong formal system contains true statements it cannot prove internally, and that such a system cannot prove its own consistency. The result shaped computability theory, logic programming, and the long argument about the limits of machine intelligence.
Curator's note: Cross-checked against the Wikipedia chronology and article.
Curated sources · 1
Cite this page
This page is a curated static snapshot and can be cited directly. Preferred format GB/T 7714—2025 (electronic resource [EB/OL]); the other 5 styles open below, together with the machine-readable files.
GB/T 7714—2025 (electronic resource [EB/OL])
AI 纪年. 哥德尔发表不完备定理，划定形式系统的边界[EB/OL]. (1931)[2026-11-03]. https://aihist.net/e/godel-1931.html.
APA 7 · American Psychological Association
AI 纪年. (1931). 哥德尔发表不完备定理，划定形式系统的边界 [Web page]. https://aihist.net/e/godel-1931.html
MLA 9 · Modern Language Association
"哥德尔发表不完备定理，划定形式系统的边界." AI 纪年, 1931, aihist.net/e/godel-1931.html. Accessed 3 Nov. 2026.
Chicago 17 · notes-bibliography
AI 纪年. "哥德尔发表不完备定理，划定形式系统的边界." Published 1931. Accessed Nov. 3, 2026. https://aihist.net/e/godel-1931.html.
IEEE · citation-reference list
"哥德尔发表不完备定理，划定形式系统的边界," AI 纪年, 1931. [Online]. Available: https://aihist.net/e/godel-1931.html. [Accessed: 3 Nov. 2026].
ACM · author-date variant
AI 纪年. 1931. 哥德尔发表不完备定理，划定形式系统的边界. Retrieved November 3, 2026 from https://aihist.net/e/godel-1931.html.
All six styles come from one template and can be compared word for word. [引用日期], Accessed, urldate and Y2 all carry this page's build date, 2026-11-03 — a static page is an immutable snapshot, so substitute the date you actually consulted it. The address in every style is the archive's canonical page: this English page translates the same snapshot, and the work keeps its name, so one record cites both. For one-click copying use the same entry in the timeline, which takes the day you opened it. Expand the other styles before printing.