Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Navegar
Navegar
Descrições arquivísticas
Registos de autoridade
Instituição arquivística
Funções
Assuntos
Locais
Objeto digital
Pesquisar
Search options
Pesquisa global
Pesquisa avançada
Search in browse page
Área de transferência
Área de transferência
Área de transferência
Limpar todas as selecções
Ir para a área de transferência
Carregar Área de Transferência
Guardar área de transferência
Idioma
Idioma
Idioma
English
Français
Español
Nederlands
Português
Ligações rápidas
Ligações rápidas
Ligações rápidas
Início
Sobre
Política de privacidade
Ajuda
Entrar
Já possui uma conta?
Email
*
Este campo é obrigatório.
Senha
*
Este campo é obrigatório.
Entrar
Acervos documentais
Pesquisa rápida
Arquivo
Michael Wright Collection
7690 mais...
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 mais...
Pesquisar
Relatórios
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
Relatórios
Não existem relatórios relevantes para este item
Cancelar