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.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 23. 8. 2006
Autor: -red-

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

Reklama: