Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Browse
Browse
Archival descriptions
Authority records
Archival institutions
Functions
Subjects
Places
Digital objects
Search
Search options
Global search
Advanced search
Search in browse page
Clipboard
Clipboard
Clipboard
Clear all selections
Go to clipboard
Load clipboard
Save clipboard
Language
Language
Language
English
Français
Español
Nederlands
Português
Quick links
Quick links
Quick links
Home
About
Privacy Policy
Help
Log in
Have an account?
Email
*
This field is required.
Password
*
This field is required.
Log in
Holdings
Quick search
Fonds
Michael Wright Collection
7690 more...
Item
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...
Item
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
Item
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
Item
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
Item
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
Item
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
Item
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?
Item
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
Item
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 more...
Search
Reports
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
Reports
There are no relevant reports for this item
Cancel