Affichage de 16 résultats

Description archivistique
van Atten, Mark
Aperçu avant impression
Card view Table view
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
michael-wright-collection-MW0002436 · Pièce
Fait partie 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
michael-wright-collection-MW0002438 · Pièce
Fait partie 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
michael-wright-collection-MW0002544 · Pièce
Fait partie de Michael Wright Collection