Kniha momentálne nie je na sklade
Parametre
Viac o knihe
"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 vydania
- 1999
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Recursive Functions and Metamathematics
- Jazyk
- anglicky
- Autori
- Roman Murawski
- Vydavateľ
- Springer / Springer Netherlands
- Vydavateľ
- 1999
- Väzba
- pevná
- ISBN13
- 9780792359043
- Kategórie
- Filozofia, Učebnice, Teória a história vedy
- Anotácia
- "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.