33
/
AIzaSyAYiBZKx7MnpbEhh9jyipgxe19OcubqV5w
August 1, 2025
7039574
672065
2
Public Timelines
Public TimelinesFAQ
Public TimelinesFAQ
For educational institutions For teachers For students Cabinet
For educational institutions For teachers For students Open cabinet
Create
Create a timeline
Public timelines
Library
FAQ

jan 2, 1931 - Kurt Godel answers the first 2 questions

Description:

In 1931, Kurt Gödel (1906-1978) answered two of Hilbert's questions. He showed that every sufficiently powerful formal system is either inconsistent or incomplete. Also, if an axiom system is consistent, this consistency cannot be proved within itself. The third question remained open, with 'provable' substituted for 'true'.

Added to timeline:

history of computer science

Byfergustheduk
14 Jun 2022
0
1
137

Date:

jan 2, 1931
Now
~ 94 years ago
About & FeedbackTermsPrivacyLibraryFAQ
Support 24/7  
CabinetGet premium
Donate
The service accepts bank transfer (ACH, Wire) or cards (Visa, MasterCard, etc). Processed by Stripe.
Secured with SSL