Paulo Guilherme Santos 
Diagonalization in Formal Mathematics [PDF ebook] 

поддержка

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.

€53.49
Способы оплаты

Содержание

Diagonalization in Mathematics.- Diagonalization Lemma.- Fixed Point Theorems.- Paradoxes: Liar, Yablo’s Paradox, Curry’s Paradox.

Об авторе

Paulo Guilherme Santos is currently a Ph D 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.

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!
язык английский ● Формат PDF ● страницы 89 ● ISBN 9783658291112 ● Размер файла 0.8 MB ● издатель Springer Fachmedien Wiesbaden ● город Wiesbaden ● Страна DE ● опубликованный 2020 ● Загружаемые 24 месяцы ● валюта EUR ● Код товара 7339494 ● Защита от копирования Социальный DRM

Больше книг от того же автора (ов) / редактор

188 Электронные книги в этой категории