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
påbi
