Is mathematics free of contradictions? Are there truths beyond what can be proven? Is it possible to encode our mathematical knowledge into a single number?
Modern mathematical logic of the twentieth century provides astonishing answers to these questions. This book takes you on a journey through the core areas of mathematical logic, leading to the limits of mathematics. The covered topics include the history of mathematical logic, formal systems, axiomatic number theory and set theory, proof theory, Gödel's incompleteness theorems, computability theory, algorithmic information theory, and model theory.The book contains numerous two-color illustrations and more than 70 exercises (with solutions available on the author's website). This translation is based on the third edition of the original German book.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Prof. Dr. Dirk W. Hoffmann is a professor at the Department of Computer Science and Business Information Systems at Karlsruhe University of Applied Sciences in Germany. He has also authored the book Gödel's Incompleteness Theorems - A Guided Tour Through Kurt Gödel's Historic Proof.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur GB-9783662709986
Quantité disponible : 1 disponible(s)
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : New. N° de réf. du vendeur 50354007-n
Quantité disponible : 1 disponible(s)
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Paperback. Etat : new. Paperback. Is mathematics free of contradictions? Are there truths beyond what can be proven? Is it possible to encode our mathematical knowledge into a single number?Modern mathematical logic of the twentieth century provides astonishing answers to these questions.This book takes you on a journey through the core areas of mathematical logic, leading to the limits of mathematics. The covered topics include the history of mathematical logic, formal systems, axiomatic number theory and set theory, proof theory, Goedel's incompleteness theorems, computability theory, algorithmic information theory, and model theory.The book contains numerous two-color illustrations and more than 70 exercises (with solutions available on the author's website). This translation is based on the third edition of the original German book. The covered topics include the history of mathematical logic, formal systems, axiomatic number theory and set theory, proof theory, Goedel's incompleteness theorems, computability theory, algorithmic information theory, and model theory. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783662709986
Quantité disponible : 1 disponible(s)
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 50354007
Quantité disponible : 1 disponible(s)
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Paperback. Etat : New. N° de réf. du vendeur LU-9783662709986
Quantité disponible : 1 disponible(s)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
paperback. Etat : New. N° de réf. du vendeur 6666-GRD-9783662709986
Quantité disponible : 1 disponible(s)
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Etat : New. N° de réf. du vendeur 50354007-n
Quantité disponible : 1 disponible(s)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Paperback. Etat : Brand New. 431 pages. 9.25x6.10x8.90 inches. In Stock. N° de réf. du vendeur __3662709988
Quantité disponible : 1 disponible(s)
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 50354007
Quantité disponible : 1 disponible(s)
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Is mathematics free of contradictions Are there truths beyond what can be proven Is it possible to encode our mathematical knowledge into a single number Modern mathematical logic of the twentieth century provides astonishing answers to these questions.This book takes you on a journey through the core areas of mathematical logic, leading to the limits of mathematics. The covered topics include the history of mathematical logic, formal systems, axiomatic number theory and set theory, proof theory, Gödel's incompleteness theorems, computability theory, algorithmic information theory, and model theory.The book contains numerous two-color illustrations and more than 70 exercises (with solutions available on the author's website). This translation is based on the third edition of the original German book. 422 pp. Englisch. N° de réf. du vendeur 9783662709986
Quantité disponible : 2 disponible(s)