Utente anonimo
nessun oggetto della modifica
Nessun oggetto della modifica |
|||
Riga 137:
n = 0
== Teorema di Taufer ==
È abbastanza conosciuto il Teorema di Taufer, secondo il quale "Esiste ed è unica una classe di teoremi dimostrati e falsi". È altresì dimostrato il seguente corollario del Teorema: "Lo stesso Teorema di Taufer fa parte di quella classe di enunciati di cui esso garantisce l'esistenza". Tuttavia è andata perduta la dimostrazione, in quanto Taufer, sulla copia di "Che cos'è la matematica?" su cui aveva annotato le proprie scoperte, ha lasciato scritto che la mirabile dimostrazione di tale enunciato è troppo lunga per il margine su cui è scritta. Forse Taufer, nel momento in cui lo ha scritto, drogato com'era, si sentiva un grande matematico del calibro del celebre Pierre de Fermat. È comunque accertato che la dimostrazione, per quanto sconosciuta, è valida; la qual cosa non gli è mai stata perdonata da Buzz nè da Malu.
== Utilità della matematica ==
| |||