PRL Seminars
Important Episodes in the History of Constructive Mathematics--
including the frog and mouse wars
Robert Constable
March 1, 2004
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.
| Home | | Introduction | | Authors | | Topics | | Chronological List | | PRL Project |