HyperHouse

NeXT Hyper Obscure

Il dio della logica: la vita di Kurt Gödel raccontata da Piergiorgio Odifreddi


Su Fantascienza.com la segnalazione di un libro di Piergiorgio Oddifreddi dal titolo  Il dio della logica. Vita geniale di Kurt Gödel, matematico della filosofia. Lascio le parole a Emanuele Manco che, nel suo post, spiega assai bene il contenuto di questo testo meraviglioso che, nella sua logica, distrugge le certezze fallaci dei Positivisti.

Oddifreddi si prefigge lo scopo di raccontare in un saggio divulgativo l’importanza della figura di Kurt Gödel, forse ancora sconosciuto a chi non sia un matematico. Una figura chiave dell’intera storia della matematica, perché ha scardinato la fiducia dei matematici dei primi del ‘900 che tutto potesse avere una dimostrazione scoprendo che nei sistemi matematici potevano esistere congetture vere ma non dimostrabili. La sua scoperta è esplicitata nella formulazione dei Teoremi di Incompletezza:

1) In ogni sistema matematico esistono proposizioni delle quali non è possibile dimostrare la verità e/o la falsità.

2) Nessun sistema coerente contenente l’aritmetica può essere utilizzato per provare la sua stessa coerenza.

Con l’esposizione della sua scoperta durante l’esposizione della sua tesi di laurea nel 1928, Gödel scardinò gli obiettivi del Congresso internazionale dei matematici alla Sorbona di Parigi nell’agosto del 1900, nel quale David Hilbert aveva lanciato il suo “programma”, ossia ventitré problemi irrisolti della matematica che era certo potessero essere risolti entro la fine del ventesimo secolo. Hilbert era in realtà certo che tutto potesse dimostrato dalla matematica e che Ogni problema matematico definito deve necessariamente essere suscettibile di una soluzione esatta (…) In matematica la parola ignorabimus non esiste.

Quello che Gödel dimostrò e che non era detto che a quei problemi, come a tanti altri problemi della matematica, sarebbe stato possibile trovare una dimostrazione, sia della loro verità che della loro falsità.

Le scoperte di Gödel ispirarono e spronarono tanti matematici, perché la sostanza dei suoi teoremi non era la negazione della matematica, ma solo la dimostrazione che la matematica non si riduce alla mera deduzione e dimostrazione di teoremi a partire da assiomi.

Tra i tanti matematici che, presa coscienza della incompletezza della matematica ci fu anche Alan Turing che, formalizzando la sua macchina calcolatrice, scoprì che, analogamente alle proposizioni indimostrabili, esistevano programmi che neanche la sua macchina è in grado di calcolare, arrivando a formulare una dimostrazione dei Teoremi di Incompletezza che utilizzasse la sua macchina universale. E quanto sia importante la Macchina di Turing lo sappiamo benissimo, visto che il dispositivo sul quale state leggendo questo articolo è una moderna applicazione dei principi teorici di questa macchina.

No comments yet»

Rispondi

Effettua il login con uno di questi metodi per inviare il tuo commento:

Logo di WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione /  Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione /  Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione /  Modifica )

Connessione a %s...

Questo sito utilizza Akismet per ridurre lo spam. Scopri come vengono elaborati i dati derivati dai commenti.

A Journey to the Stars

Time to write a new Story

Rebus Sic Stantibus

Timeo Danaos et dona ferentes

Fantastici Stonati

Ci vuole molta fantasia per essere all'altezza della realtà

Decades

by Jo & Ju.

The Paltry Sum

Detroit Richards

chandrasekhar

Ovvero come superare l'ombra, la curva della luna, il limite delle stelle (again)

AUACOLLAGE

Augusta Bariona: Blog Collages...Colori.

PHOTO.RİP

PHOTO FASHİON VİDEO MUSİC

The daily addict

The daily life of an addict in recovery

Tiny Life

mostly photos

SUSANNE LEIST

Author of Paranormal Suspense

Labor Limae

- Scritture artigianali -

Federico Cinti

Momenti di poesia

Racconti Ondivaghi

che alla fine parlano sempre d'Amore

The Nefilim

Fields Of The Nephilim

AppartenendoMI

Ero roba Tua

AERIA VIRTUS

"L'unico uccello che osa beccare un'aquila è il corvo. Si siede sulla schiena e ne morde il collo. Tuttavia l'aquila non risponde, nè lotta con il corvo, non spreca tempo nè energia. Semplicemente apre le sue ali e inizia ad alzarsi piu'in alto nei cieli. Piu' alto è il volo, piu' è difficile respirare per il corvo che cade per mancanza di ossigeno".

ONLINE GRAPHIC DESIGN MARKET

An Online Design Making Site

Sanguinarie Principesse

E del viaggio nulla mi resta se non quella nostalgia. (N. Hikmet)

Cavallette neanche tanto Criptiche

Feels Like We Only Go Backwards

CARTESENSIBILI

Colui che non riesce a trovare spazio per gli altri manca di comprensione, e a chi manca di comprensione tutti risultano estranei.- Zhuāngzǐ

ADESSO-DOPO

SCIVOLO.

Unclearer

Enjoyable Information. Focused or Not.

Free Trip Downl Hop Music Blog

Free listening and free download (mp3) chill and down tempo music (album compilation ep single) for free (usually name your price). Full merged styles: trip-hop electro chill-hop instrumental hip-hop ambient lo-fi boombap beatmaking turntablism indie psy dub step d'n'b reggae wave sainte-pop rock alternative cinematic organic classical world jazz soul groove funk balkan .... Discover lots of underground and emerging artists from around the world.

boudoir77

"Scrivete quel che volete scrivere, questo è ciò che conta; e se conti per secoli o per ore, nessuno può dirlo." Faccio mio l'insegnamento di Virginia Woolf rifugiandomi in una "stanza", un posto intimo dove dar libero sfogo - attraverso la scrittura - alle mie suggestioni culturali, riflessioni e libere associazioni.

MITOLOGIA ELFICA

Storie e Leggende dal Nascondiglio

Stories from the underground

Come vivere senza stomaco, amare la musica ed essere sereni

Luke Atkins

Film, Music, and Television Critic

STAMPO SOCIALE

Rivista di coscienza collettiva

La Ragazza con la Valigia

Racconti di viaggi e di emozioni.

simonebocchetta

Qui all'ombra si sta bene (A. Camus, Opere, p. 1131)

TRIBUNUS

Duemila anni di Storia Romana

Alessandro Giunchi

osirisicaosirosica e colori

Dreams of Dark Angels

The blog of fantasy writer Storm Constantine

Bagatelle

Quisquilie, bagatelle, pinzillacchere...

HORROR CULTURA

Letteratura, cinema, storia dell'horror

Oui Magazine

DI JESSICA MARTINO E MARIANNA PIZZIPAOLO

Eleonora Zaupa • Writer Space

Una finestra per un altro mondo. Un mondo che vi farà sognare, oppure...

Through the Wormhole

“Siamo l’esperimento di controllo, il pianeta cui nessuno si è interessato, il luogo dove nessuno è mai intervenuto. Un mondo di calibratura decaduto. (…) La Terra è un argomento di lezione per gli apprendisti dei.” Carl Sagan

AI MARGINI DEL CAOS

un blog di Franco Ricciardiello

Tra Racconto e Realtà

Guardati intorno

Roccioletti

Arte altra e altrove.

%d blogger hanno fatto clic su Mi Piace per questo: