HedgeFundGuy meinte am 15. Feb, 21:48:
He looks very smart. But did he do anything after his Incompleteness paper?
abiola antwortete am 15. Feb, 22:17:
Plenty
One just has to be familiar with the logic and set theory literature to realize it. One other major accomplishment of Gödel's was his proof of the independence of the continuum hypothesis from ZFC - see here for more.
HedgeFundGuy antwortete am 15. Feb, 22:36:
I always liked this anecdote
"While studying for his U. S. citizenship examination in 1948, he became convinced he had found an inconsistency in the Constitution. (Fortunately, this did not disrupt Gödel's citizenship interview, as the judge brushed aside the point when Gödel tried to bring it up.)"
