[FOM] Kreisel's 2008 paper
david.roberts at adelaide.edu.au
Fri May 11 00:13:36 EDT 2012
Angus Macintyre, in his paper 'The impact of Goedel's incompleteness
theorems on mathematics', refers to a manuscript being prepared by
Goerg Kreisel for the 2008 Herbrand conference in Darmstadt. Despite
my best efforts, I have been able to find out nothing about this past
what Macintyre hints at in his own paper. More frustratingly,
Kreisel's paper is described as 'indispensable ... background for the
appendix' of Macintyre's paper.
Is Kreisel's paper published, or otherwise available anywhere?
Many thanks in advance,
More information about the FOM