Sono a rimasto a meditare sulle conseguenze di questo teorema di indecidibilità di Godel. Essendo io uno che si interessa di matematica ed essendo anche un uomo di fede sentite dove adesso vado a parare. Per noi uomini conoscere una verità matematica significa poterla dimostrare. Le due cose si equivalgono: conoscenza di verità matematica uguale a dimostrazione matematica di questa verità. La Rivelazione della fede ci dice che l'Onniscienza è un attributo di Dio. Sono tanti gli attributi di Dio: Onnisciente, Onnipotente, Onnipresente, Misericordioso, Forte, Bello, Giusto......Dunque Dio conosce tutte le verità matematiche. Tutte! Per Lui non ci sono verità matematiche che non si possono conoscere, come per noi. Io credo a questo! E questo è un mistero affascinante! Per noi ci sono verità matematiche che non si possono dimostrare e quindi non si possono conoscere, per Lui no! Ora questo dilemma ha una soluzione facile, ma non facilissima! Infatti, per conoscere tutte le verità matematiche, a Dio è sufficiente la possibilità di poter fare in un solo istante eterno infiniti calcoli. Se noi potessimo fare in un solo istante infiniti calcoli, allora anche noi potremmo conoscere tutte le verità matematiche, anche quelle la cui conoscenza ci è negata dal teorema di indecidibilità di Godel!
Iscriviti a:
Commenti sul post (Atom)
Post più popolari
-
Questa è una traduzione mia della canzone di Sting intitolata “Inside” (“Dentro”). Il mio Inglese è approssimativo e chiedo scusa se qualch...
-
Trovo anche pregevole la collaborazione tra molte persone che è stato possibile realizzare tramite internet. Le chat, i forum di discussione...
-
11-12. Giosafat è il luogo di riferimento dove la Scrittura indica che avverrà il giudizio universale, quando ognuno riprenderà il corpo che...
-
19. Flegiàs, figura mitologica, figlio di Marte e Crise, presente anche nell'Eneide di Virgilio, condannato al luogo di supplizio eterno...
-
31-42. Vedi nota ai vv. 124-126 del I Canto. 46-63. Dante chiede conferma a Virgilio della discesa di Cristo agli inferi, dopo la Sua Risurr...
-
50. Soddoma e Caorsa: Sodoma e Cahors sono due città che hanno dato i nomi, una al peccato della sodomia e l'altra al peccato dell’usura...
-
Riprendendo il discorso del post precedente, abbiamo visto come, alla fine, ogni linguaggio di programmazione diverso: BASIC, C, JAVA, PASC...
-
Resta chiaro il fatto che l'assegnazione di una giusta punizione è volta ad assicurare un maggiore bene futuro per chi subisce la punizi...
-
Un programma può essere lanciato usando un “programma interprete”, come il programmino che ho scritto in QBASIC. Allora bisogna prima lanci...
-
Si cercano moventi, mandanti, motivazioni logiche, logiche relazioni di causa ed effetto nei delitti e nelle stragi di mafia ed è un bene c...
Nessun commento:
Posta un commento