Per Martin-Löf's Beth Lecture: "The Hilbert Brouwer Controversy Resolved?"
homotopy type theory
This book describes some basic ideas in set theory, model theory, proof theor...
Martin Lof's essay "Truth of a Proposition, Evidence of a Judgement, Validity...
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...
Truth and Knowability: On the Principles C and K of Michael Dummett
Per Martin-Löf's Kolmogorov Lecture, "100 years of Zermelo's axiom of choice:...
CONSCIOUSNESS, PHILOSOPHY, AND MATHEMATICS
An explaination of the foundations of
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?