Konstruktivism (matematik)

Från Wikipedia
Hoppa till navigering Hoppa till sök

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[redigera | redigera wikitext]

  • 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[redigera | redigera wikitext]