Matematycy, którzy wnieśli znaczący wkład w konstruktywizm Leopold Kronecker (stary konstruktywizm, półintuicjonizm) LEJ Brouwer (twórca intuicjonizmu) A.A. Markow (ojciec rosyjskiej szkoły konstruktywizmu) Arend Heyting (sformalizowana logika intuicjonistyczna i teorie) Per Martin-Löf (twórca konstruktywnych teorii typów) Errett Bishop (promował wersję konstruktywizmu uważaną za zgodną z matematyką klasyczną) Paul Lorenzen (opracował analizę konstruktywną)
Przypisy
Bibliografia
Linki zewnętrzne
Stanford Encyclopedia of Philosophy entry
Kategoria:Epistemologia Kategoria:Logika matematyczna Kategoria:Filozofia matematyki Kategoria:Konstruktywizm