02207nam0 22004573i 450 VAN0024875620240806101415.474N978303050876020220729d2020 |0itac50 baengCH|||| |||||Can Mathematics Be Proved Consistent?Gödel's Shorthand Notes & Lectures on IncompletenessJan von PlatoChamSpringer2020ix, 263 p.ill.24 cm001VAN000511232001 Sources and studies in the history of mathematics and physical sciences210 Berlin [etc.]SpringerVAN00248757Can Mathematics Be Proved Consistent?208332001A60History of mathematics in the 20th century [MSC 2020]VANC021492MF01A70Biographies, obituaries, personalia, bibliographies [MSC 2020]VANC019752MF01A75Collected or selected works; reprintings or translations of classics [MSC 2020]VANC021493MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03F40Gödel numberings and issues of incompleteness [MSC 2020]VANC024403MFCompleteness problemKW:KGerman mathematiciansKW:KGödel incompleteness theoremKW:KGödel lecturesKW:KGödel notesKW:KIncompleteness theoremsKW:KPrincipia MathematicaKW:KSkolem's paradoxKW:KCHChamVANL001889von PlatoJanVANV094802766770Springer <editore>VANV108073650ITSOL20250509RICAhttp://doi.org/10.1007/978-3-030-50876-0E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00248756BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 4583 08eMF4583 20220729 Can Mathematics Be Proved Consistent2083320UNICAMPANIA