"Questa raccolta di articoli provenienti da varie aree della logica matematica mette in mostra la notevole ampiezza e ricchezza del campo. Gli autori principali rivelano come i risultati tecnici contemporanei toccano questioni fondamentali sulla natura della matematica. I punti salienti del volume includono: una storia del teorema di Tennenbaum in aritmetica; una serie di articoli sui fenomeni di Tennenbaum nell'aritmetica debole così come su altri aspetti dell'aritmetica, come l'interpretabilità; la trascrizione del precedente pensiero di Gödel conversazioni inedite del 1972-1975 con Sue Toledo, insieme ad un apprezzamento delle stesse da parte di Curtis Franks; ricercatori e studenti laureati in logica matematica e filosofia della matematica"-- "Gli articoli qui raccolti affrontano ciascuna di queste domande attraverso il velo di particolari risultati tecnici. Ad esempio, la nuova prova dell'irrazionalità della radice quadrata di due, fornita da Stanley Tennenbaum negli anni '60 e qui inclusa, mette in rilievo domande sul ruolo che la semplicità gioca nella nostra comprensione delle dimostrazioni matematiche. elenco: trovare un criterio di semplicità in matematica La dimostrazione di Tennenbaum è un esempio particolarmente sorprendente del fenomeno contemplato da Hilbert nel suo 24° Problema"--
caricamento...
