In un tentativo di creare la Matematica Perfetta (che comunque non si crea, dato che esiste già, ma questa è un'altra storia), Bertrand Russell e Alfred North Whitehead produssero un'opera colossale, i Principia Mathematica. Una completa formalizzazione dei fondamenti della matematica, in cui tutte le proposizioni vere sono dimostrabili, e in cui non possono essere dimostrate (ma nemmeno scritte) proposizioni paradossali.
A pagina 379, punto numero *54.43, si trova la dimostrazione del fatto che 1+1=2. O meglio, si trova la dimostrazione di quella formula ammesso che sia stata definita l'addizione.
Tutta l'opera è disponibile in rete, qua. La mirabile dimostrazione è invece qua (circa a metà pagina).
Non è carino in questa sede notare che poi arrivò Kurt Gödel a dire a tutti che la Matematica Perfetta non si può creare (si può, solo che non c'è abbastanza spazio su questo margine per mettercela tutta).
(via Good Math, Bad Math)
Sinceramente questa cosa potrebbe spaventare!
RispondiEliminaprof ha corretto le verifiche di seconda?
RispondiEliminaconcordo con chessman...è terrificante! ...resto della mia opinione: ce n'è di gente che non ha niente da fare...
RispondiElimina