This is a book on the relationship between mathematics and religious beliefs. This book shows that, throughout scientific history, mathematics has been used to make sense of the 'big' questions of life, and that religious beliefs sometimes drove mathematicians to do mathematics to help them make sense of the world more...

What is mathematics about? Does the subject-matter of mathematics exist independently of the mind or are they mental constructions? How do we know mathematics? Is mathematical knowledge logical knowledge? And how is mathematics applied to the material world? In this introduction to the philosophy of mathematics, Michele Friend examines these and other... more...

This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career with his doctoral thesis on “The completeness of formal systems” under the direction of Alonzo Church. Upon the invitation of Alfred Tarski, Henkin joined... more...

How can we deal with the diversity of theories in mathematics education? This was the main question that led the authors of this book to found the Networking Theories Group. Starting from the shared assumption that the existence of different theories is a resource for mathematics education research, the authors have explored the possibilities of interactions... more...

The Logical Foundations of Mathematics offers a study of the foundations of mathematics, stressing comparisons between and critical analyses of the major non-constructive foundational systems. The position of constructivism within the spectrum of foundational philosophies is discussed, along with the exact relationship between topos theory and set... more...

This book presents four mathematical essays that explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. It details the state of the art as well as new ideas and directions. more...

During the academic year 1940-1941, several giants of analytic philosophy congregated at Harvard: Bertrand Russell, Alfred Tarski, Rudlof Carnap, W. V. Quine, Carl Hempel, and Nelson Goodman were all in residence. This group held regular private meetings, with Carnap, Tarski, and Quine being the most frequent attendees. Carnap, Tarski, and Quine... more...