Intuicionistická logika: Porovnání verzí
Smazaný obsah Přidaný obsah
m rozsireni jedne vety |
m robot přidal: pl |
||
Řádek 14: | Řádek 14: | ||
[[ja:数学的直観主義]] |
[[ja:数学的直観主義]] |
||
[[nl:Intuïtionisme]] |
[[nl:Intuïtionisme]] |
||
[[pl:Intuicjonizm (matematyka)]] |
|||
[[tr:Sezgici Matematik]] |
[[tr:Sezgici Matematik]] |
Verze z 22. 7. 2005, 09:50
Intuicionistická logika je druh logiky, který nepoužívá princip vyloučeného třetího. Pravdivostní hodnoty 0 a 1 v ní znamenají „je možno zkonstruovat“ a „není možno zkonstruovat“. Na rozdíl od běžné (například Aristotelské) logiky neplatí princip negace negace. Například implikace:
- Něco nemůže neexistovat ⇒ musí to existovat
v intuicionistické logice obecně neplatí.
Taková implikace je použita například při důkazu věty z matematické analýzy, podle níž z každé omezené posloupnosti lze vybrat konvergentní podposloupnost. Nemožnost takového výběru lze snadno dovést do sporu. Z hlediska intuicionistické logiky je ale takový důkaz chybný, protože nedává obecný návod ke konstrukci limity takové posloupnosti v konečném počtu kroků.