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
5248 más...
Unidad documental simpleMW0000724 - 26/05/05 La Preuve en Mathematique, Univ. Lille III: Jean Petitot: Qu'est-ce qu'une preuve complexe? / Mark van Atten: Intuitionistic interpretations of hypothetical judgement
Unidad documental simpleMW0000724 - 26/05/05 La Preuve en Mathematique, Univ. Lille III: Mark van Atten: Intuitionistic interpretations of hypothetical judgement (contd.)
Unidad documental simpleMW0000725 - 25/05/05 La Preuve en Mathematique, Univ. Lille III: Perspectives on math. knowledge roundatble: David Hyder: Cavailles & philosophie trancendentale des sciences / Pierre Cassou-Noguès: Cavailles, Lautman, Goedel / Jean-Jacques Szczeciniarz: Demonstrations par impossibilité vers le theoreme de point fixe / Fernando Zalamea: Math. knowledge, Lautman's mixtures & saturation processes / discussion
Unidad documental simpleMW0000725 - 25/05/05 La Preuve en Mathematique, Univ. Lille III: Perspectives on math. knowledge roundatble: David Hyder: Cavailles & philosophie trancendentale des sciences / Pierre Cassou-Noguès: Cavailles, Lautman, Goedel / Jean-Jacques Szczeciniarz: Demonstrations par impossibilité vers le theoreme de point fixe / Fernando Zalamea: Math. knowledge, Lautman's mixtures & saturation processes / discussion (contd.)
Unidad documental simpleMW0000726 - 25/05/05 La Preuve en Mathematique, Univ. Lille III: Jeremy Gray: Discovery & Proof, Hilbert to Plucker / discussion
Unidad documental simpleMW0000726 - BLANK
Unidad documental simpleMW0000727 - 25/05/05 La Preuve en Mathematique, Univ. Lille III: Jeremy Avigad: Understanding proofs / discussion / Paolo Mancosu: Unification & explanation, algebraic geometry / discussion
Unidad documental simpleMW0000727 - 25/05/05 La Preuve en Mathematique, Univ. Lille III: Jeremy Avigad: Understanding proofs / discussion / Paolo Mancosu: Unification & explanation, algebraic geometry / discussion
Unidad documental simpleMW0000728 - 24/05/05 La Preuve en Mathematique, Univ. Lille III: Visualisation in math. roundtable (partial)
2978 más...

Informes

25/05/05 La Preuve en Mathematique, Univ. Lille III: Jeremy Gray: Discovery & Proof, Hilbert to Plucker / discussion

No hay informes relevantes para este ítem

Cancelar

Imprimido: 2026-04-16