Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics:
An Introduction, Vol. II focuses on various studies in mathematics and logic, including …

The present text resulted from lectures given by the authors at the Rijks Universiteit at Utrecht.
These lectures were part of a series on'History of Contemporary Mathematics'. The need …

It has often been said that Brouwer's papers are hard to read; leaving the truth or falsity of
that statement aside, one might wish for a guide through the intricate maze of arguments, …

Introduction In a Kripke model of Heyting's Arithmetic, HA, the nodes, when viewed as classical
structures, are models of classical arithmetic with (at least) Δ0!-induction. In general, it is …

Background Over the past decades, health care services for pancreatic surgery were
reorganized. Volume norms were applied with the result that only a limited number of expert …

Set theory has dutifully performed the tasks that its founder Georg Cantor intended it to do
and many more than Cantor could even dream of. In the present historical survey we have …

In the beginning of the twentieth century the Dutch mathematician Luitzen Egbertus Jan
Brouwer published his first papers on intuition and logic. There is no indication that Henri …

How the Mathematical Objects Determine the Mathematical Principles1 2 Page 1 How the
Mathematical Objects Determine the Mathematical Principles1 2 Dirk van Dalen (Department of …

Voor de buitenstaander, en ik bedoel hier niet speciaal de ongetrainde leek, maar evenzeer
geoefende gebruikers zoals ingenieurs of astronomen, heeft de wiskunde de reputatie van …

There are two main periods in Brouwer's foundational activities. The first one is covered by
the dissertation of 1907 and subsequent papers. The second one starts in 1918 with the …