CONSCIOUSNESS, PHILOSOPHY, AND MATHEMATICS
Per Martin-Löf's essay "The Definition of Random Sequences" , Information and...
An explaination of the foundations of
Martin Lof's essay "Truth of a Proposition, Evidence of a Judgement, Validity...
At the end of this message is a sketch of an argument that leads to the concl...
Martin-Löf: Type Theory
This book describes some basic ideas in set theory, model theory, proof theor...
I. THE CONSTRUCTION OF MATHEMATICS
II. MATHEMATICS AND EXPERIENCE
Per Martin-Löf, Analytic and Synthetic Judgements in Type Theory. from
Per Martin-Löf's Beth Lecture: "The Hilbert Brouwer Controversy Resolved?"
Per Martin Löf Verificationism Then and Now
Maria van der Schaar (Ed.): Ju...
A typescript with annotations of Robert Constable and perhaps others. An esti...
homotopy type theory
Per Martin-Löf's essay "Mathematics of Infinity"
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?