Kurt Gödel erschütterte 1931 die mathematische Welt mit seinem Unvollständigkeitssatz. Gödel zeigte, wie für jedes noch so starke formale System der Arithmetik ein Satz konstruiert werden kann, der besagt: "Ich bin nicht beweisbar." Würde das System diesen Satz beweisen, so würde es sich damit selbst Lügen strafen. Also ist dies ein wahrer Satz, den es nicht beweisen kann: Es ist unvollständig. John Barkley Rosser verstärkte später Gödels Ergebnisse, wobei er die Reihenfolge miteinbezog, in der Sätze bewiesen werden, gegeben irgendeine Auffassung von "Beweis". In der Beweisbarkeitslogik werden die formalen Eigenschaften der Begriffe "beweisbar" und "wird früher bewiesen als" mit modallogischen Mitteln untersucht: Man liest den notwendig - Operator als beweisbar und gibt formale Systeme an, die die Modallogik der Beweisbarkeit erfassen.
Diese Arbeit richtet sich sowohl an Logik-Experten wie an durchschnittlich vorgebildete Leser. Ihr Ziel ist es, in die Beweisbarkeitslogik einzuführen und deren wesentliche Resultate, insbesondere die Solovayschen Vollständigkeitssätze, präzise, aber leicht zugänglich zu präsentieren.
Aktualisiert: 2023-05-15
> findR *
Kurt Gödel erschütterte 1931 die mathematische Welt mit seinem Unvollständigkeitssatz. Gödel zeigte, wie für jedes noch so starke formale System der Arithmetik ein Satz konstruiert werden kann, der besagt: "Ich bin nicht beweisbar." Würde das System diesen Satz beweisen, so würde es sich damit selbst Lügen strafen. Also ist dies ein wahrer Satz, den es nicht beweisen kann: Es ist unvollständig. John Barkley Rosser verstärkte später Gödels Ergebnisse, wobei er die Reihenfolge miteinbezog, in der Sätze bewiesen werden, gegeben irgendeine Auffassung von "Beweis". In der Beweisbarkeitslogik werden die formalen Eigenschaften der Begriffe "beweisbar" und "wird früher bewiesen als" mit modallogischen Mitteln untersucht: Man liest den notwendig - Operator als beweisbar und gibt formale Systeme an, die die Modallogik der Beweisbarkeit erfassen.
Diese Arbeit richtet sich sowohl an Logik-Experten wie an durchschnittlich vorgebildete Leser. Ihr Ziel ist es, in die Beweisbarkeitslogik einzuführen und deren wesentliche Resultate, insbesondere die Solovayschen Vollständigkeitssätze, präzise, aber leicht zugänglich zu präsentieren.
Aktualisiert: 2023-04-17
> findR *
MEHR ANZEIGEN
Bücher zum Thema Robert M. Solovay
Sie suchen ein Buch über Robert M. Solovay? Bei Buch findr finden Sie eine große Auswahl Bücher zum
Thema Robert M. Solovay. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr
hat zahlreiche Bücher zum Thema Robert M. Solovay im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das
passende Buch für Ihr Lesevergnügen. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das
Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche
Bücher uvm. Bestellen Sie Ihr Buch zum Thema Robert M. Solovay einfach online und lassen Sie es sich bequem nach
Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.
Robert M. Solovay - Große Auswahl Bücher bei Buch findr
Bei uns finden Sie Bücher beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher zum
Thema Robert M. Solovay, die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche
Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl
Bücher verschiedenster Genres, Verlage, Autoren bei Buchfindr:
Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie
unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien
zu finden. Unter Robert M. Solovay und weitere Themen und Kategorien finden Sie schnell und einfach eine Auflistung
thematisch passender Bücher. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege.
Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem
zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu
studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.