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.