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

Name: La guerra dei trent'anni (1900-1930). Da Hilbert a Gödel
Brand: Edizioni ETS
SKU: 9788846727893-G
Price: 48.35 EUR
Availability: OutOfStock
Rating: 5 (1 reviews)

By Gabriele Lolli

0 - Used - good

Description

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. Das Urheberrecht an bibliographischen und produktbeschreibenden Daten und an den bereitgestellten Bildern liegt bei Informazioni Editoriali, I.E. S.r.l., oder beim Herausgeber oder demjenigen, der die Genehmigung erteilt hat. Alle Rechte vorbehalten.

Product details

Binding:: Paperback
Number of Pages:: 240
Publication Date:: 2011-05-04
Publisher:: Edizioni ETS
Languages:: Original: Italian
ISBN10:: 8846727894
ISBN13:: 9788846727893
Weight:: 520 g
Height:: 166 cm
Width:: 232 cm
Thickness:: 19 cm

Buy on Amazon

Currently sold out