Diagonalization in Formal Mathematics (eBook)

eBook Download: PDF
2020 | 1st ed. 2020
X, 89 Seiten
Springer Fachmedien Wiesbaden (Verlag)
978-3-658-29111-2 (ISBN)

Lese- und Medienproben

Diagonalization in Formal Mathematics - Paulo Guilherme Santos
Systemvoraussetzungen
53,49 inkl. MwSt
  • Download sofort lieferbar
  • Zahlungsarten anzeigen
In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspects to everyday mathematics. He starts with a study of the diagonalization lemma and its relation to the strong diagonalization lemma. After that, Yablo's paradox is examined, and a self-referential interpretation is given. From that, a general structure of diagonalization with paradoxes is presented. Finally, the author studies a general theory of diagonalization with the help of examples from mathematics.

Paulo Guilherme Santos is currently a PhD student at FCT, Universidade Nova de Lisboa, Portugal and at University of Tübingen, Germany. His field of work is logic, e.g. formal arithmetic, provability logic, provability predicates, and paradoxes.
Erscheint lt. Verlag 4.1.2020
Reihe/Serie BestMasters
BestMasters
Zusatzinfo X, 89 p. 1 illus.
Sprache englisch
Themenwelt Mathematik / Informatik Mathematik
Schlagworte Banach theorem • Curry’s paradox • Diagonalization • Diagonalization lemma • fixed points • Knaster–Tarski theorem • Lawvere’s diagonal argument • paradoxes • Russell’s paradox • Self-reference • Smullyan’s theorem • Yablo’s paradox
ISBN-10 3-658-29111-7 / 3658291117
ISBN-13 978-3-658-29111-2 / 9783658291112
Haben Sie eine Frage zum Produkt?
PDFPDF (Wasserzeichen)
Größe: 783 KB

DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasser­zeichen und ist damit für Sie persona­lisiert. Bei einer missbräuch­lichen Weiter­gabe des eBooks an Dritte ist eine Rück­ver­folgung an die Quelle möglich.

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
Ein Übungsbuch für Fachhochschulen

von Michael Knorrenschild

eBook Download (2023)
Carl Hanser Verlag GmbH & Co. KG
16,99
Grundlagen - Methoden - Anwendungen

von André Krischke; Helge Röpcke

eBook Download (2024)
Carl Hanser Verlag GmbH & Co. KG
34,99