Incompletezza. La dimostrazione e il paradosso di Kurt Gödel.pdf

Incompletezza. La dimostrazione e il paradosso di Kurt Gödel PDF

Rebecca Goldstein

I teoremi di incompletezza di Kurt Gödel, considerati una delle fondamentali rivoluzioni culturali del XX secolo, hanno subito una sorte simile a quella del loro creatore, genio tormentato della matematica: celebrati e mitizzati per la profondità intellettuale e il rigore logico che trasmettevano, oggetto di un vero e proprio culto, eppure contemporaneamente - e paradossalmente fraintesi, quando non addirittura respinti. Rebecca Goldstein, fondendo magistralmente il genere biografico con uno stile divulgativo chiaro e puntuale, restituisce allintuizione di Gödel il suo vero significato, ovvero la prova dellesistenza di una verità oggettiva ed eterna, solo parzialmente afferrabile dalluomo.

24 lug 2011 ... Il problema generale che sta dietro a questi paradossi è nell'ammissibilità della negazione, come abbiamo già visto parlando del numero zero. <

3.64 MB Dimensione del file
8875780412 ISBN
Incompletezza. La dimostrazione e il paradosso di Kurt Gödel.pdf

Tecnologia

PC e Mac

Leggi l'eBook subito dopo averlo scaricato tramite "Leggi ora" nel tuo browser o con il software di lettura gratuito Adobe Digital Editions.

iOS & Android

Per tablet e smartphone: la nostra app gratuita tolino reader

eBook Reader

Scarica l'eBook direttamente sul lettore nello store www.nettunofirenze.it o trasferiscilo con il software gratuito Sony READER PER PC / Mac o Adobe Digital Editions.

Reader

Dopo la sincronizzazione automatica, apri l'eBook sul lettore o trasferiscilo manualmente sul tuo dispositivo tolino utilizzando il software gratuito Adobe Digital Editions.

Note correnti

avatar
Sofi Voighua

Kurt Godel è autore di un'opera che ha influenzato tutti gli sviluppi successivi ... l' incompletezza dei sistemi assiomatici contenenti l'aritmetica — il cosiddetto ... 6 nov 2018 ... È di lui – Il dio della logica – ... KURT GÖDEL – sia “God ” sia. “E l” significano ... dimostrazione d'i nc oe re nz a ... teoremi di incompletezza, di-.

avatar
Mattio Mazio

E Gödel fa i conti con Anselmo ... teoremi di incompletezza destinati a ... di quella dimostrazione ... nel paradosso e nell'intuizione razionale. Il teorema di Gödel o, per essere più precisi, i teoremi di incompletezza di Gödel ( sono in- ... tembre del 1930, e la successiva pubblicazione delle dimostrazioni dei teoremi nel gennaio del ... L'opera di Kurt Gödel in Shanker 1991, pg.65-92.

avatar
Noels Schulzzi

Kurt Gödel ( ) ... 6 Kurt e sua moglie Adele il giorno delle nozze Vienna 1938. Kurt e sua moglie Adele ... 15 W. Sieg & C. Field, Dimostrazione automatica del primo teorema di incompletezza di Gödel. W. Sieg ... 21 Paradosso di Russell ( 1902) La scienza che stupisce: curiosità e paradossi Vai allo speciale ... Nel 1931 l' americano di origine austroungarica Kurt Gödel (foto) pubblicò “Sulle proposizioni ...

avatar
Jason Statham

Kurt Gödel nel 1925 (circa) Kurt Gödel (Brno, 28 aprile 1906 – Princeton, 14 gennaio 1978) è stato un matematico, logico e filosofo austriaco naturalizzato statunitense, noto soprattutto per i suoi lavori sull'incompletezza delle teorie matematiche. Gödel è ritenuto uno dei più grandi logici di tutti i tempi insieme a Frege e Aristotele; le sue ricerche ebbero un significativo impatto John W. Dawson jr, Dilemmi Logici: La vita e l'opera di Kurt Gödel, Torino, Bollati Boringhieri, 2001, ISBN 88-339-1353-8. Sergio Galvan. Introduzione ai teoremi di incompletezza. Milano, Franco Angeli, 1992. Rebecca Goldstein, Incompletezza. La dimostrazione e il paradosso di Kurt Godel, Torino, Codice Edizioni, 2006, ISBN 88-7578-041-2.

avatar
Jessica Kolhmann

> di Vito J. Ceravolo* Abstract: Completamento dei teoremi di incompletezza di Gödel, grazie alla formalizzazione di un sistema capace di racchiudere sia ciò che è soggetto a valore di verità (vero o falso) sia ciò che è soggetto a non valore di verità (né vero né falso). Parole chiave: Kurt …