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 measure discriminates definitely against products which make up what has been universally considered a program of safe farming. The bill upholds as ideals of American farming the men who grow cotton, corn, rice, swine, tobacco, or wheat and nothing else. These are to be given special favors at the expense of the farmer who has toiled for years to build up a constructive farming enterprise to include a variety of crops and livestock.”
—Calvin Coolidge (1872–1933)
“You should hurry up ... and acquire the cigar habit. It’s one of the major happinesses. And so much more lasting than love, so much less costly in emotional wear and tear.”
—Aldous Huxley (1894–1963)