Intuicionistická logika: Porovnání verzí
Smazaný obsah Přidaný obsah
+ odkaz na teor. vycislitelnosti |
m oprava odkazu |
||
Řádek 3:
v intuicionistické logice obecně neplatí.
Taková implikace je použita například při důkazu věty z [[matematická analýza|matematické analýzy]], podle níž z každé omezené [[posloupnost (matematika)|posloupnost]]i lze vybrat [[konvergence|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ů.
Intuicionistická logika úzce souvisí s [[teorie vyčíslitelnosti|teorií vyčíslitelnosti]]. Pravdivost v intuicionistické logice lze ztotožnit s algoritmickou řešitelností.
| |||