Knihu momentálně nemáme skladem
Parametry
Více o knize
"Recursive Functions and Metamathematics" explores completeness and decidability in theories through recursive functions. It covers Gödel's incompleteness theorems, their generalizations, and decidability theory, alongside historical and philosophical contexts. The book is self-contained, suitable for scholars and advanced students in logic and mathematics.
Nákup knihy
Recursive Functions and Metamathematics, Roman Murawski
- Jazyk
- Rok vydání
- 2010
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Recursive Functions and Metamathematics
- Jazyk
- anglicky
- Autoři
- Roman Murawski
- Vydavatel
- Springer / Springer Netherlands
- Vydavatel
- 2010
- Vazba
- měkká
- ISBN13
- 9789048152988
- Kategorie
- Filosofie, Učebnice, Teorie a historie vědy
- Anotace
- "Recursive Functions and Metamathematics" explores completeness and decidability in theories through recursive functions. It covers Gödel's incompleteness theorems, their generalizations, and decidability theory, alongside historical and philosophical contexts. The book is self-contained, suitable for scholars and advanced students in logic and mathematics.