Diagonalization in Formal Mathemati - E-book

eBook

Diagonalization In Formal Mathematics - ENG

Paulo Guilherme Santos

eBook

$1,100.00

Disponible

Información adicional
Sinopsis

ISBN:	9783658291112
Formato:	Page Fidelity
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Matemáticas
Subtema:	Lógica
Año de publicación:	2020-01-04

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 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.

eBooks