img Leseprobe Leseprobe

Diagonalization in Formal Mathematics

Paulo Guilherme Santos

PDF
ca. 53,49 €
Amazon 53,49 € iTunes Thalia.de Hugendubel Bücher.de ebook.de kobo Osiander Google Books Barnes&Noble bol.com Legimi yourbook.shop Kulturkaufhaus ebooks-center.de
* Affiliatelinks/Werbelinks
Hinweis: Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.

Springer Fachmedien Wiesbaden img Link Publisher

Naturwissenschaften, Medizin, Informatik, Technik / Grundlagen

Beschreibung

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.

Weitere Titel in dieser Kategorie
Cover Principia
Principia
Isaac Newton
19,99 €
Cover Mathematical Logic
Mathematical Logic
Daniel Cunningham
89,95 €
Cover Logic in Question
Logic in Question
Amirouche Moktefi
171,19 €
Cover Axiomatic Thinking I
Axiomatic Thinking I
Giovanni Sommaruga
96,29 €
Cover Axiomatic Thinking II
Axiomatic Thinking II
Giovanni Sommaruga
96,29 €

Kundenbewertungen

Schlagwörter

Knaster–Tarski theorem, Banach theorem, Yablo’s paradox, Lawvere’s diagonal argument, Russell’s paradox, Diagonalization, Fixed points, Self-reference, Curry’s paradox, Paradoxes, Diagonalization lemma, Smullyan’s theorem