Matematica curiosa - Martufi, Gabriele - Altervista

Da modelli e da esperimenti è venuto fuori che il tempo medio affinché un
volo passi al di sotto di n, è di 3,49265. Bisogna comunque dimostrare che
il modello è corretto.
Il record convalida che è estremamente probabile di non trovare numeri
che non verificano la congettura. Ma ai matematici non basta e per essi è
valida solo se si trova una dimostrazione che, usando ipotesi certe e
proprietà note, convaliderà che è valida per qualsiasi numero. Potrebbe
sempre capitare che un numero grandissimo non verifichi la congettura.
Il famoso matematico Paul Erdös affermava che “I matematici non sono
pronti a risolvere questo tipo di problema”.
Notizie ricavate da Newton “Che numeri” di Silvana Leggerini
Come ci impastano la bocca
queste piste di polvere
per vent’anni o per cento
e come cambia poco una sola voce.
Nel coro del vento
ci si inginocchia su questo sagrato immenso
dell’altipiano barocco d’oriente,
per orizzonte stelle basse,
per orizzonte stelle basse
oppure niente.
Ivano Fossati
Che cos’è un numero perché un uomo possa conoscerlo? E che cos’è
un uomo perché possa conoscere il numero?
W. McCulloch
La più semplice formalizzazione dell’aritmetica è costituita dagli assiomi
di Peano. Sorvolando su uno stretto linguaggio matematico, essi sono:
● 1 è un numero
● Ciascun numero n possiede un solo successore, che si indica con n+1.
● Ciascun numero, a partire da 1, possiede un predecessore
● Due numeri, diversi tra loro, non possono avere lo stesso predecessore.
● Assioma di ricorrenza: quando una proprietà viene verificata per il
numero 1 e quando, se si verifica per un numero qualsiasi n, si verifica
193