Meer zoekopties
We zijn op zoek in meer dan 100 winkels voor uw beste voorstel - gelieve te wachten…
- Verzendkosten naar Nederland (wijzigen Aan DEU)
Maak vooraf ingestelde

Recursive Functions and Metamathematics: Problems Of Completeness And Decidability,
Gödel's Theorems (Synthese Library):
elke aanbieding vergelijken

9789048152988 - Roman Murawski: Recursive Functions and Metamathematics,  Problems of Completeness and Decidability, Godel's Theorems
1
Roman Murawski (?):

Recursive Functions and Metamathematics, Problems of Completeness and Decidability, Godel's Theorems (2010) (?)

Levering van: Nederland

ISBN: 9789048152988 (?) of 9048152984, in het Nederlands, Springer, Paperback, Nieuw

3-4 weken
bol.com
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 Godel'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 ... 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 Godel'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. Productinformatie:Taal: Engels;Afmetingen: 21x235x155 mm;Gewicht: 629,00 gram;ISBN10: 9048152984;ISBN13: 9789048152988; Engels | Paperback | 2010
commentaar van de verkoper bol.com:
Nieuw, 3-4 weken
Platform bestelnummer Bol.com: 9200000002364554
Categorie: Computer, Meer computer, Computerwetenschap /, School en studie, Wiskunde, Logica /, School en studie, Filosofie, Logica /, School en studie, Exacte wetenschappen, Meer exacte wetenschappen
Gegevens uit 04-06-2016 12:02h
ISBN (alternatieve notaties): 90-481-5298-4, 978-90-481-5298-8
9789048152988 - Roman Murawski: Recursive Functions and Metamathematics: Problems Of Completeness And Decidability, Gödel's Theorems (Synthese Library)
2
Roman Murawski (?):

Recursive Functions and Metamathematics: Problems Of Completeness And Decidability, Gödel's Theorems (Synthese Library) (2010) (?)

ISBN: 9789048152988 (?) of 9048152984, in het Engels, 412 pagina 's, Springer, Paperback, Gebruikt

246,64 (£ 193,05)¹ + Scheepvaart: 6,36 (£ 4,98)¹ = 253,00 (£ 198,03)¹(zonder verplichting)
Usually dispatched within 1-2 business days
Van verkoper/antiquair, Herb Tandree Philosophy Books
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 Godel'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. Paperback, Ausgabe: Softcover reprint of hardcover 1st Ed. 1999, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 2010-12-06, Freigegeben: 2010-12-06, Studio: Springer, Verkaufsrang: 5050646
Platform bestelnummer Amazon.co.uk: oXjIhkMro60pIVceb9TdHahP79MMCp XDczTnqqfoyC6Tc93ojj2Ve6B%2B8h vj2IhJEHhRgm3AkkEpipFNd61%2BUW Jmc%2B%2BV1giHvZlL75BSawu5m5ag sYhFodkrkaGx2d9YhF0u3Ofmyi%2FQ 3i1djzR8w6hkjF8LfNEI
Trefwoorden: Algorithms, Architecture & Microprocessors, Artificial Intelligence, Databases, Information Systems, Interface Design, Networking & Security, Operating Systems, Programming, Software Design & Engineering, Systems Analysis & Design, Books, Computing & Internet, Computer Science, Science & Nature, History & Philosophy, Reference, Mathematics, Mathematical Foundations, Mathematical Logic, Popular Science, Maths, Scientific, Technical & Medical, Mathematical Theory, Introduction to Philosophy, Non-Western, Philosophers, Society, Politics & Philosophy
Gegevens uit 04-06-2016 12:02h
ISBN (alternatieve notaties): 90-481-5298-4, 978-90-481-5298-8
9789048152988 - Roman Murawski: Recursive Functions and Metamathematics: Problems Of Completeness And Decidability, Gödel's Theorems (Synthese Library)
3
Roman Murawski (?):

Recursive Functions and Metamathematics: Problems Of Completeness And Decidability, Gödel's Theorems (Synthese Library) (2010) (?)

ISBN: 9789048152988 (?) of 9048152984, in het Engels, 412 pagina 's, Springer, Paperback, Nieuw

214,66 (£ 168,02)¹ + Scheepvaart: 6,36 (£ 4,98)¹ = 221,02 (£ 173,00)¹(zonder verplichting)
Usually dispatched within 1-2 business days
Van verkoper/antiquair, UKPaperbackshop
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 Godel'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. Paperback, Ausgabe: Softcover reprint of hardcover 1st Ed. 1999, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 2010-12-06, Freigegeben: 2010-12-06, Studio: Springer, Verkaufsrang: 5050646
Platform bestelnummer Amazon.co.uk: oXjIhkMro60pIVceb9TdHahP79MMCp XDlcx2V%2B8QAKK%2FT0iXjI5jj8EF YHkWbF5A8cXdSNMhxlC1qSkhqQjeLI DLxh0pJp%2FUnQtAK9vXv9LSGNtjz2 9kRU2QwK77rikTIR%2BhxCimMqxFTU ip0dtL%2BQ%3D%3D
Trefwoorden: Algorithms, Architecture & Microprocessors, Artificial Intelligence, Databases, Information Systems, Interface Design, Networking & Security, Operating Systems, Programming, Software Design & Engineering, Systems Analysis & Design, Books, Computing & Internet, Computer Science, Science & Nature, History & Philosophy, Reference, Mathematics, Mathematical Foundations, Mathematical Logic, Popular Science, Maths, Scientific, Technical & Medical, Mathematical Theory, Introduction to Philosophy, Non-Western, Philosophers, Society, Politics & Philosophy
Gegevens uit 04-06-2016 12:02h
ISBN (alternatieve notaties): 90-481-5298-4, 978-90-481-5298-8

9789048152988

Alle beschikbare boeken voor uw ISBN-nummer vinden 9789048152988 prijzen vergelijken, snel en gemakkelijk en bestel direct.

Beschikbare zeldzame boeken, tweedehands boeken en tweedehands boeken van de titel "Recursive Functions and Metamathematics: Problems Of Completeness And Decidability, Gödel's Theorems (Synthese Library)" Van Murawski volledig worden vermeld.

Boeken in de buurt

>> naar archief