Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Recursive Functions and Metamathematics

Name: Recursive Functions and Metamathematics
Brand: Springer
SKU: 05322519
Price: 164.34 EUR
Availability: InStock
Author: Roman Murawski
ISBN: 9789048152988

Problems of Completeness and Decidability, Goedel's Theorems

Roman Murawski

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05322519

Nakladateľstvo Springer, december 2010

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of... Celý popis

Libristo kód: 05322519

398 b

164.34 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Ambivalente Zwerge - Zur Funktion des Wunderbaren in Chretiens und Hartmanns 'Erec'-Roman Susanne Staples

Brožovaná

16.15 €

Internationale Trends in Der Markenkommunikation

Brožovaná

33.12 €

Los otros y yo: cómo desarrollar la inteligencia social Filliozat

Brožovaná

18.98 €

Écrits sur la dialectique et l'humanisme Agricola Kniha

Pevná

62.11 €

Wilczy Lord Melisa Bel

Brožovaná

9.59 €

MARCO POLO Reiseführer Salzburg, Salzkammergut, Salzburger Land Matthias Gruber

Brožovaná

14.03 €

Nicola Gallucci Da Guardiagrele

Pevná

28.27 €

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. The book also considers the historical and philosophical context of these issues and their philosophical and methodological consequences. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics. All the main results are presented in detail. The book is self-contained and presupposes only some knowledge of elementary mathematical logic. There is an extensive bibliography. Readership: Scholars and advanced students of logic, mathematics, philosophy of science.