Kurt GÃdel (1906-1978) ha fatto un lavoro pionieristico che ha trasformato la logica e altri aspetti importanti della nostra comprensione della matematica, in particolare la sua dimostrazione dell'incompletezza dell'aritmetica formalizzata. Questo libro su diversi aspetti del suo lavoro e su argomenti in cui le sue idee hanno risonanza contemporanea include documenti di un simposio del maggio 2006 che celebra il centenario di GÃdel e documenti di un simposio del 2004. La teoria della dimostrazione della teoria degli insiemi, la filosofia della matematica e la redazione degli scritti di GÃdel sono tra gli argomenti trattati. Diversi capitoli discutono il suo sviluppo intellettuale e il suo rapporto con predecessori e contemporanei come Hilbert Carnap e Herbrand. Altri considerano le sue opinioni sulla giustificazione nella teoria degli insiemi alla luce del lavoro più recente e degli echi contemporanei dei suoi teoremi di incompletezza e del concetto di insiemi costruibili. Lingua: Inglese