Skip to main content

Archive Trust Mathematical Sciences & Philosophy

Navegar
Descripción archivística
Registro de autoridad
Instituciones archivísticas
Funciones
Materias
Lugares
Objetos digitales

Búsqueda

Búsqueda global

Búsqueda avanzada

Portapapeles
- Portapapeles
- Borrar selección
- Ir al portapapeles
- Cargar portapapeles
- Save clipboard
Idioma
- Idioma
- English
- Français
- Español
- Nederlands
- Português
Enlaces rápidos
- Enlaces rápidos
- Inicio
- Acerca
- Privacy Policy
- Ayuda

¿Estás registrado?

Correo electrónico*This field is required.

Contraseña*This field is required.

FondoMichael Wright Collection
7052 más...
Unidad documental simpleMW0002511 - 19/06/07 Philosophy of math as an interpretive enterprise; how much of the history of math should the philosophy of mathematics be called on to account for?, REHSEIS: Klaus Forvin Jorgensen: The philosophy significance of Godel#s dialectica interpretation
Unidad documental simpleMW0002512 - 19/06/07 Philosophy of math as an interpretive enterprise; how much of the history of math should the philosophy of mathematics be called on to account for?, REHSEIS: Jessica Carter: A philosophical description of mathematical objects on the basis of case studies in mathematics
Unidad documental simpleMW0002513 - 19/06/07 Philosophy of math as an interpretive enterprise; how much of the history of math should the philosophy of mathematics be called on to account for?, REHSEIS: Ken Manders: Philosophy of math & actualy mathematics / coffee break conversations
Unidad documental simpleMW0002514 - 10/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Giovanni Sambin: 2 principles of dynamic constructivism; Brouwer's principle of continuity and choice sequences in formal topology / Mitsu Okada: Intuitionistic logic and linear logic
Unidad documental simpleMW0002515 - 10/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Jean Ficot: Godel's functional interpretation of intuitionistic logic; constructivity and calculability
Unidad documental simpleMW0002516 - 08/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Mathiru Marion: Wittgenstein & Brouwer on meaning and proof / Jacques Dubucs: Truth & the experience of truth (part of)
Unidad documental simpleMW0002517 - 08/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Richard Tieszen: The intersection of intuitionism and phenomenology / Bernd Buldt: Que nous dit le tempes dans les mathematiques; temportality in (intuitionistic) mathematics
Unidad documental simpleMW0002518 - 07/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Mathiru Marion: Philippe Nabonnand & Gerhard Heinzmann: Poincare & Brouwer; conceptions of mathematical intuition compared / Marcel Guillaume: The contributions of several leading mathematicians to the foundations debate of the early 20th Century
Unidad documental simpleMW0002519 - 03/07/07 Kant & philosophy of physics, Royal institute of philosophy: Thomas Ryckman: Inuariance principles as regulative ideals / Roverto Torretti: Objectivity; A Kantian perspective
1174 más...

Informes

10/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Jean Ficot: Godel's functional interpretation of intuitionistic logic; constructivity and calculability

No hay informes relevantes para este ítem

Cancelar

Imprimido: 2026-04-19