Re: Essere o non essere in grado di poterla dimostrare.....
Credo che sia stia facendo un uso improprio del Teorema di Godel
Gödel dimostra che l'intuito del matematico umano è in grado di 'svincolarsi' dai limiti imposti da un qualsivoglia sistema formale per cogliere delle verità che resteranno per sempre inconoscibili come tali se si resta nei limiti del sistema.
La limitazione imposta da Gödel obbliga ad accettare la contraddizione o a superarla passando ad un sistema più ampio. Mostra i limiti della visione dualistica della matematica e della scienza : il dualismo verificabilità/falsificabilità, il dualismo soggetto/oggetto e osservatore/osservato; la matematica è inscindibile dal matematico.
La matematica non può fondarsi da sola, come proponeva Hilbert; è necessaria, almeno, la metamatematica.
Così la scienza, anche se raggiungesse il rigore dei sistemi formali, ne avrebbe gli stessi limiti.
Secondo me il Teorema di Godel fondamentalmente è applicabile solo a sistemi sufficientemente potenti da un punto di vista aritmetico. Il risultato a cui conduce dimostra la impossibilità di coesistenza tra completezza e assiomaticità di un sistema.
La logica di cui ci serviamo è una delle possibili logiche. Il Teorema nulla può suggerire su sistemi che implichino l’utilizzo di una logica diversa. Il risultato del Teorema è straordinario perchè suggerisce, a mio avviso, la vittoria della PERSONA sul SISTEMA.
Quanto all’esistenza di Dio, il Teorema di Godel, non può dire proprio nulla.
In un altro lavoro invece Godel si occupa della “prova Matematica dell’esistenza di Dio”
Godel stesso si definì poi insoddisfatto dell’opera.
In particolare la dimostrazione ha due limiti. Il primo riguarda l'immanenza di Dio: il Dio del quale Gödel dimostra l'esistenza è immanente e non trascendente, si tratta cioè di un ente che esiste all’interno del mondo.Il secondo limite della dimostrazione è costituito dagli assiomi. Gödel ne introduce ben 5, alcuni dei quali molto vicini alla tesi da dimostrare.
Godel credeva in Dio, la sua 'dimostrazione' non era una pretesa scientifica, piuttosto un 'esercizio di stile' logico.
[Modificato da BioScientist 09/07/2008 20:09]