L’articolo è stato aggiunto alla lista dei desideri
IBS.it, l'altro eCommerce
Cliccando su “Conferma” dichiari che il contenuto da te inserito è conforme alle Condizioni Generali d’Uso del Sito ed alle Linee Guida sui Contenuti Vietati. Puoi rileggere e modificare e successivamente confermare il tuo contenuto. Tra poche ore lo troverai online (in caso contrario verifica la conformità del contenuto alle policy del Sito).
Grazie per la tua recensione!
Tra poche ore la vedrai online (in caso contrario verifica la conformità del testo alle nostre linee guida). Dopo la pubblicazione per te +4 punti
Tutti i formati ed edizioni
Promo attive (1)
scheda di Penco, C., L'Indice 1988, n. 5
Quando si parla di Hilbert si pensa subito a Gödel e ai suoi teoremi di incompletezza che avrebbero demolito definitivamente le speranze del programma hilbertiano di fondare la matematica classica. Ma recentemente Kreisel ha rivendicato la utilità di "riformulare" il programma hilbertiano: si abbandoni l'obiettivo della riduzione finitista totale della matematica, e si mantenga quello del controllo delle parti astratte o ideali della matematica rispetto a formule di complessità crescente. Il primo capitolo del libro presenta questa fortunata interpretazione di Kreisel, e presenta anche difficoltà di lettura per il lettore inesperto. I restanti due capitoli analizzano rispettivamente il "programma ampio" di Hilbert, cioè l'insieme delle sue ipotesi filosofico-matematiche prima degli anni '20, e il "programma ristretto", cioè la teoria della dimostrazione sviluppata dopo gli anni '20 intesa in senso fortemente riduttivo. Rispetto a ricostruzioni come quella di Kreisel, quello di Moriconi è un lavoro "storico" che, analizzando l'opera di Hilbert, rivaluta la ricchezza problematica dei primi scritti, e i motivi che lo hanno indotto a concentrarsi più esclusivamente sul tema della coerenza. Ne emerge un'immagine chiara della complessità del pensiero del logico tedesco, volto a contrastare il soggettivismo di Brouwer, e ricco di spunti teorici ancora interessanti, che non sono in contraddizione con (o superati da) la dimostrazione dei teoremi di incompletezza di Gödel.
L'articolo è stato aggiunto al carrello
L’articolo è stato aggiunto alla lista dei desideri
Siamo spiacenti si è verificato un errore imprevisto, la preghiamo di riprovare.
Verrai avvisato via email sulle novità di Nome Autore