Logic List Mailing Archive

new book: "Set Theory, Arithmetic, and Foundations of Mathematics" (LNL 36)

Dear Colleagues,

Our book:

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

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.

http://www.cambridge.org/aus/catalogue/catalogue.asp?isbn=9781107008045

-Juliette Kennedy