Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Blader
Blader
archivistische beschrijving
geautoriseerd bestand
archiefinstelling
Functies
Onderwerpen
Plaatsen
Digitale objecten
zoeken
Search options
Global search
Advanced search
Search in browse page
Clipboard
Clipboard
Clipboard
Clear all selections
Go to clipboard
Load clipboard
Save clipboard
Taal
Taal
Taal
English
Français
Español
Nederlands
Português
Quick links
Quick links
Quick links
home
Over
Privacy Policy
Help
Inloggen
Have an account?
E-mail
*
This field is required.
wachtwoord
*
This field is required.
Inloggen
Bestanden
Quick search
Archief
Michael Wright Collection
7052 more...
Stuk
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
Stuk
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
Stuk
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
Stuk
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
Stuk
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
Stuk
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)
Stuk
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
Stuk
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
Stuk
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...
zoeken
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
Verwijderen