01954nam0 22004693i 450 VAN024852420230529094849.450N978365829111220220725d2020 |0itac50 baengDE|||| |||||Diagonalization in Formal MathematicsPaulo Guilherme SantosWiesbadenSpringer Spektrum202099 p.ill.24 cm001VAN01139242001 BestMasters210 Berlin [etc.]SpringerVAN0248526Diagonalization in Formal Mathematics239116803-XXMathematical logic and foundations [MSC 2020]VANC019750MF03F40Gödel numberings and issues of incompleteness [MSC 2020]VANC024403MFBanach theoremKW:KCurry’s paradoxKW:KDiagonalizationKW:KDiagonalization lemmaKW:KFixed PointsKW:KKnaster–Tarski theoremKW:KLawvere’s diagonal argumentKW:KParadoxesKW:KRussell’s paradoxKW:KSelf-referenceKW:KSmullyan’s theoremKW:KYablo’s paradoxKW:KDEWiesbadenVANL000457SantosPaulo GuilhermeVANV2034491017966Springer <editore>VANV108073650ITSOL20240614RICAhttp://doi.org/10.1007/978-3-658-29111-2E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0248524BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 4510 08eMF4510 20220725 Diagonalization in Formal Mathematics2391168UNICAMPANIA