[FOM] LNL 36

jkennedy at mappi.helsinki.fi jkennedy at mappi.helsinki.fi
Wed Aug 31 11:35:23 EDT 2011

Dear Colleagues,

Our book:

"Set Theory, Arithmetic, and Foundations of Mathematics: Theorems,  

is out in Europe and shortly in the US. Edited by Roman Kossak and  
myself, it is a series of papers around the theme of the title.

The volume includes, among other papers:

A transcript of Gödel's conversations with Sue Toledo about  
phenomenology, proof theory and the Euthyphro dialogue, which took  
place in the early 1970s; a commentary on these conversations by  
Curtis Franks; Hugh woodin's paper arguing against the Generic  
Multiverse Position; Troelstra's history of constructivism through 1991;
papers on arithmetic by Schmerl, Enayat, Visser, Kaye and others;  
Tennenbaum's simple proof of the irrationality of the square root of 2.

The book has been long in the making. We hope the fom community finds  
it interesting!

Reference: Lecture notes in Logic 36, Cambridge University Press.


-Juliette Kennedy
Department of Mathematics and Statistics
P.O. Box 68 (Gustaf Hällströmin katu 2b)
FI-00014 University of Helsinki, Finland
tel. (+358-9)-191-51446, fax (+358-9)-191-51400

More information about the FOM mailing list