Overview

Full Product Details

9783032164902

Table of Contents

Reviews

Author Information

Dirk van Dalen is a professor emeritus of philosophy and history of mathematics and logic at Utrecht University. A former student of Arend Heyting, his research interests are intuitionism, constructive mathematics, and their philosophy and history. His publications include the textbook Logic and Structure (5th edition, Springer, 2013) and a biography of L.E.J. Brouwer (Oxford University Press, 1999 and 2005; Springer, 2013). Mark van Atten is a senior researcher at CNRS, France and a member of the Archives Husserl in Paris. A former student of Dirk van Dalen, his field is the philosophy of mathematics, specifically the intersection of Brouwer's intuitionism and Husserl's phenomenology. Among his publications are On Brouwer (Wadsworth, 2004); Brouwer Meets Husserl (Springer, 2007); and Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer (Springer, 2015). Craig Smoryński is a mathematician and independent scholar who earned his degree at the University of Illinois in Chicago and spent several years in the Netherlands, where his knowledge of intuitionism matured. He has made contributions to logic, proof theory, arithmetic, and their historiography. He is the author of several texts, including Self-Reference and Modal Logic (Springer, 1985), Logical Number Theory I (Springer, 1991), and Adventures in Formalism (College Publications, 2012).

Tab Content 6

Countries Available