Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Navegar
Navegar
Descripción archivística
Registro de autoridad
Instituciones archivísticas
Funciones
Materias
Lugares
Objetos digitales
Búsqueda
Search options
Búsqueda global
Búsqueda avanzada
Search in browse page
Portapapeles
Portapapeles
Portapapeles
Borrar selección
Ir al portapapeles
Cargar portapapeles
Save clipboard
Idioma
Idioma
Idioma
English
Français
Español
Nederlands
Português
Enlaces rápidos
Enlaces rápidos
Enlaces rápidos
Inicio
Acerca
Privacy Policy
Ayuda
Iniciar sesión
¿Estás registrado?
Correo electrónico
*
This field is required.
Contraseña
*
This field is required.
Iniciar sesión
Fondos
Búsqueda rápida
Fondo
Michael Wright Collection
7690 más...
Unidad documental simple
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...
Unidad documental simple
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
Unidad documental simple
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
Unidad documental simple
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
Unidad documental simple
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
Unidad documental simple
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
Unidad documental simple
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?
Unidad documental simple
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
Unidad documental simple
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 más...
Búsqueda
Informes
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
Informes
No hay informes relevantes para este ítem
Cancelar