Constructive Mathematicians Who Have Made Major Contributions To Constructivism
- Leopold Kronecker (old constructivism, semi-intuitionism)
- L. E. J. Brouwer (forefather of intuitionism)
- A. A. Markov (forefather of Russian school of construcitivism)
- Arend Heyting (formalized intuitionistic logic and theories)
- Per Martin-Löf (founder of constructive type theories)
- Errett Bishop (promoted a version of constructivism which is consistent with classical mathematics)
Read more about this topic: Constructivism (mathematics)
Famous quotes containing the words constructive and/or major:
“... the constructive power of an image is not measured in terms of its truth, but of the love it inspires.”
—Sarah Patton Boyle, U.S. civil rights activist and author. The Desegregated Heart, part 1, ch. 15 (1962)
“As a novelist, I cannot occupy myself with “characters,” or at any rate central ones, who lack panache, in one or another sense, who would be incapable of a major action or a major passion, or who have not a touch of the ambiguity, the ultimate unaccountability, the enlarging mistiness of persons “in history.” History, as more austerely I now know it, is not romantic. But I am.”
—Elizabeth Bowen (1899–1973)