Da Hilbert a von Neumann
Libri Moderni

Formica, Giambattista

Da Hilbert a von Neumann

Abstract: I teoremi di Gödel suscitano un interesse sempre crescente nella riflessione filosofica contemporanea. Rimane però in discussione fra gli studiosi come si sia arrivati alla loro scoperta e quale sia il loro significato per il dibattito sui fondamenti delle scienze. Nel volume si ripercorrono le vicende che portarono alla formulazione dei teoremi di incompletezza, a partire dall'incontro tra von Neumann e Gödel al Congresso di Königsberg nel 1930, e si indaga, riferendosi in particolare al lavoro di von Neumann, sull'impatto che questi teoremi hanno avuto per il progetto hilbertiano di fondazione della matematica e delle scienze più in generale. Ne risulta un'immagine delle indagini di Hilbert meno rigida di quella finora corrente, in linea con le più recenti acquisizioni della storiografia, e soprattutto più rispettosa della stessa prassi assiomatica, che oscillava per Hilbert tra ambizioni fondazionaliste e istanze pragmatiche. È stato von Neumann a rendere esplicita, dopo la scoperta dei teoremi di Gödel, quella che si può definire come la svolta pragmatica nell'assiomatica. Il libro propone inoltre un chiarimento riguardo alla scoperta di von Neumann del secondo teorema di incompletezza.


Titolo e contributi: Da Hilbert a von Neumann : la svolta pragmatica nell'assiomatica / Giambattista Formica

Pubblicazione: Carocci, 2013

Descrizione fisica: 261 p. ; 22 cm

EAN: 9788843069187

Data:2013

Lingua: Italiano (lingua del testo, colonna sonora, ecc.)

Paese: Italia

Nomi: (Editore) (Autore)

Soggetti:

Classi: 511.30922 Logica matematica (Logica simbolica). Biografia collettiva (22)

Dati generali (100)
  • Tipo di data: monografia edita in un solo anno
  • Data di pubblicazione: 2013
  • Target: adulti, generale
Testi (105)
  • Genere: saggi

Sono presenti 1 copie, di cui 0 in prestito.

Biblioteca Collocazione Inventario Stato Prestabilità Rientra
Como OO-N-11735 CO-339496 Su scaffale Disponibile
Codice da incorporare

Copia e incolla sul tuo sito il codice HTML qui sotto.