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) Martin Hyland (discovered the effective topos in realizability) Branches Constructive logic Constructive type theory Constructive analysis Constructive non-standard analysi
After revision: set theory ConstructiveA. 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) Martin Hyland (discovered the effective topos in realizability) Branches Constructive logic Constructive type theory Constructive analysis Constructive non-standard analysi