"There are many textbooks available for a so-called transition course from calculus to abstract mathematics. I have taught this course several times and always find it problematic. The Foundations of Mathematics (Stewart and Tall) is a horse of a different color. The writing is excellent and there is actually some useful mathematics. I definitely like this book."--The Bulletin of Mathematics Books

The Foundations of Mathematics provides a careful introduction to proofs in mathematics, along with basic concepts of logic, set theory and other broadly used areas of mathematics. The concepts are introduced in a pedagogically effective manner without compromising mathematical accuracy and completeness. Thus, in Part I students explore concepts before they use them in proofs. The exercises range from reading comprehension questions and many standard exercises to proving more challenging statements, formulating conjectures and critiquing a variety of false and questionable proofs. The discussion of metamathematics, including Gödel’s Theorems, and philosophy of mathematics provides an unusual and valuable addition compared to other similar texts

A practical guide to developing children's early mathematical development, written by leading early years numeracy experts.

Dr. KURT GODEL'S sixtieth birthday (April 28, 1966) and the thirty fifth anniversary of the publication of his theorems on undecidability were celebrated during the 75th Anniversary Meeting of the Ohio Ac ademy of Science at The Ohio State University, Columbus, on April 22, 1966. The celebration took the form of a Festschrift Symposium on a theme supported by the late Director of The Institute for Advanced Study at Princeton, New Jersey, Dr. J. ROBERT OPPENHEIMER: "Logic, and Its Relations to Mathematics, Natural Science, and Philosophy." The symposium also celebrated the founding of Section L (Mathematical Sciences) of the Ohio Academy of Science. Salutations to Dr. GODEL were followed by the reading of papers by S. F. BARKER, H. B. CURRY, H. RUBIN, G. E. SACKS, and G. TAKEUTI, and by the announcement of in-absentia papers contributed in honor of Dr. GODEL by A. LEVY, B. MELTZER, R. M. SOLOVAY, and E. WETTE. A short discussion of "The II Beyond Godel's I" concluded the session.

This third edition of a popular, well-received text offers undergraduates an opportunity to obtain an overview of the historical roots and the evolution of several areas of mathematics. The selection of topics conveys not only their role in this historical development of mathematics but also their value as bases for understanding the changing nature of mathematics. Among the topics covered in this wide-ranging text are: mathematics before Euclid, Euclid's Elements, non-Euclidean geometry, algebraic structure, formal axiomatics, the real numbers system, sets, logic and philosophy and more. The emphasis on axiomatic procedures provides important background for studying and applying more advanced topics, while the inclusion of the historical roots of both algebra and geometry provides essential information for prospective teachers of school mathematics. The readable style and sets of challenging exercises from the popular earlier editions have been continued and extended in the present edition, making this a very welcome and useful version of a classic treatment of the foundations of mathematics. "A truly satisfying book." — Dr. Bruce E. Meserve, Professor Emeritus, University of Vermont.

Presents a detailed and critical examination of the available conceptions of set and proposes a novel version.

Mathieu Marion offers a careful, historically informed study of Wittgenstein's philosophy of mathematics. This area of his work has frequently been undervalued by Wittgenstein specialists and by philosophers of mathematics alike; but the surprising fact that he wrote more on this subject than on any other indicates its centrality in his thought. Marion traces the development of Wittgenstein's thinking in the context of the mathematical and philosophical work of the times, to make coherent sense of ideas that have too often been misunderstood because they have been presented in a disjointed and incomplete way. In particular, he illuminates the work of the neglected 'transitional period' between the Tractatus and the Investigations. Marion shows that study of Wittgenstein's writings on mathematics is essential to a proper understanding of his philosophy; and he also demonstrates that it has much to contribute to current debates about the foundations of mathematics.

From Foundations to Philosophy of Mathematics provides an historical introduction to the most exciting period in the foundations of mathematics, starting with the discovery of the paradoxes of logic and set theory at the beginning of the twentieth century and continuing with the great foundational debate that took place in the 1920s. As a result of the efforts of several mathematicians and philosophers during this period to ground mathematics and to clarify its nature from a certain philosophical standpoint, the four main schools in the philosophy of mathematics that have largely dominated the twentieth century arose, namely, logicism, intuitionism, formalism and predicativism. It was due precisely to the insufficiencies of the first three foundational programs and the objections raised against them, that interest in Platonism was renewed in the 1940s, mainly by Gödel. Not only does this book pay special attention to the foundational programs of these philosophies of mathematics, but also to some technical accomplishments that were developed in close connection with them and have largely shaped our understanding of the nature of mathematics, such as Russell’s type theory, Zermelo’s set theory and Gödel’s incompleteness theorems. Finally, it also examines some current research programs that have been pursued in the last decades and have tried, at least to some extent, to show the feasibility of the foundational programs developed in the schools mentioned above. This is the case of neologicism, constructivism, and predicativist and finitist reductionism, this last one developed closely with the research program of reverse mathematics.

This book explores the rich and deep interplay between mathematics and physics one century after David Hilbert’s works from 1891 to 1933, published by Springer in six volumes. The most prominent scientists in various domains of these disciplines contribute to this volume providing insight to their works, and analyzing the impact of the breakthrough and the perspectives of their own contributions. The result is a broad journey through the most recent developments in mathematical physics, such as string theory, quantum gravity, noncommutative geometry, twistor theory, Gauge and Quantum fields theories, just to mention a few. The reader, accompanied on this journey by some of the fathers of these theories, explores some far reaching interfaces where mathematics and theoretical physics interact profoundly and gets a broad and deep understanding of subjects which are at the core of recent developments in mathematical physics. The journey is not confined to the present state of the art, but sheds light on future developments of the field, highlighting a list of open problems. Graduate students and researchers working in physics, mathematics and mathematical physics will find this journey extremely fascinating. All those who want to benefit from a comprehensive description of all the latest advances in mathematics and mathematical physics, will find this book very useful too.