Events Tagged: "completeness theorem"
Home
Browse Events
People
Places
Books
Search
Timeline
Go →
1 events with tag "completeness theorem"
1929
ID: 395
Gödel proves completeness theorem for first-order logic in his doctoral dissertation
ID: 395
👤
Kurt Gödel
mathematics
metamathematics
first-order logic
completeness theorem