Turing's Proof, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
34,00 €
Turing's Proof ist ein bedeutendes Fachbuch, das sich mit den Grundlagen der Berechenbarkeit und der Entscheidbarkeit in der Mathematik beschäftigt. Ursprünglich 1937 veröffentlicht, stellt es eine der zentralen Arbeiten von Alan Turing dar, in der er die Unentscheidbarkeit bestimmter Probleme nachweist. Turing argumentiert, dass es keine allgemeine Methode gibt, um zu bestimmen, ob eine gegebene Formel in einem bestimmten mathematischen System beweisbar ist. Diese Arbeit ist nicht nur ein Meilenstein in der Mathematik, sondern auch ein grundlegender Beitrag zur Informatik, da sie die theoretischen Grundlagen für das Verständnis von Algorithmen und Berechnungen legt. Turing entwickelt in diesem Kontext das Konzept der „universellen Rechenmaschine“, das die Basis für moderne Computer bildet. Das Buch ist eine essentielle Lektüre für Studierende und Fachleute in den Bereichen Mathematik, Informatik und Philosophie, die sich mit den Grenzen des Berechenbaren auseinandersetzen möchten.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
