Mostrar 16 resultados

Descrição arquivística
Van Atten, Mark
Previsualizar a impressão
Visualização em ficha Visualização em tabela
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
Parte de 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
Parte de 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
Parte de Michael Wright Collection