Konstruktivism (matematik)

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

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.