Nombre de documents

65

CV de Mark Van Atten


Autre publication2 documents

  • Mark Van Atten, Vanessa Van Atten, Göran Sundholm, Michel Bourdeau. L.E.J. Brouwer : Que les principes de la logique ne sont pas fiables : Traduction et introduction. Traduction et introduction. 2014. <halshs-01100165>
  • Mark Van Atten. Update to Charles Parsons' entry 'Brouwer, L.E.J.'. LLPM. Encyclopedia of Philosophy. - Detroit : Macmillan Reference, 2006, 2nd edition. 2006. <halshs-00790932>

Article dans une revue18 documents

  • Mark Van Atten. Compte rendu de : Carl Stumpf, Über die Grundsätze der Mathematik. Herausgegeben von Wolfgang Ewen. Würzburg, Könighausen & Neumann 2008. Philosophiques, Editions Bellarmin, 2011, 38 (2), pp.623-626. <10.7202/1007472ar>. <halshs-00775354>
  • Mark Van Atten. A note on Leibniz' argument against infinite wholes. British Journal for the History of Philosophy, Taylor & Francis (Routledge), 2011, 19 (1), pp.121-129. <10.1080/09608788.2011.533015>. <halshs-00775348>
  • Mark Van Atten. Compte rendu de : Anne-Marie Décaillot, Cantor et la France. Correspondance du mathématicien allemand avec les Français à la fin du xixe siècle, Paris, Éditions Kimé, 2008, 347 p.. Philosophiques, Editions Bellarmin, 2010, 37 (1), pp.262-265. <halshs-00775353>
  • Mark Van Atten. Construction and constitution in mathematics. New Yearbook for Phenomenology and Phenomenological Philosophy, Philosophy Documentation Center, 2010, 10, pp.43-90. <10.5840/nyppp2010103>. <halshs-00775347>
  • Mark Van Atten. The foundations of mathematics as a study of life: an effective but non-recursive function. Progress in Theoretical Physics, 2008, pp.38-47. <halshs-00791006>
  • Mark Van Atten. Gian-Carlo Rota's Lectures on Being and Time (1998): Introduction and transcription. New Yearbook for Phenomenology and Phenomenological Philosophy, Philosophy Documentation Center, 2008, 8, pp.225-319. <halshs-00791007>
  • Mark Van Atten. Further intuitionistic comments. Erwägen Wissen Ethik, Lucius and Lucius Verlagsgesellschaft, 2008, 19, pp.582-584. <halshs-00775350>
  • Mark Van Atten. Intuitionistic comments on Sigwart's "Zahlbegriffe". Erwägen Wissen Ethik, Lucius and Lucius Verlagsgesellschaft, 2008, 19 (4), pp.566-567. <halshs-00775349>
  • Mark Van Atten. Some closing comments. Erwägen Wissen Ethik, Lucius and Lucius Verlagsgesellschaft, 2008, pp.599-600. <halshs-00775351>
  • Mark Van Atten. The development of intuitionistic logic. The Stanford Encyclopedia of Philosophy, 2008, pp.en ligne. <halshs-00791687>
  • Mark Van Atten. Two draft letters from Gödel on self-knowledge of reason. Philosophia Mathematica, Oxford University Press (OUP), 2006, 14 (2), pp.255-261. <10.1093/philmat/nkj006>. <halshs-00790933>
  • Mark Van Atten. On Gödel's awareness of Skolem's Helsinki lecture. History and Philosophy of Logic, Taylor & Francis, 2005, 26 (4), pp.321-326. <10.1080/01445340500228292>. <halshs-00790929>
  • Mark Van Atten, Karl Schuhmann. Johannes Daubert's transcript of Husserl's logical-mathematical exercises (Summer Semester 1905). Introduction, transcription into German, and English translation. New Yearbook for Phenomenology and Phenomenological Philosophy, Philosophy Documentation Center, 2004, pp.284-317. <halshs-00790926>
  • Mark Van Atten. Brouwer and the hypothetical judgement. Second thoughts on John Kuiper's Ideas and Explorations: Brouwer's Road to Intuitionism. Revue Internationale de Philosophie, Presses Universitaires de France, 2004, 58 (4), pp.501-516. <halshs-00790925>
  • Mark Van Atten, Juliette Kennedy. Gödel's modernism: on set-theoretic incompleteness. The Graduate Faculty Philosophy Journal, 2004, 25 (2), pp.289-349. <halshs-00790927>
  • Mark Van Atten. Intuitionistic remarks on Husserl's analysis of finite number in the Philosophy of Arithmetic. The Graduate Faculty Philosophy Journal, 2004, 25 (2), pp.205-225. <halshs-00790928>
  • Mark Van Atten. Why Husserl should have been a strong revisionist in mathematics. Husserl Studies, Springer Verlag, 2002, 18 (1), pp.1-18. <halshs-00792155>
  • Mark Van Atten. Gödel, mathematics, and possible worlds. Axiomathes, Springer Verlag, 2001, 12 (3), pp.355-363. <halshs-00792154>

Direction d'ouvrage, Proceedings2 documents

  • Jean Mosconi, Jacques Dubucs, Mark Van Atten. Anthologie de la calculabilité. Cassini, 2013. <halshs-00775798>
  • Michel Bourdeau, Mark Van Atten, Pascal Boldini. One Hundred Years of Intuitionism (1907-2007). Birkhäuser, pp.422, 2008. <halshs-00792367>

Chapitre d'ouvrage11 documents

  • Mark Van Atten. Preface and introduction. Essays on Gödel's Reception of Leibniz, Husserl, and Brouwer, 35, 2015, Logic, Epistemology, and the Unity of Science, ISBN 978-3-319-10030-2. <http://www.springer.com/fr/book/9783319100302>. <hal-01403574>
  • Mark Van Atten. Kant and real numbers. Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm. Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, 27, Springer, pp.203-213, 2012, Logic, Epistemology, and the Unity of Science, 978-94-007-4434-9. <10.1007/978-94-007-4435-6_10>. <halshs-00775352>
  • Mark Van Atten. Brouwer's programme. Williamson, Jon Russo, F. Key terms in logic, Continuum, pp.13-13, 2009. <halshs-00792030>
  • Mark Van Atten. Monads and sets. On Gödel, Leibniz, and the reflection principle. Rahman, Shahid, Primiero, Giuseppe. Judgement and Knowledge. Papers in honour of B.G. Sundholm, King's College Publications, pp.3-33, 2009. <halshs-00792058>
  • Mark Van Atten, Juliette Kennedy. Gödel's logic. Gabbay, Dov Woods, John. Handbook of the History of Logic, Elsevier, pp.449-509, 2009. <halshs-00791003>
  • Mark Van Atten. The hypothetical judgement in the history of intuitionistic logic. Glymour, C., Wang, W., Westerstahl, Dag. Logic, Methodology, and Philosophy of Science XIII: Proceedings of the 2007 International Congress in Beijing, King's College Publications, pp.122-136, 2009. <halshs-00791005>
  • Mark Van Atten, Juliette Kennedy. 'Gödel's modernism' revisited. Lindström, Per, Palmgren, Erik, Segerberg, Krister, Stoltenberg-Hansen, Viggo. Logicism, Intuitionism and Formalism: What Has Become of Them?, Springer, pp.303-355, 2009, 978-1-402-08925-1. <halshs-00791004>
  • Mark Van Atten. Gödel and intuitionism. Bourdeau, Michel, Dubucs, Jacques,. Constructivity and calculability, Springer, pp.31, 2009. <halshs-00792145>
  • Mark Van Atten. Mathematics. Wrathall, M. Dreyfus, H. A Companion to Phenomenology and Existentialism, Blackwell, pp.585-599, 2006. <halshs-00790934>
  • Mark Van Atten. The correspondence between Oskar Becker and Arend Heyting. Peckhaus, Volker. Oskar Becker und die Philosophie der Mathematik, Fink Verlag, pp.119-142, 2005, Neuzeit und Gegenwart (München), 3-7705-4126-X. <halshs-00790930>
  • Mark Van Atten. Phenomenology's reception of Brouwer's choice sequences. Peckhaus, Volker. Oskar Becker undie Philosophie der Mathematik, Fink Verlag, pp.101-117, 2005, Neuzeit und Gegenwart (München), 3-7705-4126-X. <halshs-00790931>

Ouvrage (y compris édition critique et traduction)2 documents

  • Mark Van Atten. Brouwer meets Husserl. On the Phenomenology of Choice Sequences. Springer, pp.XIII-191, 2007, Synthese Library ; 335, 978-1402050862. <halshs-00790924>
  • Mark Van Atten. On Brouwer. Wadsworth, pp.95, 2004. <halshs-00792153>

Communication dans un congrès27 documents

  • Mark Van Atten. On the fulfillment of categorial intentions. Contemporary readings in Husserl's Erfahrung und Urteil, Apr 2013, Lisbonne, Portugal. <halshs-00775379>
  • Mark Van Atten. Kant et les nombres réels. 9e réunion de la Société des Études kantiennes en Langue française (SEKLF), Sep 2009, Lyon, France. <halshs-00775380>
  • Mark Van Atten. Different times: Kant and Brouwer on real numbers. Philosophy and Foundations of Mathematics: Epistemological and Ontological Aspects (a conference dedicated to Per Martin-Löf on the occasion of his retirement), May 2009, Uppsala, France. <halshs-00775356>
  • Mark Van Atten. The interpretation of Ex Falso. Reconnaître, confirmer, vérifier : Autour de la théorie phénoménologique du remplissement, Jun 2009, Paris, France. <halshs-00775381>
  • Mark Van Atten. Intuitionism as Phenomenology. Phénoménologie discrète. Le parcours intellectuel de Gian-Carlo Rota entre mathématiques et philosophie, Nov 2009, Lille, France. <halshs-00775378>
  • Mark Van Atten. Monads and sets: on Leibniz, Gödel, and the reflection principle. VIIIth International Ontology Congress, Sep 2008, San Sebastián, Spain. <halshs-00775355>
  • Mark Van Atten. Gödel and Platonism. Séminaire du département de Philosophie, May 2008, Liège, Belgium. <halshs-00775832>
  • Mark Van Atten. Phenomenology and transcendental argument in mathematics. Luitzen Egbertus Jan Brouwer Symposium, Apr 2007, Utrecht, Netherlands. <halshs-00791545>
  • Mark Van Atten, Göran Sundholm. The proper interpretation of intuitionistic logic. 1907-2007: One Hundred Years of Intuitionism, Jun 2007, Cerisy, France. <halshs-00791547>
  • Mark Van Atten. Phenomenology and Transcendental Argument in Mathematics: The Case of Brouwer's Bar Theorem. Oskar Becker Tagung, Feb 2007, Hagen, Germany. <halshs-00791544>
  • Mark Van Atten. Phenomenology and transcendental argument in mathematics. Annual meeting of the Husserl Circle, Apr 2007, Prague, Czech Republic. <halshs-00791546>
  • Mark Van Atten. The hypothetical judgement in the history of intuitionistic logic. Clark Glymour, Wei Wang, Dag Westerstahl. Logic, Methodology, and Philosophy of Science XIII (LMPS XIII), Aug 2007, Pékin, Chine. College Publications, pp.662, 2009. <halshs-00791548>
  • Mark Van Atten. Phenomenology and Transcendental Argument in Mathematics: The Case of Brouwer's Bar Theorem. Institut International de Philosophie. Annual meeting of the Institut International de Philosophie, Aug 2007, Zadar, Croatia. <halshs-00791549>
  • Mark Van Atten. Phenomenology and transcendental argument in mathematics: the case of Brouwer's Bar Theorem. Colloquium 'Phenomenology: Between First Philosophy and the Sciences', Jan 2007, Jérusalem, Israel. <halshs-00791543>
  • Mark Van Atten. Gödel and intuitionism. Workshop 'Intuitionism, phenomenology, and philosophy of mathematics', Jan 2006, Tokyo, Japan. <halshs-00791537>
  • Mark Van Atten. Gödel's legacy in intuitionism. Logic Colloquium 2006 (ASL), Aug 2006, Nijmegen, Netherlands. <halshs-00791541>
  • Mark Van Atten. Gödel and intuitionism. Joint Session 'Calculability and constructivity: historical and philosophical aspects', Nov 2006, Paris, France. <halshs-00791542>
  • Mark Van Atten. Gödel and German Idealism. Young Scholars Competition, Horizons of Truth: Gödel Centenary 2006, Apr 2006, Vienna, Austria. <halshs-00791539>
  • Mark Van Atten. Monads and sets: on Gödel and Leibniz. Boston Colloquium for Philosophy of Science, Feb 2006, Boston, United States. <halshs-00791538>
  • Mark Van Atten. Monads and sets: on Gödel and Leibniz. Colloque 'Mathématiques au XIXe siècle et au début du XXe siècle', Jun 2006, Paris, France. <halshs-00791540>
  • Mark Van Atten. Intuitionistic interpretations of the hypothetical judgement. La preuve en mathématique : logique, philosophie, histoire, May 2005, Lille, France. <halshs-00791533>
  • Mark Van Atten. Intuitionistic interpretations of the hypothetical judgement. Seminar at the Department of philosophy, University of Jerusalem, Jun 2005, Jérusalem, Israel. <halshs-00791534>
  • Mark Van Atten. Why did Kurt Gödel turn to transcendental idealism?. Séminaire "Méthodologie de la recherche en phénoménologie", May 2005, Paris, France. <halshs-00791532>
  • Mark Van Atten. Intuitionistic interpretations of the hypothetical judgement. Seminar of the Kurt Gödel Society, Jun 2005, Vienne, Austria. <halshs-00791535>
  • Mark Van Atten. The hypothetical judgement in the history of intuitionistic logic. Symposium on the Philosophy of Mathematics, Jan 2005, Rotterdam, Netherlands. <halshs-00791051>
  • Mark Van Atten. Gödel and intuitionism. Séminaire des Archives Henri Poincaré, Oct 2005, Nancy, France. <halshs-00791536>
  • Mark Van Atten. Kurt Gödel and phenomenology. Séminaire de l'Institut Jean Nicod, May 2005, Paris, France. <halshs-00791531>

Pré-publication, Document de travail3 documents

  • Gabriella Crocco, Mark Van Atten, Paola Cantu, Eva-Maria Engelen. Kurt Gödel's Max Phil IX. 2017. <hal-01477127>
  • Mark Van Atten. Corrigenda to Essays on Gödel's Reception of Leibniz, Husserl, and Brouwer. 2016. <halshs-01408420>
  • Mark Van Atten. Troelstra's Paradox and Markov's Principle. 2016. <hal-01415603>