BEGIN:VCALENDAR VERSION:2.0 X-WR-CALNAME;VALUE=TEXT:Harvard Logic Colloquium: Charles Parsons "Kreisel and Gödel" PRODID:-//Harvard events data//EN BEGIN:VEVENT UID:event_1357664_0 SUMMARY:Harvard Logic Colloquium: Charles Parsons "Kreisel and Gödel" DESCRIPTION:We present a narrative of Georg Kreisel’s relation to Kurt Gödel, based on their correspondence. What appears to have been their first contact was Kreisel’s application in 1955 for a year’s membership at the Institute for Advanced Study. This was granted and extended for a second year. Then Kreisel returned to his position at the University of Reading in England. But he began a wandering life, spending time at Reading, Stanford University, the University of Paris, and the IAS. In 1964 he achieved a permanent position at Stanford, with the understanding that his presence would be less than full time. The correspondence continued until 1972. Matters discussed were developments in mathematical logic, the health of both, plans for Kreisel to visit the IAS, and the careers of some other logicians. In a letter of 1972, which ended their correspondence, Kreisel broke off the relationship. LOCATION:Logic Center, Room 420, 2 Arrow Street STATUS:CONFIRMED DTSTART:20181128T200000Z DTEND:20181128T210000Z END:VEVENT END:VCALENDAR