Kontakt
Kako nakupovati
Dostava
Svetovalec pri nakupu
Functional Interpretations: From The Dialectica Interpretation To Functional Interpretations Of Analysis And Set Theory
Angleščina
245 b
Do 30 dni za vračilo
Drugi so kupili tudi
/
Mehka
45.82
€
/
Mehka
28.15
€
/
Mehka
13.26
€
/
Mehka
12.35
€
/
Mehka
33.26
€
This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Godel's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type operations and thus reduces the consistency problem for arithmetic to the problem of computability of primitive recursive functionals of finite types. Regular functional interpretations, i.e. Dialectica and Diller - Nahm interpretation as well as Kreisel's modified realization, together with their Troelstra-style hybrids, are applied to constructive as well as classical systems of arithmetic, analysis, and set theory. They yield relative consistency and conservativity results and closure under relevant rules of the theories in question as well as axiomatic characterizations of the functional translations. Prerequisites are: familiarity with classical and intuitionistic predicate logic, basics of computability theory, Godel's incompleteness theorems.
O knjigi
Angleščina
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovancaMorda bi vas zanimalo tudi
/
Mehka
25.72
€
/
Mehka
11.65
€
/
Trda
327.26
€
/
Adobe ePub DRM
124.93
€
Pozdravljeni! Sem Libroamiko, vaš knjižni svetovalec.
Kako vam lahko pomagam?