Important Episodes in the History of Constructive Mathematics--including the frog and mouse wars

by Robert L. Constable
2003-2004

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.

Important Episodes in the History of Constructive Mathematics--including the frog and mouse wars

by Robert L. Constable 2003-2004

by Robert L. Constable
2003-2004