Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Diagonalization in Formal Mathematics / Paulo Guilherme Santos
| Diagonalization in Formal Mathematics / Paulo Guilherme Santos |
| Autore | Santos, Paulo Guilherme |
| Pubbl/distr/stampa | Wiesbaden, : Springer Spektrum, 2020 |
| 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 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0248524 |
Santos, Paulo Guilherme
|
||
| Wiesbaden, : Springer Spektrum, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Diagonalization in Formal Mathematics / Paulo Guilherme Santos
| Diagonalization in Formal Mathematics / Paulo Guilherme Santos |
| Autore | Santos, Paulo Guilherme |
| Pubbl/distr/stampa | Wiesbaden, : Springer Spektrum, 2020 |
| 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 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00248524 |
|
Santos, Paulo Guilherme
|
||
| Wiesbaden, : Springer Spektrum, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||