
L’origine della razionalità matematica | Tangente
L’origine della razionalità
L’origine della formalizzazione risale all’antica Grecia, con il progetto di costruire un edificio matematico coerente di cui Euclide è il massimo rappresentante.


L’origine della formalizzazione risale all’antica Grecia, con il progetto di costruire un edificio matematico coerente di cui Euclide è il massimo rappresentante.


Articoli consigliati per te.

Il quinto postulato di Euclide è diverso dagli altri, sembra dimostrabile. Eppure la sua negazione conduce ad altre geometrie, dette non euclidee. Hanno il loro posto nell’edificio matematico e trovano applicazioni tanto in aritmetica, come mostrò Poincaré, quanto nella relatività generale.

Alcuni risultati profondi, come il teorema di Pitagora, precedono la consapevolezza dell’esistenza di una scienza matematica. Al contrario, sono proprio questi risultati, una volta teorizzati e dimostrati, a dare origine alla nascita di tale scienza.

Due postulati degli Elementi di Euclide esprimono la visione ideale di riga e compasso, ereditata dal mondo delle idee di Platone. Fu in larga parte su questi due postulati che il sapiente alessandrino costruì la geometria piana e le costruzioni che ci ha lasciato in eredità.

Per due millenni si cercò di dimostrare il quinto postulato di Euclide. Adrien-Marie Legendre credette di aver trovato una dimostrazione, prima di accorgersi che la sua prova presupponeva implicitamente la verità di quello stesso postulato. Un ragionamento circolare…
Discussione
Accedi per pubblicare un commento e confrontarti con gli altri lettori.
Nessun commento per ora. Sii il primo a commentare.