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:
“Work is a responsibility most adults assume, a burden at times, a complication, but also a challenge that, like children, requires enormous energy and that holds the potential for qualitative, as well as quantitative, rewards. Isn’t this the only constructive perspective for women who have no choice but to work? And isn’t it a more healthy attitude for women writhing with guilt because they choose to compound the challenges of motherhood with work they enjoy?”
—Melinda M. Marshall (20th century)
“Let’s just call what happened in the eighties the reclamation of motherhood . . . by women I knew and loved, hard-driving women with major careers who were after not just babies per se or motherhood per se, but after a reconciliation with their memories of their own mothers. So having a baby wasn’t just having a baby. It became a major healing.”
—Anne Taylor Fleming (20th century)