Librería Portfolio Librería Portfolio

Búsqueda avanzada

TIENE EN SU CESTA DE LA COMPRA

0 productos

en total 0,00 €

DIAGONALIZATION IN FORMAL MATHEMATICS
Título:
DIAGONALIZATION IN FORMAL MATHEMATICS
Subtítulo:
Autor:
PAULO GUILHERME SANTOS
Editorial:
SPRINGER
Año de edición:
2020
Materia
MATEMATICAS - GENERAL
ISBN:
978-3-658-29110-5
Páginas:
89
59,48 €

 

Sinopsis

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.