Showing 16 results

Archival description

Van Atten, Mark

Print preview

Card view Table view

05/09/07 IHPST, Paris: Guido Bacciagaluppi: Quantum logic & truth functionality

MW0000117 · Item

Part of Michael Wright Collection

08/12/08 Seminaire Histoire et Philosophie des Mathematiques, REHSEIS Paris: Leny Oumarou: Algorithmes et Puzzles; un ultime approche de la calculabilite chez Turing / Lisbeth De Mol: Account of an anticipation; Emil Post's work on computability / Serge Grigorieff: Une question a laquelle ne repond pas la These de Church; qu'est-ce qu'un algorithme? / Mark Van Atten: The computingsubject in intuitionism: Kripke's example of an effective but nonrecursive function / discussion

MW0002438 · Item

Part of Michael Wright Collection

08/12/08 Seminaire Histoire et Philosophie des Mathematiques, REHSEIS Paris: Leny Oumarou: Algorithmes et Puzzles; un ultime approche de la calculabilite chez Turing / Lisbeth De Mol: Account of an anticipation; Emil Post's work on computability / Serge Grigorieff: Une question a laquelle ne repond pas la These de Church; qu'est-ce qu'un algorithme? / Mark Van Atten: The computingsubject in intuitionism: Kripke's example of an effective but nonrecursive function / discussion

MW0002436 · Item

Part of Michael Wright Collection

08/12/08 Seminaire Histoire et Philosophie des Mathematiques, REHSEIS Paris: Mark Van Atten: The computingsubject in intuitionism: Kripke's example of an effective but nonrecursive function / discussion

MW0002437 · Item

Part of Michael Wright Collection

14/11/07 European Philosophy of Science Association, Madrid: Opening speeches / breaktime conversations / Philosophy of Maths: Mark Van Atten: Transcendental arguments Brouwer bar theorem / Jose Ferreiros: Mathematical knowledge / Mario Santos-Sousa: Natural mathematics

MW0000059 · Item

Part of Michael Wright Collection

14/11/07 European Philosophy of Science Association, Madrid: Opening speeches / breaktime conversations / Philosophy of Maths: Mark Van Atten: Transcendental arguments Brouwer bar theorem / Jose Ferreiros: Mathematical Knowledge / Mario Santos-Sousa: Natural mathematics (contd.)

MW0000059 · Item

Part of Michael Wright Collection

15/06/07 IHPST: Discussions incl M Van Atten & M Wright / Seminaire Riemann, ENS: Michael Friedman: Einstein, Kant & the relativized A Priori / JJ Szczeciniarz: Algebraic varieties & schemes as forms of relativised A Priori concepts (of space) / Conversations / 18/06/07 Conversations

MW0002569 · Item

Part of Michael Wright Collection

15/06/07 IHPST: Discussions incl M Van Atten & M Wright / Seminaire Riemann, ENS: Michael Friedman: Einstein, Kant & the relativized A Priori / JJ Szczeciniarz: Algebraic varieties & schemes as forms of relativised A Priori concepts (of space) / Conversations / 18/06/07 Minisymposium on Yoneda Lemma, ENS: PM coffee break conversations

MW0002576 · Item

Part of Michael Wright Collection

15/06/07 IHPST: Discussions incl M Van Atten & M Wright / Seminaire Riemann, ENS: Michael Friedman: Einstein, Kant & the relativized A Priori / JJ Szczeciniarz: Algebraic varieties & schemes as forms of relativised A Priori concepts (of space) / Conversations / 18/06/07 Minisymposium on Yoneda Lemma, ENS: PM coffee break conversations

MW0002566 · Item

Part of Michael Wright Collection

19/06/06 Mathematiques C19th - C20th, REHSEIS, Paris: lunch conversations: M Van Atten, M Panza, D Rabouin, M Wright

MW0000494 · Item

Part of Michael Wright Collection