Intuitionistic Analysis

Autorenportrait

<p><strong>Dirk van Dalen</strong> 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 <em>Logic and Structure</em> (5th edition, Springer, 2013) and a biography of L.E.J. Brouwer (Oxford University Press, 1999 and 2005; Springer, 2013).</p> <p><strong>Mark van Atten</strong> 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 <em>On Brouwer</em> (Wadsworth, 2004); <em>Brouwer Meets Husserl</em> (Springer, 2007); and <em>Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer</em> (Springer, 2015).</p> <p><strong>Craig Smory¿ski</strong> 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 <em>Self-Reference and Modal Logic</em> (Springer, 1985), <em>Logical Number Theory I</em> (Springer, 1991), and <em>Adventures in Formalism</em> (College Publications, 2012).</p>

Weitere Details