Skip to content
MacTutor
Home
Biographies
History Topics
Map
Curves
Search
6th February
On this day in
1930
,
Kurt Gödel
received his Ph.D. from the University of Vienna for a dissertation, directed by
Hans Hahn
, that showed the completeness of first order logic
(
every valid first order formula is provable
)
.