Konstruktivism avser inom matematiken en matematikfilosofisk inriktning som inte accepterar existensbevis grundade på lagen om det uteslutna tredje, utan kräver att matematiska objekt skall explicit konstrueras. Per Martin-Löf är en ledande företrädare för inriktningen.
Se även Intuitionistisk logik
Referenser Beeson, Michael, 1985, Foundations of Constructive Mathematics, Heidelberg: Springer-Verlag. Bishop, Errett, 1967, Foundations of Constructive Analysis, New York: McGraw-Hill. Bridges, D., and Richman, F., 1987, Varieties of Constructive Mathematics, London Math. Soc. Lecture Notes 97, Cambridge: Cambridge University Press. Martin-Löf, P., 1968, Notes on Constructive Analysis, Almquist & Wixsell, Stockholm.
Kategori:Rörelser inom matematikfilosofi