Event Detail

Fri Sep 23, 2005
60 Evans
4–6 PM
Logic Colloquium
Martin Davis
Gödel: Missed Connections, Alternate Directions

I’ll point out a number of ways in which Skolem and Gödel talked past each other in the early 1930s. Finally, in a more speculative vein, I’ll explore a suggestion Gödel made in his Gibbs Lecture from which he later decisively distanced himself.