The book is currently out of stock

Recursive Functions and Metamathematics

Authors

Roman Murawski

Book rating

5.0(1)Add rating

Parameters

More about the book

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

Publication

Book purchase

Recursive Functions and Metamathematics, Roman Murawski

Language
Released: 2010
product-detail.submit-box.info.binding: (Paperback)

We’ll notify you via email once we track it down.

Payment methods

5.0

Excellent

1 Ratings

Add rating

We’re missing your review here.

Title: Recursive Functions and Metamathematics
Language: English
Authors: Roman Murawski
Publisher: Springer / Springer Netherlands
Released: 2010
Format: Paperback
ISBN13: 9789048152988
Tags: Textbooks, Philosophy, Theory and history of science
Rating: 5 out of 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.