Mark Van Atten
19 Publications
1 - 10 >Construction and constitution in mathematics
2015
in: Essays on Gödel's reception of Leibniz, Husserl and Brouwer, Berlin,
Gödel, mathematics, and possible worlds
2015
in: Essays on Gödel's reception of Leibniz, Husserl and Brouwer, Berlin,
Gödel and intuitionism
2014
in: Constructivity and computability in historical and philosophical perspective, Berlin,
Construction and constitution in mathematics
2010
The New Yearbook for Phenomenology and Phenomenological Philosophy 10
"Gödel's modernism: on set-theoretic incompleteness" revisited
2009
in: Logicism, intuitionism, and formalism, Berlin,
Lectures on being and time (1998)
2008
The New Yearbook for Phenomenology and Phenomenological Philosophy 8
The proper explanation of intuitionistic logic
on Brouwer's demonstration of the Bar theorem
2008
in: One hundred years of intuitionism (1907–2007), Berlin,
19 Publications
1 - 10 >