intuicionismus

Matematika

[Intuicionyzmus], směr filozofické základní matematiky a logiky, úzce související s konstruktivismem (odmítnutí zákona vyloučení třetího i abstrakce aktuálního nekonečna). Rozvinut L. Bouwerem, intuicionismus chápe matematické entity jako závislé na racionálním konstruování, jež musí vyhovovat intuitivní očividnosti. Ve smyslu této všeobecnosti chápe intuicionismus logiku jako část matematiky.

Vytvořeno: 14. 3. 2000
Aktualizováno: 23. 8. 2006
Autor: -red-

Odkazující hesla: Arend Heyting, efektivismus, konstruktivismus, logicismus, Luitzen Egbertus Jan Brouwer, Tomáš Trnka.