Le livre est actuellement en rupture de stock

Recursive Functions and Metamathematics

Auteurs

Roman Murawski

Évaluation du livre

5,0(1)Évaluer

Paramètres

En savoir plus sur le livre

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

Édition

Achat du livre

Recursive Functions and Metamathematics, Roman Murawski

Langue
Année de publication: 1999
product-detail.submit-box.info.binding: (rigide)

Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

5,0

Excellent

1 Évaluations

Évaluer

Il manque plus que ton avis ici.

Titre: Recursive Functions and Metamathematics
Langue: Anglais
Auteurs: Roman Murawski
Éditeur: Springer / Springer Netherlands
Publié: 1999
Format: rigide
ISBN13: 9780792359043
Mots clés: Manuels, Philosophie, Théorie et histoire des sciences
Évaluation: 5 sur 5
Description: "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.