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...
CONSCIOUSNESS, PHILOSOPHY, AND MATHEMATICS
Per Martin-Löf's Beth Lecture: "The Hilbert Brouwer Controversy Resolved?"
homotopy type theory
Per Martin-Löf's essay "The Definition of Random Sequences" , Information and...
Per Martin-Löf's essay "Mathematics of Infinity"
Martin-Löf: Type Theory
Per Martin-Löf, Analytic and Synthetic Judgements in Type Theory. from
I. THE CONSTRUCTION OF MATHEMATICS
II. MATHEMATICS AND EXPERIENCE
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?