Before revision: A. Markov (forefather of Russian school of constructivism) Arend Heyting (formalized intuitionistic logic and theories) Per Martin-Löf (founder of constructive type theories) Errett Bishop (promoted a version of constructivism claimed to be consistent with classical mathematics) Paul Lorenzen (developed constructive analysis) Branches Constructive logic Constructive type theory Constructive analysis Constructive non-standard analysi
After revision: Martin Hyland (discovered the effective topos in realizability)A. Markov (forefather of Russian school of constructivism) Arend Heyting (formalized intuitionistic logic and theories) Per Martin-Löf (founder of constructive type theories) Errett Bishop (promoted a version of constructivism claimed to be consistent with classical mathematics) Paul Lorenzen (developed constructive analysis) Branches Constructive logic Constructive type theory Constructive analysis Constructive non-standard analysi