Diagonalization in Formal Mathematics / Paulo Guilherme Santos
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Santos, Paulo Guilherme
|
| Titolo: |
Diagonalization in Formal Mathematics / Paulo Guilherme Santos
|
| Pubblicazione: | Wiesbaden, : Springer Spektrum, 2020 |
| Titolo uniforme: | Diagonalization in Formal Mathematics |
| Descrizione fisica: | 99 p. : ill. ; 24 cm |
| Soggetto topico: | 03-XX - Mathematical logic and foundations [MSC 2020] |
| 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] | |
| Soggetto non controllato: | Banach theorem |
| Curry’s paradox | |
| Diagonalization | |
| Diagonalization lemma | |
| Fixed Points | |
| Knaster–Tarski theorem | |
| Lawvere’s diagonal argument | |
| Paradoxes | |
| Russell’s paradox | |
| Self-reference | |
| Smullyan’s theorem | |
| Yablo’s paradox | |
| Titolo autorizzato: | Diagonalization in Formal Mathematics |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | VAN0248524 |
| Lo trovi qui: | Univ. Vanvitelli |
| Localizzazioni e accesso elettronico | http://doi.org/10.1007/978-3-658-29111-2 |
| Opac: | Controlla la disponibilità qui |
Serie:
BestMasters Berlin [etc.] . -Springer