Intuicionistická logika: Porovnání verzí

Přidáno 25 bajtů ,  před 15 lety
m
oprava odkazu
(+ odkaz na teor. vycislitelnosti)
m (oprava odkazu)
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í.
938

editací