AI Chronicle · Corrections

哥德尔发表不完备定理，划定形式系统的边界

1931 · godel-1931

Sources this entry has · 1

Über formal unentscheidbare Sätze · en.wikipedia.org

If any of these no longer opens, or does not match what the original says, please say so directly.

Report this entry by email

The mail is prefilled with the entry, the date and the link; you only add what is wrong and the evidence.

No email client

Copy the block below into whichever channel reaches us:

Entry: 哥德尔发表不完备定理，划定形式系统的边界
Date: 1931
Page: https://aihist.net/en/e/godel-1931.html
What is wrong: (date / fact / source / the judgement)
Evidence: (a link that opens)

See this entry on the timeline · Back to the site