This collection of papers from various areas of mathematical logic
showcases the remarkable breadth and richness of the field. Leading
authors reveal how contemporary technical results touch upon
foundational questions about the nature of mathematics. Highlights
of the volume include: a history of Tennenbaum's theorem in
arithmetic; a number of papers on Tennenbaum phenomena in weak
arithmetics as well as on other aspects of arithmetics, such as
interpretability; the transcript of Goedel's previously unpublished
1972-1975 conversations with Sue Toledo, along with an appreciation
of the same by Curtis Franks; Hugh Woodin's paper arguing against
the generic multiverse view; Anne Troelstra's history of
intuitionism through 1991; and Aki Kanamori's history of the Suslin
problem in set theory. The book provides a historical and
philosophical treatment of particular theorems in arithmetic and
set theory, and is ideal for researchers and graduate students in
mathematical logic and philosophy of mathematics.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!