Il libro dell'universo è scritto in lingua matematica
Il libro della natura è scritto in linguaggio matematico
Dunque, su ciò che nella natura è matematico, la mente umana può raggiungere una certezza pari a quella di Dio, anche se ne conosce pochissimo.
L'universo è scritto in figure matematiche, e ciò che vi si dimostra è saputo con la stessa certezza con cui lo sa Dio.
«Il libro dell'universo è scritto in lingua matematica» è un argomento di Galileo Galilei (Il Saggiatore, 1623 (§ 6); Dialogo sopra i due massimi sistemi del mondo, 1632 (Giornata prima), 1623) sulla domanda «Si può essere certi di qualcosa?» (risposta: sì, attraverso la ragione). La sua tesi: Dunque, su ciò che nella natura è matematico, la mente umana può raggiungere una certezza pari a quella di Dio, anche se ne conosce pochissimo. Secondo la verifica logica di AskPhilosophy (solutore Z3), l'argomento è valido solo se si ammette una premessa che l'autore non formula (P4). AskPhilosophy presenta 3 obiezioni, 3 delle quali con una risposta documentata, e il testo originale di ciascuna premessa, verificato parola per parola.
Nel 1623 Galileo risponde a «Sarsi», pseudonimo del gesuita Orazio Grassi, il quale aveva difeso la scelta di seguire l'astronomo Tycho Brahe: chi altri seguire? Galileo vi vede la convinzione che in filosofia ci si debba appoggiare a un autore famoso. Risponde che la filosofia non è un'opera di fantasia come l'Iliade, dove la verità importa poco. È scritta in un altro libro, sempre aperto davanti ai nostri occhi: l'universo. Quel libro è scritto in lingua matematica, con triangoli, cerchi e altre figure. Nel Dialogo (1632) si spinge oltre: per le proposizioni di geometria e di aritmetica che comprendiamo, la nostra certezza eguaglia quella di Dio, anche se Dio ne conosce infinitamente più di noi. Questa idea è diventata un motto della fisica moderna. Pone anche una questione che nessuno ha chiuso: che cosa garantisce questa certezza, quando parliamo del mondo reale?
clicca su una premessa per rifiutarla
Senza la premessa implicita: Senza P4, il computer trova un caso in cui la natura è scritta in matematica, in cui abbiamo una certezza perfetta su proposizioni matematiche dimostrate, e in cui tuttavia non abbiamo alcuna certezza sulla natura: le proposizioni dimostrate possono parlare di figure ideali, non di corpi reali.
Obiezioni
3Ogni obiezione è una conversazione: clicca per vedere chi risponde e a che punto è il dibattito.
SSimplicio (nel Dialogo di Galileo) 1632 · attacca la premessa 3Simplicio, il difensore di Aristotele, vede dapprima una contraddizione: si loda l'intelligenza umana come il più grande dono della natura, poi si dice con Socrate che non comprende nulla. Quando Salviati risponde attribuendole una certezza pari a quella di Dio, Simplicio dice: «Questo mi pare un parlar molto resoluto ed ardito.»
un difensore risponde
Simplicio, il difensore di Aristotele, vede dapprima una contraddizione: si loda l'intelligenza umana come il più grande dono della natura, poi si dice con Socrate che non comprende nulla. Quando Salviati risponde attribuendole una certezza pari a quella di Dio, Simplicio dice: «Questo mi pare un parlar molto resoluto ed ardito.»
David Hume 1748 · attacca la premessa 4Le verità della matematica riguardano relazioni tra idee. Si scoprono con il solo pensiero, e resterebbero vere anche se in natura non esistesse alcun cerchio né alcun triangolo. La loro certezza deriva proprio dal fatto che non dipendono da nulla di esistente. Per i fatti del mondo, il contrario resta sempre possibile, perché non implica alcuna contraddizione: solo l'esperienza può informarci, e non offre una certezza dimostrativa.
Galilei risponde
Le verità della matematica riguardano relazioni tra idee. Si scoprono con il solo pensiero, e resterebbero vere anche se in natura non esistesse alcun cerchio né alcun triangolo. La loro certezza deriva proprio dal fatto che non dipendono da nulla di esistente. Per i fatti del mondo, il contrario resta sempre possibile, perché non implica alcuna contraddizione: solo l'esperienza può informarci, e non offre una certezza dimostrativa.
Albert Einstein 1921 · attacca la premessa 4Einstein, fisico che ha proseguito l'idea di Galileo, la limita egli stesso: «Nella misura in cui le leggi della matematica si riferiscono alla realtà, non sono certe; e nella misura in cui sono certe, non si riferiscono alla realtà.» La matematica moderna separa il formale (che è certo) dal suo contenuto intuitivo. Quando si applica la geometria al mondo, si formula un'ipotesi che l'esperienza può smentire.
Galilei risponde
Einstein, fisico che ha proseguito l'idea di Galileo, la limita egli stesso: «Nella misura in cui le leggi della matematica si riferiscono alla realtà, non sono certe; e nella misura in cui sono certe, non si riferiscono alla realtà.» La matematica moderna separa il formale (che è certo) dal suo contenuto intuitivo. Quando si applica la geometria al mondo, si formula un'ipotesi che l'esperienza può smentire.