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.
🔥 Top keywords: Portal:HuvudsidaSpecial:SökNya KaledonienTaylor SwiftRobert FicoMalin Persson GiolitoSpecial:Senaste ändringarVittorio De SicaKazakstanSlovakienPingstYasukeRichard TurpinAlice Teodorescu MåweMarika Domanski LyforsSverigeCéline DionRené HiguitaGunilla von PlatenGökBålgetingBathina PhilipsonTidöavtaletOpinionsundersökningar inför riksdagsvalet i Sverige 2026Micael DahlenLedamöter av Europaparlamentet från Sverige 2019–2024Saab EV-1Eurovision Song Contest 202416 majBaby ReindeerJonas SjöstedtNakbaHenrik MåweKategori:Kristna martyrerFlockblommiga växterAce of BaseHans WahlgrenPablo Leiva WengerUlf Lyfors