This book is based on two premises: one cannot understand philosophy of mathematics without understanding mathematics and one cannot understand mathematics without doing mathematics. It draws readers into philosophy of mathematics by having them do mathematics. It offers 298 exercises, covering philosophically important material, presented in a philosophically informed way. The exercises give readers opportunities to recreate some mathematics that will illuminate important readings in philosophy of mathematics. Topics include primitive recursive arithmetic, Peano arithmetic, Gödel's theorems, interpretability, the hierarchy of sets, Frege arithmetic and intuitionist sentential logic. The book is intended for readers who understand basic properties of the natural and real numbers and have some background in formal logic.

This lively, stimulating account of non-Euclidean geometry by a noted mathematician covers matrices, determinants, group theory, and many other related topics, with an emphasis on the subject's novel, striking aspects. 1955 edition.

The first of two volumes collecting the published work of one of the greatest living ancient philosophers, M.F. Burnyeat.

This unique approach maintains that set theory is the primary mechanism for ideological and theoretical unification in modern mathematics, and its technically informed discussion covers a variety of philosophical issues. 1990 edition.

This book brings together diverse recent developments exploring the philosophy of mathematics in education. The unique combination of ethnomathematics, philosophy, history, education, statistics and mathematics offers a variety of different perspectives from which existing boundaries in mathematics education can be extended. The ten chapters in this book offer a balance between philosophy of and philosophy in mathematics education. Attention is paid to the implementation of a philosophy of mathematics within the mathematics curriculum.

Fascinating study of the origin and nature of mathematical thought, including relation of mathematics and science, 20th-century developments, impact of computers, and more.Includes 34 illustrations. 1968 edition."

From the winner of the Turing Award and the Abel Prize, an introduction to computational complexity theory, its connections and interactions with mathematics, and its central role in the natural and social sciences, technology, and philosophy Mathematics and Computation provides a broad, conceptual overview of computational complexity theory—the mathematical study of efficient computation. With important practical applications to computer science and industry, computational complexity theory has evolved into a highly interdisciplinary field, with strong links to most mathematical areas and to a growing number of scientific endeavors. Avi Wigderson takes a sweeping survey of complexity theory, emphasizing the field’s insights and challenges. He explains the ideas and motivations leading to key models, notions, and results. In particular, he looks at algorithms and complexity, computations and proofs, randomness and interaction, quantum and arithmetic computation, and cryptography and learning, all as parts of a cohesive whole with numerous cross-influences. Wigderson illustrates the immense breadth of the field, its beauty and richness, and its diverse and growing interactions with other areas of mathematics. He ends with a comprehensive look at the theory of computation, its methodology and aspirations, and the unique and fundamental ways in which it has shaped and will further shape science, technology, and society. For further reading, an extensive bibliography is provided for all topics covered. Mathematics and Computation is useful for undergraduate and graduate students in mathematics, computer science, and related fields, as well as researchers and teachers in these fields. Many parts require little background, and serve as an invitation to newcomers seeking an introduction to the theory of computation. Comprehensive coverage of computational complexity theory, and beyond High-level, intuitive exposition, which brings conceptual clarity to this central and dynamic scientific discipline Historical accounts of the evolution and motivations of central concepts and models A broad view of the theory of computation's influence on science, technology, and society Extensive bibliography

Examinations of arithmetic, geometry, and theory of integers; rational and natural numbers; complete induction; limit and point of accumulation; remarkable curves; complex and hypercomplex numbers; more. Includes 27 figures. 1959 edition.

In 1913, Russian imperial marines stormed an Orthodox monastery at Mt. Athos, Greece, to haul off monks engaged in a dangerously heretical practice known as Name Worshipping. Exiled to remote Russian outposts, the monks and their mystical movement went underground. Ultimately, they came across Russian intellectuals who embraced Name Worshipping—and who would achieve one of the biggest mathematical breakthroughs of the twentieth century, going beyond recent French achievements. Loren Graham and Jean-Michel Kantor take us on an exciting mathematical mystery tour as they unravel a bizarre tale of political struggles, psychological crises, sexual complexities, and ethical dilemmas. At the core of this book is the contest between French and Russian mathematicians who sought new answers to one of the oldest puzzles in math: the nature of infinity. The French school chased rationalist solutions. The Russian mathematicians, notably Dmitri Egorov and Nikolai Luzin—who founded the famous Moscow School of Mathematics—were inspired by mystical insights attained during Name Worshipping. Their religious practice appears to have opened to them visions into the infinite—and led to the founding of descriptive set theory. The men and women of the leading French and Russian mathematical schools are central characters in this absorbing tale that could not be told until now. Naming Infinity is a poignant human interest story that raises provocative questions about science and religion, intuition and creativity.

The teaching and learning of mathematics has degenerated into the realm of rote memorization, the outcome of which leads to satisfactory formal ability but not real understanding or greater intellectual independence. The new edition of this classic work seeks to address this problem. Its goal is to put the meaning back into mathematics. "Lucid . . . easily understandable".--Albert Einstein. 301 linecuts.