Intuicionistická logika: Porovnání verzí

Přidáno 185 bajtů ,  před 15 lety
+ odkaz na teor. vycislitelnosti
m (robot přidal: zh)
(+ odkaz na teor. vycislitelnosti)
 
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]]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í.
 
[[Kategorie:Logika]]