Diagonalization In Formal Mathematics
Diagonalization In Formal Mathematics
Regular price
€43,95
Sale price
€43,95
Regular price
Tax included.
Shipping calculated at checkout.
-
Estimated delivery: Jun 11 - Jun 15
Quick, only 1 item left in stock!
Couldn't load pickup availability
Sold and shipped by SpeedyHen
Payment & Security
Payment methods
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
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.
