konstruktivismus
Logika, intuicionismu příbuzný směr v logice a matematice, připouštějící existenci jen takových předmětů (výroků), které lze konstruovat pomocí předem zadaných operací. Zásady správné pro konečné množství odmítá konstruktivismus používat pro nekonečné oblasti (například zásadu vyloučeného třetího v nepřímých důkazech). Základem konstruktivismu jsou Brouwerovy a Weylovy práce, na jeho rozvoji se výrazně podíleli A. N. Kolmogorov a A. A. Markov.
Vytvořeno:
14. 3. 2000
Aktualizováno:
22. 8. 2006
Autor: -red-
Odkazující hesla: efektivismus, intuicionismus.