Das Buch ist derzeit nicht auf Lager
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
- 1999
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Recursive Functions and Metamathematics
- Sprache
- Englisch
- Autor*innen
- Roman Murawski
- Verlag
- 1999
- Einband
- Hardcover
- ISBN13
- 9780792359043
- 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.