Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Shopper rossa
La teoria della dimostrazione di Hilbert - Enrico Moriconi - copertina
La teoria della dimostrazione di Hilbert - Enrico Moriconi - copertina
Dati e Statistiche
Wishlist Salvato in 12 liste dei desideri
La teoria della dimostrazione di Hilbert
Disponibile in 5 giorni lavorativi
17,10 €
-5% 18,00 €
17,10 € 18,00 € -5%
Disp. in 5 gg lavorativi
Chiudi
Altri venditori
Prezzo e spese di spedizione
ibs
17,10 € Spedizione gratuita
disponibile in 5 giorni lavorativi disponibile in 5 giorni lavorativi
Info
Nuovo
Libreria Bortoloso
18,00 € + 6,30 € Spedizione
disponibile in 5 giorni lavorativi disponibile in 5 giorni lavorativi
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
ibs
17,10 € Spedizione gratuita
disponibile in 5 giorni lavorativi disponibile in 5 giorni lavorativi
Info
Nuovo
Libreria Bortoloso
18,00 € + 6,30 € Spedizione
disponibile in 5 giorni lavorativi disponibile in 5 giorni lavorativi
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
Chiudi

Tutti i formati ed edizioni

Chiudi
La teoria della dimostrazione di Hilbert - Enrico Moriconi - copertina
Chiudi

Promo attive (0)

Dettagli

1988
4 aprile 2007
128 p.
9788870881776

Voce della critica


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.

Leggi di più Leggi di meno
Chiudi
Aggiunto

L'articolo è stato aggiunto al carrello

Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Chiudi

Chiudi

Siamo spiacenti si è verificato un errore imprevisto, la preghiamo di riprovare.

Chiudi

Verrai avvisato via email sulle novità di Nome Autore