Il libro è attualmente esaurito

Recursive Functions and Metamathematics

Autori

Roman Murawski

Valutazione del libro

5,0(1)Aggiungi una valutazione

Parametri

Maggiori informazioni sul libro

"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.

Pubblicazione

Acquisto del libro

Recursive Functions and Metamathematics, Roman Murawski

Lingua
Pubblicato: 1999
product-detail.submit-box.info.binding: (Copertina rigida)

Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

5,0

Eccellente

1 Valutazioni

Aggiungi una valutazione

Qui potrebbe esserci la tua recensione.

Titolo: Recursive Functions and Metamathematics
Lingua: Inglese
Autori: Roman Murawski
Editore: Springer / Springer Netherlands
Pubblicato: 1999
Formato: Copertina rigida
ISBN13: 9780792359043
Tag: Libri di testo, Filosofia, Teoria e storia della scienza
Valutazione: 5 su 5
Descrizione: "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.