PRL Seminars
Important Episodes in the History of Constructive Mathematics--
including the frog and mouse wars
Abstract
I will discuss the tension between L.E.J. Brouwer and
David Hilbert in the early years of Intuitionism. I will
also talk about the emergence of Bishops' program for
constructive mathematics and the metaprinciple based on
it.
|