Skip to main content

Archive Trust Mathematical Sciences & Philosophy

Parcourir
Descriptions archivistiques
Notices d'autorité
Services d'archives
Fonctions
Sujets
Lieux
Documents numériques

Rechercher

Recherche générale

Recherche avancée

Presse-papier
- Presse-papier
- Effacer toutes les sélections
- Aller au presse-papier
- Charge le presse-papier
- Sauvegarder le presse-papier
Langue
- Langue
- English
- Français
- Español
- Nederlands
- Português
Liens rapides
- Liens rapides
- Accueil
- À propos
- Politique de confidentialité
- Aide

Avez-vous un compte ?

Courriel*This field is required.

Mot de passe*This field is required.

FondsMichael Wright Collection
5248 en plus...
PièceMW0000724 - 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
PièceMW0000724 - 26/05/05 La Preuve en Mathematique, Univ. Lille III: Mark van Atten: Intuitionistic interpretations of hypothetical judgement (contd.)
PièceMW0000725 - 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
PièceMW0000725 - 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.)
PièceMW0000726 - 25/05/05 La Preuve en Mathematique, Univ. Lille III: Jeremy Gray: Discovery & Proof, Hilbert to Plucker / discussion
PièceMW0000726 - BLANK
PièceMW0000727 - 25/05/05 La Preuve en Mathematique, Univ. Lille III: Jeremy Avigad: Understanding proofs / discussion / Paolo Mancosu: Unification & explanation, algebraic geometry / discussion
PièceMW0000727 - 25/05/05 La Preuve en Mathematique, Univ. Lille III: Jeremy Avigad: Understanding proofs / discussion / Paolo Mancosu: Unification & explanation, algebraic geometry / discussion
PièceMW0000728 - 24/05/05 La Preuve en Mathematique, Univ. Lille III: Visualisation in math. roundtable (partial)
2978 en plus...

Rapports

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

Il n'y a pas de rapports pertinents pour cet élément

Annuler

Imprimé : 2026-04-16