Das Buch ist derzeit nicht auf Lager

Recursive Functions and Metamathematics

Autoren

Roman Murawski

Buchbewertung

5,0(1)Abgeben

Parameter

Mehr zum Buch

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

Publikation

Buchkauf

Recursive Functions and Metamathematics, Roman Murawski

Sprache
Erscheinungsdatum: 2010
product-detail.submit-box.info.binding: (Paperback)

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

5,0

Ausgezeichnet

1 Bewertung

Abgeben

Hier könnte deine Bwertung stehen.

Titel: Recursive Functions and Metamathematics
Sprache: Englisch
Autor*innen: Roman Murawski
Verlag: Springer / Springer Netherlands
Erscheinungsdatum: 2010
Einband: Paperback
ISBN13: 9789048152988
Schlagwörter: Lehrbücher, Philosophie, Wissenschaftsgeschichte & -theorie
Bewertung: 5 von 5 Sternen
Beschreibung: "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.