Skip to main content

Archive Trust Mathematical Sciences & Philosophy

Blader
archivistische beschrijving
geautoriseerd bestand
archiefinstelling
Functies
Onderwerpen
Plaatsen
Digitale objecten

zoeken

Global search

Advanced search

Clipboard
- Clipboard
- Clear all selections
- Go to clipboard
- Load clipboard
- Save clipboard
Taal
- Taal
- English
- Français
- Español
- Nederlands
- Português
Quick links
- Quick links
- home
- Over
- Privacy Policy
- Help

Have an account?

E-mail*This field is required.

wachtwoord*This field is required.

ArchiefMichael Wright Collection
5248 more...
StukMW0000724 - 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
StukMW0000724 - 26/05/05 La Preuve en Mathematique, Univ. Lille III: Mark van Atten: Intuitionistic interpretations of hypothetical judgement (contd.)
StukMW0000725 - 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
StukMW0000725 - 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.)
StukMW0000726 - 25/05/05 La Preuve en Mathematique, Univ. Lille III: Jeremy Gray: Discovery & Proof, Hilbert to Plucker / discussion
StukMW0000726 - BLANK
StukMW0000727 - 25/05/05 La Preuve en Mathematique, Univ. Lille III: Jeremy Avigad: Understanding proofs / discussion / Paolo Mancosu: Unification & explanation, algebraic geometry / discussion
StukMW0000727 - 25/05/05 La Preuve en Mathematique, Univ. Lille III: Jeremy Avigad: Understanding proofs / discussion / Paolo Mancosu: Unification & explanation, algebraic geometry / discussion
StukMW0000728 - 24/05/05 La Preuve en Mathematique, Univ. Lille III: Visualisation in math. roundtable (partial)
2978 more...

Reports

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

There are no relevant reports for this item

Verwijderen

Printed: 2026-04-16