Per Martin-Löf's Kolmogorov Lecture, "100 years of Zermelo's axiom of choice:...
Martin Lof's essay "Truth of a Proposition, Evidence of a Judgement, Validity...
Per Martin-Löf's essay "An Intuitionistic Theory of Types",
Truth and Knowability: On the Principles C and K of Michael Dummett
Per Martin-Löf, Analytic and Synthetic Judgements in Type Theory. from
Per Martin Löf Verificationism Then and Now
Maria van der Schaar (Ed.): Ju...
Per Martin-Löf's Beth Lecture: "The Hilbert Brouwer Controversy Resolved?"
Per Martin-Löf's essay "Mathematics of Infinity"
d. k. Lewis, Noneism
I distinguish three views, a defence of any one of which would go some
Philosopher and. Scientist discussing science
Per Martin-Löf's essay "The Definition of Random Sequences" , Information and...
Philosophical Topics, Volume 36, Number 2 - 2008 On Between Saying and Doing
Proceedings of the Aristotelian Society, New Series, Vol. 102, (...
1982 Realism Michael Dummett
Sorry, we are unable to log you in via Facebook at this time. Please try again later.
By joining, you agree to our
Already a member? Sign in.
Continue as Guest
This action might not be possible to undo. Are you sure you want to continue?