Showing 16 results

Archival description

Van Atten, Mark

Print preview

Card view Table view

27/03/06 IHPST, Paris: discussions Per Martin-Löf incl. Mark Van Atten

MW0000449 · Item

Part of Michael Wright Collection

26/05/05 La Preuve en Mathematique, Univ. Lille III: Mark van Atten: Intuitionistic interpretations of hypothetical judgement (contd.)

MW0000724 · Item

Part of Michael Wright Collection

26/05/05 La Preuve en Mathematique, Univ. Lille III: Jean Petitot: Qu'est-ce qu'une preuve complexe? / Mark van Atten: Intuitionistic interpretations of hypothetical judgement

MW0000724 · Item

Part of Michael Wright Collection

20/07/07 MW Microphone test / MW telephone call incl J Stachel / MW abortive telephone call to Jean-Pierre Marquis / MW abortive telephone call to Colin McLarty / 22/07/07: MW abortive telephone call to Jean-Pierre Marquis / MW abortive telephone call to Jean-Pierre Marquis / 24/07/07: MW conversations incl S Houdousse / MW abortive telephone call to Jean-Pierre Marquis / MW abortive telephone call to Owen Maroney / MW abortive telephone call to Owen Maroney / 25/07/07: MW abortive telephone call to Jean-Pierre Marquis / MW telephone call incl JP Marquis re Boston meeting / 27/07/07: MW abortive telephone call to FW Lawvere 28/07/07: Paris: Conversations incl M Wright, G Bacciagaluppi & J Bacciagaluppi / 31/07/07: Conversations incl M Wright & M Van Atten

MW0002544 · Item

Part of Michael Wright Collection

20/07/07 MW Microphone test / MW telephone call incl J Stachel / MW abortive telephone call to Jean-Pierre Marquis / MW abortive telephone call to Colin McLarty / 22/07/07: MW abortive telephone call to Jean-Pierre Marquis / MW abortive telephone call to Jean-Pierre Marquis / 24/07/07: MW conversations incl S Houdousse / MW abortive telephone call to Jean-Pierre Marquis / MW abortive telephone call to Owen Maroney / MW abortive telephone call to Owen Maroney / 25/07/07: MW abortive telephone call to Jean-Pierre Marquis / MW telephone call incl JP Marquis re Boston meeting / 27/07/07: MW abortive telephone call to FW Lawvere 28/07/07: Paris: Conversations incl M Wright, G Bacciagaluppi & J Bacciagaluppi / 31/07/07: Conversations incl M Wright & M Van Atten

MW0002547 · Item

Part of Michael Wright Collection

19/06/06 Mathematiques C19th - C20th, REHSEIS, Paris: Mark Van Atten: Monads & sets, Leibniz, Goedel & reflection principle / breaktime conversations

MW0000493 · 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

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

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 Conversations

MW0002569 · Item

Part of Michael Wright Collection