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.