Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Browse
Browse
Archival descriptions
Authority records
Archival institutions
Functions
Subjects
Places
Digital objects
Search
Search options
Global search
Advanced search
Search in browse page
Clipboard
Clipboard
Clipboard
Clear all selections
Go to clipboard
Load clipboard
Save clipboard
Language
Language
Language
English
Français
Español
Nederlands
Português
Quick links
Quick links
Quick links
Home
About
Privacy Policy
Help
Log in
Have an account?
Email
*
This field is required.
Password
*
This field is required.
Log in
Holdings
Quick search
Fonds
Michael Wright Collection
5248 more...
Item
MW0000724 - 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
Item
MW0000724 - 26/05/05 La Preuve en Mathematique, Univ. Lille III: Mark van Atten: Intuitionistic interpretations of hypothetical judgement (contd.)
Item
MW0000725 - 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
Item
MW0000725 - 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.)
Item
MW0000726 - 25/05/05 La Preuve en Mathematique, Univ. Lille III: Jeremy Gray: Discovery & Proof, Hilbert to Plucker / discussion
Item
MW0000726 - BLANK
Item
MW0000727 - 25/05/05 La Preuve en Mathematique, Univ. Lille III: Jeremy Avigad: Understanding proofs / discussion / Paolo Mancosu: Unification & explanation, algebraic geometry / discussion
Item
MW0000727 - 25/05/05 La Preuve en Mathematique, Univ. Lille III: Jeremy Avigad: Understanding proofs / discussion / Paolo Mancosu: Unification & explanation, algebraic geometry / discussion
Item
MW0000728 - 24/05/05 La Preuve en Mathematique, Univ. Lille III: Visualisation in math. roundtable (partial)
2978 more...
Search
Reports
25/05/05 La Preuve en Mathematique, Univ. Lille III: Jeremy Gray: Discovery & Proof, Hilbert to Plucker / discussion
Reports
There are no relevant reports for this item
Cancel