Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

20 February 2009, Colloquium on Mathematical Logic, Martin Davis

Speaker: Martin Davis
Title: Gödel's Developing Platonism
Date: Friday 20 February 2009
Time: 16:00-17:00
Location: Room 611, Wiskundegebouw, Budapestlaan 6, Utrecht
(Bus 11 or 12 from Utrecht Central Station)

Abstract: In Gödel's (unsent) reply to the questionaire sent to him by B.D. Grandjean he asserted that since 1925 he had held a position of 'mathematical realism' whereby 'mathematical concepts [and sets] and theorems are describing objects of some kind.' (The words in square brackets were added by Gödel.) A more nuanced story emerges from the hints made available with the publication of the magnificent five volume set of Gödel's Collected Works.

For more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

Please note that this newsitem has been archived, and may contain outdated information or links.