Konstruktivism (matematik)

Från Rilpedia

Texten från svenska Wikipedia

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.

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.

Se även

• Intuitionistisk logik

påbi