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).