Die Gödel’schen Unvollständigkeitssätze

Die Gödel’schen Unvollständigkeitssätze

Dirk W. Hoffmann / Dirk WHoffmann

53,62 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2017
ISBN:
9783662542996
53,62 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)

Im Jahr 1931 erschien im Monatsheft für Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. In dieser Arbeit hat Kurt Gödel zwei Unvollständigkeitssätze bewiesen, die unseren Blick auf die Mathematik von Grund auf verändert haben. Gödels Sätze manifestieren, dass zwischen dem Begriff der Wahrheit und dem Begriff der Beweisbarkeit eine Kluft besteht, die wir nicht überwinden können. Die Mathematik fügt sich in kein formales Korsett.Seit ihrer Entdeckung sind die Unvollständigkeitssätze in aller Munde und eine Flut an Büchern widmet sich ihrem fulminanten Inhalt. Doch kaum ein Werk behandelt die Gödel’sche Arbeit in ihrer ursprünglichen Form − und dies hat triftige Gründe: Seine komplexen, in akribischer Präzision beschriebenen Argumentationsketten, die vielen Definitionen und Sätze und die heute weitgehend überholte Notation machen Gödels historisches Meisterwerk zu einer schwer zu lesenden Arbeit.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 Jahrhunderts zurück. Es ist die Zeit, in der die Mathematik die größte Krise ihrer Geschichte durchlebte, die Typentheorie und die axiomatische Mengenlehre Gestalt annahmen und sich Hilberts formalistische Logik und Brouwers intuitionistische Mathematik mit offenem Visier gegenüber standen.Die 2. Auflage ist vollständig durchgesehen.Stimme zur ersten Auflage: „...eine didaktisch sehr gut gemachte Darstellung.' Prof. Dr. Matthias Homeister, FH Brandenburg

Artículos relacionados

  • MATHEMATICAL FOUNDATIONS OF INFORMATION SCIENCES
    Esfandiar Haghverdi / HAGHVERDI ESFANDIAR / Liugen Zhu / LIUGEN ZHU ESFANDIAR HAGHVERDI
    This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a solid understanding of logical formalisms themselves as well as for building the necessary background to tackle other fields that are based on these logical principles. Despite its compact and small size, it includes many solved problem...
  • MATHEMATICAL FOUNDATIONS OF INFORMATION SCIENCES
    Esfandiar Haghverdi / HAGHVERDI ESFANDIAR / Liugen Zhu / LIUGEN ZHU ESFANDIAR HAGHVERDI
    This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a solid understanding of logical formalisms themselves as well as for building the necessary background to tackle other fields that are based on these logical principles. Despite its compact and small size, it includes many solved problem...
    Disponible

    45,01 €

  • Mineração De Dados Com Redes Neurais
    Andrilene Ferreira Maciel
    Este material foi desenvolvido para atender às disciplinas de graduação e pós-graduação de redes neurais, processamento de sinais, estatística, mineração de dados, na área de ciência da computação. Vários exercícios contidos neste livro, foram extraídos dos algoritmos da Rede SOM.O primeiro capítulo deste livro tem como objetivo fornecer ao leitor conceitos básicos sobre a desc...
    Disponible

    21,32 €

  • Paradoxes and Inconsistent Mathematics
    Zach Weber
    ...
    Disponible

    41,49 €

  • Notes on Logic and Set Theory
    P. T. Johnstone / PTJohnstone
    ...
    Disponible

    91,77 €

  • Stone Spaces
    P. T. Johnstone / PTJohnstone
    ...
    Disponible

    105,40 €

Otros libros del autor

  • Software-Qualität
    Dirk W. Hoffmann / Dirk WHoffmann
    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 Qua...
    Disponible

    58,75 €