Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Blader
Blader
archivistische beschrijving
geautoriseerd bestand
archiefinstelling
Functies
Onderwerpen
Plaatsen
Digitale objecten
zoeken
Search options
Global search
Advanced search
Search in browse page
Clipboard
Clipboard
Clipboard
Clear all selections
Go to clipboard
Load clipboard
Save clipboard
Taal
Taal
Taal
English
Français
Español
Nederlands
Português
Quick links
Quick links
Quick links
home
Over
Privacy Policy
Help
Inloggen
Have an account?
E-mail
*
This field is required.
wachtwoord
*
This field is required.
Inloggen
Bestanden
Quick search
Archief
Michael Wright Collection
7690 more...
Stuk
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...
Stuk
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
Stuk
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
Stuk
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
Stuk
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
Stuk
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
Stuk
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?
Stuk
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
Stuk
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...
zoeken
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
Verwijderen