Konštruktivistická logika

Z Wikipédie

Logika konštruktivistická

logika konštruktivistická je smer v logike, ktorý pripúšťa existenciu objektov len vtedy, ak sa dajú (podľa určitých pravidiel) skonštruovať. Konštruktivistická logika neuznáva nepriamy dôkaz (zákon vylúčenia tretieho) v nekonečných množinách.

[úprava] Externé odkazy

  • FILIT Zdroj, z ktorého pôvodne čerpal tento článok

Tento článok potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.