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)
3 commenti:
Sinceramente questa cosa potrebbe spaventare!
prof ha corretto le verifiche di seconda?
concordo con chessman...è terrificante! ...resto della mia opinione: ce n'è di gente che non ha niente da fare...
Posta un commento