Libreria
>
Libri
>
Matematica e scienze
>
Storia della matematica
>
La Guerra dei Trent'anni (1900-1930). Da Hilbert a Godel

La Guerra dei Trent'anni (1900-1930). Da Hilbert a Godel - 9788846727893

Name: La Guerra dei Trent'anni (1900-1930). Da Hilbert a Godel
Brand: Edizioni ETS
Price: 24.00 EUR
Author: Lolli Gabriele
ISBN: 9788846727893

di Gabriele Lolli edito da Edizioni ETS, 2011

€ 24.00

Aggiungi
al carrello

Punti Accumulabili: +240

Aggiungi al Pozzo dei Desideri

La Guerra dei Trent'anni (1900-1930). Da Hilbert a Godel libro di Lolli Gabriele

Informazioni bibliografiche del Libro

Titolo del Libro: La Guerra dei Trent'anni (1900-1930). Da Hilbert a Godel
Autore: Gabriele Lolli
Editore: Edizioni ETS
Collana: Analitica , Nr. 4
Data di Pubblicazione: 2011
Genere: MATEMATICA
Argomenti : Gödel, Kurt Matematica-Storia Matematica-Filosofia
Pagine: 240
Dimensioni mm: 232 x 232 x 19
ISBN-10: 8846727894
ISBN-13: 9788846727893

La Guerra dei Trent'anni (1900-1930). Da Hilbert a Godel: Nelle lezioni contenute in questo volume si descrive e si analizza la formazione della logica del primo ordine nel periodo 1900-1930. Si seguono due temi, che emergono dai problemi della assiomatizzazione delle teorie matematiche, e in particolare della teoria degli insiemi, all'inizio del secolo. Il primo è la chiarificazione e la distinzione dei concetti di completezza deduttiva di una teoria e di completezza logica. Il secondo è quello del programma di Hilbert, che si articola e si definisce nel corso degli anni Venti. La storia avventurosa del teorema di completezza logica con i suoi equivoci e incomprensioni, e la passione delle polemiche aspre di Hilbert con l'intuizionismo di L. Brouwer fanno della costituzione della logica come disciplina un episodio esemplare del processo di crescita della matematica. Nella seconda parte del volume si dà una dimostrazione dettagliata del primo teorema di incompletezza di Gödel, che almeno una volta nella vita, diceva Alonzo Church, occorre aver visto. Nel momento in cui Gödel dimostra fattibile il programma di Hilbert con l'aritmetizzazione, nel 1930, sancisce anche l'impossibilità degli obiettivi che si proponeva.

Recensioni Scrivi la tua recensione del libro "La Guerra dei Trent'anni (1900-1930). Da Hilbert a Godel"

Altri libri con autore: Lolli Gabriele

-5%