Vai al contenuto principale della pagina

Diagonalization in Formal Mathematics / Paulo Guilherme Santos



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Santos, Paulo Guilherme Visualizza persona
Titolo: Diagonalization in Formal Mathematics / Paulo Guilherme Santos Visualizza cluster
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  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: VAN00248524
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 , 2014-