Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Parcourir
Parcourir
Descriptions archivistiques
Notices d'autorité
Services d'archives
Fonctions
Sujets
Lieux
Documents numériques
Rechercher
Search options
Recherche générale
Recherche avancée
Search in browse page
Presse-papier
Presse-papier
Presse-papier
Effacer toutes les sélections
Aller au presse-papier
Charge le presse-papier
Sauvegarder le presse-papier
Langue
Langue
Langue
English
Français
Español
Nederlands
Português
Liens rapides
Liens rapides
Liens rapides
Accueil
À propos
Politique de confidentialité
Aide
Ouverture de session
Avez-vous un compte ?
Courriel
*
This field is required.
Mot de passe
*
This field is required.
Ouverture de session
Fonds
Recherche rapide
Fonds
Michael Wright Collection
7690 en plus...
Pièce
MW0002433 - 15/12/08 Henri Poincare Archives, Workshop on Geometrical Thought: Jeremy Gary: The nature of geometrical thought; the case of minimal surfaces / discussion / Michael Hallett: Geometry and number in the thought of Hilbert / discussion / Douglas Jesseph: The very soul of mathematics; the mathematical lectures of Isaac Barrow and the theory of ratio and quantity in the 17th century / 16/12/08 Victor Pambuccian: Elementary geometries, groups and fields; resemblances and differences between geometric and algebraic standpoints / Henk Bos: The early modern tradition of problem solving as the context for new ideas about the nature of geometry / 26/06/08 International Category Theory Meeting, Calais: Pedro Resende: Frobenius objects in Cartesian bicategories; invertibility and Rubano's 1972 Theorem' monoidal natural transformations between strong monoidal functions and their duals / 16/12/08 The Nature of Geometrical Thought Meeting, Nancy: Henk Bos: The early modern tradition of problem solving as the context fo...
Pièce
MW0002434 - 24/07/08 n-categories, n-groupoids & Categorical Logic Meeting, Institute de Mathematiques at Jussieu, Paris: Mark Weber: A tutorial on monads with arities / discussion / Nicolas Tabereau: Computing free models as Kan extensions / John Baez & James Dolan: Groupoidification / Dimitri Ara: Weak infinity-categories, Grothendieck versus Batanin / Samuel Mimram: A tutorial on polygraphs and their applications to semantics / Jonas Frey: A 2-dimensional adjunction between triposes and toposes / discussion
Pièce
MW0002435 - 10/12/08 P.I.F. 11 Grand Auditorium Bibliotheque National de France: Franck Varenne: Épistémologie des modèles et des simulations / Romain Teyssier: Simuler la formation des grandes structures de l'Univers / François Sauvageot: Au-delà du réel; modélisation et prédiction / Gilles Cohen-Tannoudji: Hommage à Michel Crozon
Pièce
MW0002436 - 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
Pièce
MW0002437 - 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
Pièce
MW0002438 - 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
Pièce
MW0002439 - 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?
Pièce
MW0002440 - 26/11/08 Seminaire Epistemologie et L'Histoire des Concepts, IHP: Michel Serfati: Mathematical symbolism and the harmonisation of mathematical practice in the work of Leibniz
Pièce
MW0002441 - 11/12/08 Philosophy of Mathematics Seminar, University Paris 8: Renaud Chorlay: The notion of maximum; the development of the notion of the supremum of a function in 19th century analysis / discussion / notes & reflections
536 en plus...
Rechercher
Rapports
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
Rapports
Il n'y a pas de rapports pertinents pour cet élément
Annuler