La guerra dei trent'anni (1900-1930). Da Hilbert a Gödel Scarica PDF EPUB

· Leggete in circa 2 min · (415 parole)

La guerra dei trent'anni (1900-1930). Da Hilbert a Gödel

Scarica Libri PDF

Scarica Libri EPUB
Titolo: La guerra dei trent'anni (1900-1930). Da Hilbert a Gödel

Autore: Gabriele Lolli

Editore: ETS

Pagine:

Anno edizione:

EAN: 9788846727893

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.



La guerra dei trent'anni (1900-1930). Da Hilbert a Gödel è un libro di Gabriele Lolli pubblicato da ETS nella collana Analitica: acquista su IBS a 20.40€!
Acquista il libro La guerra dei trent'anni (1900-1930). Da Hilbert a Gödel di Gabriele Lolli in offerta lo trovi online a prezzi scontati su La Feltrinelli.
La guerra dei trent'anni (1900-1930). Da Hilbert a Gödel, Libro di Gabriele Lolli. Sconto 15% e Spedizione con corriere a solo 1 euro. Acquistalo su
La guerra dei Trent'Anni (1900-1930) Da Hilbert a la formazione della logica del primo ordine nel periodo 1900-1930. Sotto il segno di Gödel, il
La guerra dei trent'anni (1900-1930 di incompletezza di Gödel), dall'analisi del lavoro di Hilbert e di quella particolare Hilbert riprenderà
Visita eBay per trovare una vasta selezione di guerra dei trent'anni. Scopri le migliori 9788846727893 LA GUERRA DEI TRENT'ANNI (1900-1930). DA HILBERT A GÖDEL
La guerra dei trent'anni (1900-1930). Da Hilbert a Gödel (Gabriele Lolli) su Ciao. Condividi la tua opinione e la tua esperienza. Vota La guerra dei trent'anni (1900
Noté 0.0/5: Achetez La guerra dei trent'anni (1900-1930). Da Hilbert a Gödel de Gabriele Lolli: ISBN: 9788846727893 sur amazon.fr, des millions de livres livrés
La guerra dei trent'anni 1900-1930 . Da Hilbert a Gödel Analitica: Amazon.es: Gabriele Lolli: Libros en idiomas extranjeros