Opening book details…
Can I read Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies (Lecture Notes in Logic, Series Number 36) on EtoBox?
Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies (Lecture Notes in Logic, Series Number 36) by Juliette Kennedy, Roman Kossak (eds.) is a nonfiction available to read on EtoBox.
What is Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies (Lecture Notes in Logic, Series Number 36) about?
"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 Gödel'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"-- "The papers collected here engage each of these questions through the veil of particular technical results. For example, the new proof of the irrationality of the square root of two,
Who reads Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies (Lecture Notes in Logic, Series Number 36)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Juliette Kennedy, Roman Kossak (eds.)
- Publisher
- Association for Symbolic Logic ; Cambridge University Press
- Published
- 2011
- Language
- EN
- ISBN
- 9781107227842
- Category
- nonfiction
- Subjects
- Mathematics, Philosophy, Stem
More by Juliette Kennedy, Roman Kossak (eds.)
Browse all works by Juliette Kennedy, Roman Kossak (eds.)
Similar books
- Logic Colloquium 2006 (Lecture Notes in Logic, Series Number 32) — S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Väänänen (2009)
- Lectures on Infinitary Model Theory (Lecture Notes in Logic, Series Number 46) — David Marker (2016)
- Descriptive Set Theory And Forcing: How To Prove Theorems About Borel Sets The Hard Way (lecture Notes In Logic) — Arnold W. Miller (2016)
- Model Theory of Stochastic Processes: Lecture Notes in Logic #14 (Lecture Notes in Logic, 14) — Fajardo, Sergio; Keisler, H. Jerome (2002)
- Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman Lecture Notes in Logic 15 (Lecture Notes in Logic, 15) — Sieg, Wilfried; Sommer, Richard; Talcott, Carolyn L et al. (2002)
- Reverse Mathematics 2001 : Lecture Notes in Logic 21 — Stephen George Simpson (2005)
