This book conveys to the novice the big ideas in the rigorous mathematical theory of infinite sets.

Original anthology features less-technical essays discussing logic, topology, abstract algebra, relativity theory, and the works of David Hilbert. Most have been long unavailable or previously unpublished in book form. 2012 edition.

The book contains popular expositions (accessible to readers with no more than a high school mathematics background) on the mathematical theory of infinity, and a number of related topics. These include G?del's incompleteness theorems and their relationship to concepts of artificial intelligence and the human mind, as well as the conceivability of some unconventional cosmological models. The material is approached from a variety of viewpoints, some more conventionally mathematical and others being nearly mystical. There is a brief account of the author's personal contact with Kurt G?del.An appendix contains one of the few popular expositions on set theory research on what are known as "strong axioms of infinity."

Embark on a journey through the concept of infinity with Henri Poincare's illuminating book, "The Logic of Infinity." This book explores the mathematical foundations and philosophical implications of infinity, offering readers a comprehensive understanding of this intriguing topic. Poincare's clear explanations and thoughtful analysis make this complex subject approachable and fascinating. Discover the endless possibilities within The Logic of Infinity and expand your intellectual horizons.

Praise for the First Edition ". . . an enchanting book for those people in computer science or mathematics who are fascinated by the concept of infinity."—Computing Reviews ". . . a very well written introduction to set theory . . . easy to read and well suited for self-study . . . highly recommended."—Choice The concept of infinity has fascinated and confused mankind for centuries with theories and ideas that cause even seasoned mathematicians to wonder. The Mathematics of Infinity: A Guide to Great Ideas, Second Edition uniquely explores how we can manipulate these ideas when our common sense rebels at the conclusions we are drawing. Continuing to draw from his extensive work on the subject, the author provides a user-friendly presentation that avoids unnecessary, in-depth mathematical rigor. This Second Edition provides important coverage of logic and sets, elements and predicates, cardinals as ordinals, and mathematical physics. Classic arguments and illustrative examples are provided throughout the book and are accompanied by a gradual progression of sophisticated notions designed to stun readers' intuitive view of the world. With an accessible and balanced treatment of both concepts and theory, the book focuses on the following topics: Logic, sets, and functions Prime numbers Counting infinite sets Well ordered sets Infinite cardinals Logic and meta-mathematics Inductions and numbers Presenting an intriguing account of the notions of infinity, The Mathematics of Infinity: A Guide to Great Ideas, Second Edition is an insightful supplement for mathematics courses on set theory at the undergraduate level. The book also serves as a fascinating reference for mathematically inclined individuals who are interested in learning about the world of counterintuitive mathematics.

A fun, non-technical and wonderfully engaging guide to that most powerful and mysterious of mathematical concepts: infinity.in this book, best-selling author and mathematician Haim Shapira presents an introduction to mathematical theories which deal with the most beautiful concept ever invented by humankind: infinity. In this book, best-selling author and mathematician Haim Shapira presents an introduction to mathematical theories which deal with the most beautiful concept ever invented by humankind: infinity. Written in clear, simple language and aimed at a lay audience, this book also offers some strategies that will allow readers to try their ability at solving truly fascinating mathematical problems. Infinity is a deeply counter-intuitive concept that has inspired many great thinkers. In this book we will meet many sages, both familiar and unfamiliar: Zeno and Pythagoras, Georg Cantor and Bertrand Russell, Sofia Kovalevskaya and Emmy Noether, al-Khwarizmi and Euclid, Sophie Germain and Srinivasa Ramanujan.The world of infinity is inhabited by many paradoxes, and so is this book: Zeno paradoxes, Hilbert's "Infinity Hotel", Achilles and the gods paradox, the paradox of heaven and hell, the Ross-Littlewood paradox involving tennis balls, the Galileo paradox and many more. Aimed at the curious but non-technical reader, this book refrains from using any fearsome mathematical symbols. It uses only the most basic operations of mathematics: adding, subtracting, multiplication, division, powers and roots – that is all. But that doesn’t mean that a bit of deep thinking won’t be necessary and rewarding. Writing with humour and lightness of touch, Haim Shapira banishes the chalky pallor of the schoolroom and offers instead a truly thrilling intellectual journey. Fasten your seatbelt – we are going to Infinity, and beyond!

Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. However, the meaning of the terms `construction' and `proof' has never been adequately explained (although Kriesel, Goodman and Martin-Löf have attempted axiomatisations). This monograph develops precise (though not wholly formal) definitions of construction and proof, and describes the algorithmic substructure underlying intuitionistic logic. Interpretations of Heyting arithmetic and constructive analysis are given. The philosophical basis of constructivism is explored thoroughly in Part I. The author seeks to answer objections from platonists and to reconcile his position with the central insights of Hilbert's formalism and logic. Audience: Philosophers of mathematics and logicians, both academic and graduate students, particularly those interested in Brouwer and Hilbert; theoretical computer scientists interested in the foundations of functional programming languages and program correctness calculi.