Una delle più grandi menti del XX secolo è sicuramente quella del moravo Kurt Gödel (1906–1978). Nato nell’odierna Brno, la vita di Gödel, come per altro quella di molti genî, fu piuttosto tormentata e dominata da quello che è stato chiamato “il male di vivere”. Nel 1926 fu tra i frequentatori del “Circolo di Vienna” e in questo vivace ambiente culturale neopositivista maturò definitivamente la sua vocazione nei confronti della ricerca logico-matematica. Mai scelta risultò più azzeccata visto che già nel 1931, a soli venticinque anni, esponeva in un celebre articolo i presupposti dei suoi teoremi di incompletezza destinati a sconvolgere tutte le teorie logico-matematiche elaborate fino a quel momento.
Se di Gödel sono molto noti i rivoluzionari contributi portati alla matematica, meno noto è il fatto che formulò una rielaborazione della prova ontologica di Anselmo di Aosta (1033–1109 d.C.), ossia di quella dimostrazione logica che ritiene di poter inferire l’esistenza di Dio “a priori”. In estrema sintesi, tanto in logica quanto in matematica esiste una forma di dimostrazione nota come “reductio ad absurdum” o “prova per assurdo”, che costituisce un metodo classico dei logici di dimostrare una tesi attraverso la negazione della tesi ad essa opposta (“A” è vera perché “non A” implica una contraddizione, ossia è assurda). È appunto a questo strumento dimostrativo che Anselmo di Aosta fece ricorso per trovare un “unico argomento” (unum argumentum) che si provi da se stesso e che sia da solo capace di dimostrare che Dio esiste veramente. Ora, poiché per il filosofo aostano la definizione corretta di Dio è quella di “qualcosa di cui non si possa pensare nulla di maggiore” (aliquid quo nihil maius cogitari possit), ovvero di un essere sommamente perfetto, e siccome un ente perfettissimo per risultare tale non può sussistere soltanto nel pensiero, ma deve esistere necessariamente nella realtà, si deduce che è assurdo affermare che Dio è solo un’idea dell’intelletto e non esiste realmente.
Cliccare sul link per continuare a leggere: IDEE/ La matematica “cerca” Dio? Ecco la risposta.
