Per i curiosi non appassionati riporto questa citazione.
... penso converrete tutti che la moltiplicazione dei pani e dei pesci e il dogma della Trinità non valgono come “proprietà aritmetica di base”, il che significa che il teorema non può semplicemente essere applicato. Quanto al resto, mi sta anche bene che l’intelletto umano possa, voglia e debba uscire dalla natura per trovare le ragioni ultime che cerca nella soprannatura: ma di nuovo tutto questo non vuol dire che Gödel dovette uscire da un sistema logico coerente per dimostrare almeno una proposizione elaborata in quello stesso sistema logico. Gödel non è uscito da nessuna parte né ha “dimostrato” nulla, al più affermava che occorreva aggiungere la proposizione come assioma.
Nessun commento:
Posta un commento