Knihu momentálně nemáme skladem

Recursive Functions and Metamathematics

Autoři

Roman Murawski

Hodnocení knihy

5,0(1)Ohodnotit

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.

Vydání

Nákup knihy

Recursive Functions and Metamathematics, Roman Murawski

Jazyk
Rok vydání: 1999
product-detail.submit-box.info.binding: (pevná)

Jakmile ji vyčmucháme, pošleme e-mail.

Doručení

Platební metody

5,0

Výborná

1 Hodnocení

Ohodnotit

Tady nám chybí tvá recenze.

Titul: Recursive Functions and Metamathematics
Jazyk: anglicky
Autoři: Roman Murawski
Vydavatel: Springer / Springer Netherlands
Rok vydání: 1999
Vazba: pevná
ISBN13: 9780792359043
Štítky: Učebnice, Filosofie, Teorie a historie vědy
Hodnocení: 5 z 5
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.