Matematické constructivism

V filozofii matematiky, matematický constructivism tvrdí, že to je nutné objevit (nebo “pojem”) matematický objekt dokázat, že to existuje. Když vy předpokládáte, že objekt neexistuje, a čerpat rozpor z toho předpokladu, vy ještě jste nenašli to, a proto ne se ukázal jako jeho existence, shodovat se constructivists.

Constructivism je často zmaten matematickým intuitionism, ale ve skutečnosti, intuitionism je jen jeden druh constructivism. Intuitionism tvrdí, že založení matematiky leží v individuální matematické intuici, proto dělat matematiku do skutečně subjektivní aktivity. Constructivism dělá ne, a je úplně souhlasný s objektivním názorem matematiky.

Tabulka s obsahem

1 matematici, kteří přispěli k constructivism 2 odvětví matematiky constructivist 3 vidět také

Matematici, kteří přispěli k constructivism

• Leopold Kronecker
• L.E.J. Brouwer
• Errett biskup

Odvětví matematiky constructivist

• Constructivist logika
• Constructivist typová teorie
• Constructivist analýza

Viz též

• Matematické intuitionism
• Finitism