{"title":"Dirk W Hoffmann","description":null,"products":[{"product_id":"godel-s-incompleteness-theorems-book-dirk-w-hoffmann-9783662695494","title":"Gödel's Incompleteness Theorems","description":"\u003cp\u003eIn 1931, the mysterious-sounding article \"On Formally Undecidable Propositions of Principia Mathematica and Related Systems I\" shook the mathematical world. In this article, Kurt Gödel proved two incompleteness theorems that have fundamentally changed our view of mathematics. Gödel's theorems manifest that the concept of truth and the concept of provability cannot coincide. \u003c\/p\u003e\n\n\u003cp\u003eSince their discovery, the incompleteness theorems have attracted much attention, and a flood of articles and books have been devoted to their striking consequences. For good reasons, however, hardly any work deals with Gödel's article in its original form: His complex lines of thought described with meticulous precision, the many definitions and theorems, and the now largely outdated notation turn Gödel's historical masterpiece into a difficult read.\u003c\/p\u003e\n\n\u003cp\u003eThis book explores Gödel's original proof in detail. All individual steps are carefully explained and illustrated with numerous examples. However, this book is more than just an annotated version of the historical article, as the proper understanding of Gödel's work requires a solid grasp of history. Thus, numerous excursions take the reader back to the beginning of the twentieth century. It was the time when mathematics experienced one of its greatest crises, when type theory and axiomatic set theory were taking shape, and Hilbert's formalistic logic and Brouwer's intuitionistic mathematics were openly confronting each other.\u003cbr\u003e\n\u003cbr\u003e\nThis book is the revised translation of the second edition of the author's German language book \"Die Gödel'schen Unvollständigkeitssätze\". \u003c\/p\u003e","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":51061133639953,"sku":"NIN9783662695494","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52618398630161,"sku":"NLS9783662695494","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3662695499.jpg?v=1770892927"},{"product_id":"limits-of-mathematics-book-dirk-w-hoffmann-9783662709986","title":"Limits of Mathematics","description":"This volume is the tenth in this biennial series which presents the recent research into the conservation, structure, materials, history etc. of paintings carried out by past and present staff and students of the Hamilton Kerr Institute.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51670166602001,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":51670167191825,"sku":"NGR9783662709986","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3662709988.jpg?v=1759510109"},{"product_id":"die-goedel-schen-unvollstandigkeitssatze-book-dirk-w-hoffmann-9783662542996","title":"Die Goedel'schen Unvollstandigkeitssatze","description":"Es ist die Zeit, in der die Mathematik die groesste Krise ihrer Geschichte durchlebte, die Typentheorie und die axiomatische Mengenlehre Gestalt annahmen und sich Hilberts formalistische Logik und Brouwers intuitionistische Mathematik mit offenem Visier gegenuber standen.    Die 2.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52334513717521,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52334514209041,"sku":"NLS9783662542996","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783662542996.jpg?v=1791981316"},{"product_id":"die-goedel-schen-unvollstandigkeitssatze-book-dirk-w-hoffmann-9783827429995","title":"Die Goedel'schen Unvollstandigkeitssatze","description":"\u003cp\u003eSeit ihrer Entdeckung sind die G del'schen Unvollst ndigkeitss tze in aller Munde und eine Flut an B chern widmet sich ihrem fulminanten Inhalt. In diesem Buch wird G dels Beweis aus dem Jahr 1931 detailliert aufgearbeitet. Alle Einzelschritte werden erl utert und anhand zahlreicher Beispiele verst ndlich erkl rt. Doch dieses Buch ist mehr als eine kommentierte Fassung der historischen Arbeit. Die Beweise der Unvollst ndigkeitss tze in vollem Umfang zu verstehen, bedingt, die Geschichte zu verstehen, und so versetzen zahlreiche Exkurse den Leser in die Zeit zu Beginn des zwanzigsten Jahrhundert zur ck. \u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52672333644049,"sku":"NLS9783827429995","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783827429995.jpg?v=1786528652"},{"product_id":"software-qualitat-book-dirk-w-hoffmann-9783642356995","title":"Software-Qualität","description":"Computerabstürze, Rückrufaktionen, Sicherheitslecks: Das Phänomen Software- Fehler hat sich zum festen Bestandteil unseres täglichen Lebens entwickelt. Mit dem unaufhaltsamen Vordringen der Computertechnik in immer mehr sicherheitskritische Bereiche wird die Software-Qualitätssicherung zu einer stetig wichtiger werdenden Disziplin der Informationstechnik. Aber warum ist die Qualität von Software heute so schlecht? Und viel wichtiger noch: Stehen wir der Misere hilflos gegenüber? Dieses Buch führt umfassend und praxisnah in das Gebiet der Software- Qualitätssicherung ein und gibt eine Antwort auf die oben gestellten Fragen. Zu Beginn werden die typischen Fehlerquellen der Programmentwicklung erörtert und anschließend die verschiedenen Methoden und Techniken behandelt, die uns zur Verbesserung der Qualität zur Verfügung stehen. Behandelt werden die zentralen Themenkomplexe aus den Gebieten der konstruktiven und analytischen Qualitätssicherung, der Software-Infrastruktur und der Managementprozesse. Die 2. Auflage wurde durchgehend aktualisiert und korrigiert.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52673050476817,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52673051394321,"sku":"NLS9783642356995","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642356995.jpg?v=1791969435"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-dirk-w-hoffmann.oembed","provider":"World of Books ","version":"1.0","type":"link"}