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
7052 more...
Item
MW0002511 - 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
Item
MW0002512 - 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
Item
MW0002513 - 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
Item
MW0002514 - 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
Item
MW0002515 - 10/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Jean Ficot: Godel's functional interpretation of intuitionistic logic; constructivity and calculability
Item
MW0002516 - 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)
Item
MW0002517 - 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
Item
MW0002518 - 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
Item
MW0002519 - 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 more...
Search
Reports
10/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Jean Ficot: Godel's functional interpretation of intuitionistic logic; constructivity and calculability
Reports
There are no relevant reports for this item
Cancel