I dubbi sul quinto postulato - Euclide (III sec. a. C.) pose all'inizio dei suoi Elementi una serie di "definizioni" (es.: "Un punto è ciò che non ha parti") e "nozioni comuni" (es.: "Aggiungendo (quantità) uguali a (quantità) uguali le somme sono uguali") e cinque "richieste” (postulati). Questi enunciati dovevano fornire tutte le informazioni necessarie per inferire i teoremi e risolvere i problemi della geometria: essi dovevano essere in ogni caso essere accettati, o le dimostrazioni non sarebbero state valide.
Tuttavia, il quinto postulato sembra più un atto di fede che un fatto evidente. Il testo di Euclide può essere reso come segue: "Se una linea retta [c] che cade su due linee rette [a e b] rende gli angoli interni sullo stesso lato meno di due angoli retti, le due linee rette [a e b], se prolungate indefinitamente, si incontrano su quel lato su cui si trovano gli angoli inferiori ai due angoli retti"). La frase sembra oracolare, tuttavia può essere facilmente parafrasata come una ricetta per costruire triangoli, (Figura 1). Ogni triangolo è formato da tre linee rette complanari che si incontrano, a coppie, in tre punti. Dato qualsiasi segmento PQ, si traccia una linea retta a che passa per P e una linea retta b che passa per Q, in modo che a e b giacciano sullo stesso piano; si verifica che gli angoli che a e b formano con PQ su uno dei due lati di PQ hanno una somma inferiore a due angoli retti; se questa condizione è soddisfatta, dovrebbe essere garantito che a e b si incontrano in un punto R sullo stesso lato di PQ, formando così il triangolo PQR. Se il postulato viene rifiutato, diciamo, perché crediamo che il mondo sia finito, e che non ci sia spazio per accogliere il vertice R se gli angoli interni in questione si sommano a poco meno di due angoli retti, allora gran parte del sistema di Euclide della geometria non sarà valido.
Nelle epoche che seguirono, il senso di libertà matematica di Euclide andò perduto e i matematici si aspettavano che la geometria poggiasse su basi evidenti. Le ricerche sul postulato delle parallele iniziarono già al tempo dei greci antichi, continuarono nel mondo islamico e furono riprese in Occidente agli inizi dell’era moderna. Ora, se a è perpendicolare e b è quasi perpendicolare a PQ, a e b si avvicinano molto lentamente su un lato di PQ e non è scontato che alla fine si incontrino da qualche parte su quel lato. Dopo tutto, l'iperbole si avvicina indefinitamente ai suoi asintoti e tuttavia, in modo dimostrabile, non li incontra mai. Nel corso dei secoli, diversi autori hanno tentato una dimostrazione del postulato di Euclide. John Wallis (1616-1703) la derivò dicendo che, dato un triangolo qualsiasi, si può sempre costruirne un altro simile (cioè con gli stessi angoli), di grandezza arbitraria, ma questa ipotesi ha bisogno a sua volta di una prova. Girolamo Saccheri (1667-1733), dalla negazione del postulato di Euclide dedusse una lunga serie di proposizioni, finché non ne raggiunse una che giudicò "ripugnante alla natura della linea retta". Ma la comprensione di Saccheri di questa "natura" era radicata nella geometria euclidea e il gesuita ligure dovette ammettere il suo insuccesso. Anche il matematico alsaziano Johann Heinrich Lambert (1728–1777), dopo aver dimostrato l’irrazionalità di π, aveva affrontato il problema delle parallele e aveva pensato a una specie di geometria sferica, ma era rimasto sconcertato da un concetto che faceva a pugni con l’intuizione comune e con l’ombra dello spazio unico e a priori dell’amico e corrispondente Kant, che bloccò ogni sua possibile speculazione su possibili geometrie non euclidee.
Fu solo agli inizi dell’Ottocento che diventò più facile immaginare che gli Elementi potessero non essere il solo possibile sistema di geometria metrica. Tra i fattori che possono essere indicati per spiegare come l’impensabile divenne pensabile anche al di fuori della comunità dei matematici, fu l’accumularsi di sfortunati tentativi basati su assiomi diversi dal quinto postulato per tentare di dimostrarlo. Il loro fallimento portò alcuni a prendere in considerazione l’idea che in effetti potesse esserci una geometria diversa da quella di Euclide.
Il segnale di questo mutamento fu ad esempio il professore di legge Ferdinand Karl Schweikart (1780-1859), il quale, nel 1818, tramite Gerling, suo collega all'Università di Marburgo, inviò a Carl Friedrich Gauss (1777-1855) una nota su una geometria molto diversa da quella euclidea. Lo scritto di Schweikart fu approvato da Gauss, che rispose che tutte le proprietà della nuova geometria potevano essere derivate una volta che fosse stato assegnato un valore a una costante che compariva nella relazione di Schweikart. Ma ciò che Gauss aveva accettato, e su quali basi, è meno chiaro. Egli aveva già trovato errori in numerose difese degli Elementi di Euclide (compreso quello contenuto negli Eléments de Géométrie del “mostro sacro” Legendre) e, con il passare degli anni diventò completamente fiducioso che esistesse una nuova geometria bidimensionale diversa da quella piana euclidea. Questa geometria poteva essere descritta da formule che egli doveva aver considerato simili a quelle della geometria sferica. Tuttavia non descrisse una geometria tridimensionale di questo tipo, lasciando aperta la possibilità che la geometria bidimensionale che si delineava fosse un qualche tipo di stranezza formale senza senso.
D’altra parte, nella corrispondenza con l’amico Heinrich Olbers, chiarì di non poter attribuire alla geometria euclidea la stessa certezza dell’aritmetica, che considerava un a priori, mentre la geometria era piuttosto come la meccanica, cioè una scienza sperimentale. In altri scritti, vedeva nell'impossibilità di decidere se la geometria euclidea fosse un a priori “la più chiara dimostrazione che Kant aveva torto ad affermare che lo spazio è solo una forma della nostra intuizione”. Anche il nipote di Schweikart, Franz Taurinus (1794-1874), pubblicò nel 1825 un’opera, Theorie der Parallellinien, che contribuì ad alimentare una diffusa incertezza sulla necessità a priori della geometria euclidea.
Il Theorema egregium - Molte di tali questioni epistemologiche ebbero uno sviluppo accelerato con l’opera Disquisitiones generales circa superficies curvas, vera pietra miliare nella storia della geometria differenziale, che Gauss pubblicò nel 1828.
Gauss rifletté profondamente su cosa significasse definire una superficie, e scoprì che sono possibili tre definizioni di generalità successive. Si può supporre che almeno localmente la superficie possa essere data nella forma, z = f (x, y) per alcune funzioni f di x e y. Questo è vero per le regioni della sfera, ma non per tutte. Più in generale, si può assumere che la superficie sia costituita da quei punti (x, y, z) che soddisfano un'equazione della forma f (x, y, z) = 0, come la sfera.
L’oggetto principale dell’indagine di Gauss era tuttavia lo studio delle proprietà che sono indipendenti dalle varie forme che può assumere la superficie (oggi diremmo che cercava le proprietà invarianti per trasformazioni isometriche). Più generalmente, sosteneva Gauss, potrebbe essere che una superficie sia data localmente da tre funzioni, ciascuna di due variabili curvilinee u e v. Queste due variabili devono essere pensate come le coordinate dei punti di un piano e le funzioni x (u, v), y (u, v) e z (u, v) insieme danno le coordinate dei punti sulla superficie nello spazio. A questo punto era fondamentale definire l’elemento ds, cioè la lunghezza di un arco infinitesimo di linea di superficie. Essa si poteva esprimere nella forma:
deove E, F e G sono determinati dalle funzioni di u e v e dalle loro derivate parziali prime e seconde, e soddisfano EG ‒ F2 > 0. Questa formula, detta oggi prima forma fondamentale della superficie permise a Gauss di definire una misura della curvatura della superficie in un punto, e dimostrava che la misura della curvatura dipende solo da E, F e G e dalle loro derivate rispetto a u e v, ma non direttamente dalle funzioni x (u, v), y (u, v) e z (u, v).
L'implicazione, come lo stesso Gauss sottolineò, è che la sua misura della curvatura di una superficie in un punto è intrinseca, perché è interamente determinata dalle misurazioni nella superficie e non coinvolge in alcun modo una terza dimensione normale ad essa. Così le superfici non andavano più considerate come immerse nello spazio tridimensionale, ma piuttosto “non come contorni di corpi, ma come corpi di cui una dimensione è infinitamente piccola”, una specie di velo “flessibile ma inestensibile”.
Per definire la curvatura di una superficie, Gauss si avvalse della rappresentazione sferica. Egli associava a ciascun punto di una superficie S un punto di una superficie sferica di raggio unitario e centro nell’origine di un sistema di assi cartesiani ortogonali. Per ogni regione U di S, egli definiva la “curvatura integrale” come l’area della corrispondente regione f(U) sulla sfera. La misura della curvatura k della superficie in un punto P di U era allora il limite del rapporto:
Sulla figura 2, la regione f(U) sulla sfera è più grande della regione U sulla superficie, anche quando quest’ultima si restringe attorno a P. Ne deriva che il quoziente delle aree e il suo limite sono superiori a 1: la superficie è in effetti “molto curva”. Come si può constatare, più la superficie è “curva” o “appuntita” nell'intorno di P, più l’area di f(U) è maggiore in rapporto all'area U. La maggior parte delle superfici hanno una curvatura non nulla, maggiore o minore di 1. Al contrario, se la superficie S è un piano, tutti i vettori ad esso ortogonali sono paralleli tra di loro; la regione f(U) si riduce allora a un punto, quindi la sua area è nulla e il denominatore della formula è sempre nullo. Di conseguenza, la curvatura di un piano è nulla in tutti i suoi punti P.
Si davano allora tre diversi tipi di punti, a seconda che k fosse maggiore, uguale o minore di zero. La curvatura positiva era quella di un colle, quella negativa quella di una sella, quella nulla corrispondeva al piano.
Fondamentalmente, per definire la curvatura di una superficie in uno dei suoi punti, usiamo l'applicazione di Gauss che trasporta i vettori ortogonali alla superficie fino a una sfera ausiliaria di raggio uguale a 1. Così come ci vogliono solo due coordinate per localizzare qualsiasi punto sul piano euclideo, bastano due coordinate (u, v) per localizzare qualsiasi punto Q della superficie vicino a P. Tuttavia, è anche necessario avere una terza coordinata per rappresentare i vettori ortogonali sulla superficie e definire la regione f(U) che entra nella definizione geometrica della curvatura. Sembra impossibile parlare di curvatura limitata a due soli gradi di libertà interna di cui gode la superficie; la terza dimensione e l'immersione della superficie nello spazio sembrano assolutamente indispensabili; un supporto esterno sembra necessario sia per la comprensione intuitiva della curvatura sia per la sua definizione. Quindi, a prima vista, la curvatura è una nozione "estrinseca", cioè esterna alla superficie, non appartenente alla sua essenza interna e sembra dipendere fondamentalmente dalla sua forma nello spazio. Ma la grandezza di Gauss sta nell’aver saputo intuire la natura "intrinseca" nascosta in questa nozione di curvatura: infatti, grazie alla formula egregia (*), la curvatura della superficie S, i cui punti arbitrari sono identificati da due coordinate (u, v), può essere colta intrinsecamente e bidimensionalmente, senza sfera ausiliaria, senza vettori normali sulla superficie, senza terza dimensione: tale è il notevole paradosso. Ci volle tutta la perseveranza del “principe dei matematici” per compiere la scoperta della curvatura delle superfici sviluppando una formula complessa come (*), attraverso la quale il concetto di curvatura è possibile senza ricorrere a una terza dimensione spaziale.
Gauss studiò anche quando una superficie può essere mappata su un'altra in modo tale che le distanze non siano alterate: se due punti P e Q su una superficie sono distanti una distanza d, allora lo sono anche le loro immagini sull'altra superficie. Egli fu in grado di dimostrare che una condizione necessaria affinché ciò accada è che le curvature nei punti corrispondenti siano le stesse. Ad esempio, il cilindro e il piano sono localmente isometrici; sebbene curvo, il cilindro ha una curvatura zero nel senso di Gauss, proprio come il piano, ed è per questo che è possibile stampare da un tamburo rotante. Si tratta del Theorema egregium, che, detto con le parole di Gauss è:
Se si trasforma una superficie S in un'altra superficie S’ in modo che le lunghezze infinitesime di tutte le curve tracciate sulle superfici siano conservate, allora la curvatura in un punto P della prima superficie, S, è uguale a quella nel punto P’ che corrisponde ad essa sulla seconda superficie S'.
Non si capì subito che l'approccio di Gauss consentiva di definire superfici come regioni del piano con una particolare metrica, che non necessariamente devono essere ottenute dalle superfici nello spazio tridimensionale euclideo. Naturalmente, se si definisce una superficie come l'immagine di una mappa da una regione di R2 a R3, ovviamente essa è in R3. Ma se si definisce una superficie come una regione di R2 con una particolare metrica, allora non ci può essere superficie in R3 a cui corrisponde. La prima persona ad apprezzare questo fatto sembra essere stato Riemann, che, come vedremo, estese questa idea a qualsiasi numero di dimensioni.
L’opera di Gauss si conclude con un’analisi dei triangoli sulle varie superfici, in cui consegue un risultato che esporrà più tardi e che è diventato uno dei suoi teoremi più famosi:
La somma degli angoli di un triangolo formato da linee geodetiche su qualsiasi superficie, è maggiore di 180° se questa superficie è concavo-concava, e meno di 180° se questa superficie è concavo-convessa, di una quantità che ha come misura l'area del triangolo sferico corrispondente ad esso, secondo le direzioni delle normali, contando l'area totale della sfera come 720°.
La geometria iperbolica - Le prime descrizioni completamente matematiche dello spazio in termini diversi da quello di Euclide furono opera di János Bolyai in Ungheria (Appendix scientiam spatii absolute veram exhibens, 1832) e, indipendentemente, da Nicolai Ivanovich Lobacevskij in Russia (Neue Anfangsgründe der Geometrie, 1835, e Geometrische Untersuchungen, 1840).
Dal 1790 Gauss aveva lavorato sull'argomento nella stessa direzione, ma si astenne dal pubblicare i suoi risultati per paura delle reazioni (“le strida dei beoti”) e, forse, perché non si era mai accorto della portata delle sue scoperte finché non venne a conoscenza delle opere di Bolyai e Lobacevskij.
Bolyai cancellò il postulato dal sistema di Euclide; la rimanente parte è la "geometria assoluta", che può essere ulteriormente specificata aggiungendovi il postulato di Euclide o la sua negazione. Tra il 1820 e il 1823, egli preparò, ma non pubblicò immediatamente, un trattato su un sistema completo di geometria non euclidea, che chiamò "geometria immaginaria" (ora conosciuta come geometria iperbolica), la geometria degli spazi curvi su una superficie a forma di sella, dove la somma degli angoli di un triangolo è inferiore a 180° e le rette apparentemente parallele non sono in realtà parallele. Nello spazio curvo, la distanza più breve tra due punti a e b è in realtà una curva, o geodetica, e non una linea retta. Pertanto, gli angoli di un triangolo nello spazio iperbolico sommano a meno di 180° e due linee parallele nello spazio iperbolico divergono effettivamente l'una dall'altra. Sebbene sia facile visualizzare una superficie piatta e una superficie con curvatura positiva (ad esempio una sfera, come una Terra), è impossibile visualizzare una superficie iperbolica con curvatura negativa, a meno che si tratti di una piccola area localizzata. Quindi il concetto stesso di superficie iperbolica sembrava andare contro ogni senso della realtà. In una lettera a suo padre, Bolyai si mostrava meravigliato di se stesso: "Dal nulla ho creato uno strano nuovo universo". Il suo lavoro fu pubblicato solo nel 1832, solo come una breve esposizione (26 pagine) nell'appendice al libro di suo padre intitolato Tentamen, quindi viene spesso chiamato semplicemente Appendice. Leggendolo, Gauss riconobbe chiaramente il genio delle idee del giovane Bolyai, ma rifiutò di incoraggiarlo, e tentò persino di rivendicare le sue idee come proprie. Sebbene avesse un'eccellente educazione nei fatti di base della matematica, la familiarità di Jànos Bolyai con la letteratura specialistica era scarsa, e egli aveva solo una conoscenza piuttosto incompleta delle conquiste contemporanee. Anche dei risultati di Gauss gli era nota solo una piccola parte; per esempio, non aveva mai sentito parlare delle indagini di Gauss sulla teoria delle superfici contenute nelle Disquisitiones generales circa superficies curvas. Né era a conoscenza del lavoro svolto da Saccheri, Lambert, Schweikart e Taurinus. Conobbe le idee di Gauss solo dopo la pubblicazione dell'Appendice, e lesse una (singola) opera di Lobacevskij molto più tardi, nel 1848. Inoltre, scoraggiato dalla notizia che Lobacevskij aveva pubblicato qualcosa di molto simile due anni prima, Bolyai si isolò dal mondo matematico e non pubblicò più nulla. Anche se in vita pubblicò solo le 24 pagine dell'appendice, Bolyai lasciò più di 20.000 pagine di manoscritti matematici quando morì (compreso lo sviluppo di un rigoroso concetto geometrico di numeri complessi come coppie ordinate di numeri reali).
Anche Lobacevskij costruì sulla negazione del postulato di Euclide un sistema alternativo di geometria, che egli soprannominò "immaginario" e tentò vanamente di verificare su scala astronomica calcolando la somma degli angoli interni dei triangoli formati da tre corpi celesti (in particolare la Terra, il Sole e Sirio). Questo tentativo di verifica sperimentale era coerente con le sue idee: la “verità” sulla geometria poteva “essere controllata in modo simile alle atre leggi fisiche, soltanto da esperienze”. Egli sosteneva che “nella natura noi abbiamo cognizione, propriamente, soltanto del movimento, senza il quale le sensazioni sensoriali sono impossibili”, perciò i concetti geometrici non sono altro che “creazioni artificiali della nostra mente, tratte dalle proprietà del movimento; ecco perché lo spazio in sé, separatamente per noi non esiste”: da far rabbrividire Kant! Da queste premesse traeva un’idea di sorprendente modernità: “talune forze della natura seguono una geometria, altre un’altra loro particolare geometria”.
Lobacevskij sosteneva che “Le linee che escono da un punto, o intersecano una data retta nel medesimo piano, oppure non si incontrano mai con essa, per quanto vengano prolungate”. Tra queste figuravano le parallele alla retta data, che costituivano così il passaggio tra le rette secanti e quelle divergenti. Poi introduceva il concetto di angolo di parallelismo μ relativo a un segmento p di perpendicolare, definito come “l’inclinazione di una linea rispetto alla perpendicolare a un’altra, parallela alla prima”.
La costruzione presentata sopra per spiegare il quinto postulato di Euclide può anche essere usata per chiarire la sua negazione. Si disegna la retta a attraverso il punto P ad angolo retto con il segmento PQ. Se il postulato di Euclide viene negato, ci sono innumerevoli linee rette che passano per Q, complanari con a, che formano angoli acuti con PQ ma che non incontrano mai a. Consideriamo l'insieme di numeri reali che corrispondono alla grandezza di questi angoli acuti. Lasciamo che il massimo limite inferiore di questo insieme sia μ. Evidentemente, μ>;0. Ci sono esattamente due linee rette attraverso Q, complanari con a, che formano un angolo di dimensione μ con PQ. (Figura 3) Chiamiamole b1 e b2. Né b1 né b2 incontrano a, ma a incontra ogni retta che passa per Q che è complanare con a e forma con PQ un angolo inferiore a μ. Gauss, Lobacevskij e Bolyai, all'insaputa l'uno dell'altro, concordarono nel chiamare b1 e b2 le parallele ad a passanti per Q. μ l’angolo di parallelismo per il segmento PQ. La sua dimensione dipende dalla lunghezza di PQ e diminuisce all'aumentare di quest’ultimo.
Supponiamo che l'angolo di parallelismo per PQ sia di mezzo angolo retto. In questo caso, b1 e b2 formano un angolo retto in Q e quindi abbiamo due linee rette reciprocamente perpendicolari sullo stesso piano di a, che non incontrano a.
L’angolo di parallelismo era fondamentale: se era retto, si aveva l’ordinaria geometria; se invece era minore di un retto si aveva la geometria “immaginaria”. In questa seconda ipotesi, “possiamo rappresentarci una curva, che chiameremo oriciclo”, per la quale due parallele qualsiasi a una retta data sono inclinate dello stesso angolo rispetto a una corda. In pratica, l’oriciclo può essere considerato come una curva ortogonale a un fascio di rette parallele: nella geometria ordinaria tale curva è una retta, mentre in quella “immaginaria” si può pensare come il limite di un cerchio quando il suo centro si allontana all'infinito lungo la direzione delle rette del fascio (Figura 4). Allora, per due oricicli relativi al medesimo fascio di parallele, “il rapporto di loro due archi s e s’, compresi tra due parallele, dipende dalla loro distanza, in modo che s = s’ex”. Se e=1 abbiamo la geometria euclidea, dove le parallele sono equidistanti in quanto s = s’; nella geometria lobacevskiana invece vale e maggiore di 1. Con queste considerazioni, egli poteva definire in modo puramente geometrico un’unità di misura assoluta dei segmenti, che corrisponde alla distanza x tra due oricicli relativi allo stesso fascio di parallele, con il rapporto tra s e s’ uguale alla base e dei logaritmi naturali.
In modo analogo, Lobacevskij introduceva la nozione di orisfera come "il limite al quale tende la sfera all’aumentare del suo raggio”. Se gli angoli di parallelismo sono retti (come nel caso euclideo), l’orisfera è un piano, altrimenti essa è una superficie curva, sui cui la geometria è tuttavia una geometria sferica standard. Basandosi su questo, Lobacevskij sosteneva che ogni contraddizione che fosse sorta nella sua geometria sarebbe inevitabilmente stata accompagnata da una contraddizione nella geometria euclidea.
La geometria di Lobacevskij abbonda di teoremi sorprendenti (molti dei quali erano già stati trovati da Saccheri). Eccone alcuni: i tre angoli interni di un triangolo si sommano a meno di due angoli retti. La differenza o "difetto" è proporzionale all'area del triangolo. Quindi, nella geometria lobacevskiana, triangoli simili sono congruenti (Figura 5). Inoltre, se un triangolo è diviso in triangoli più piccoli, il difetto dell'insieme equivale alla somma dei difetti delle parti. Poiché il difetto non può essere maggiore di due angoli retti, l'area dei triangoli ha un limite finito. Se un quadrilatero, per costruzione, ha tre angoli retti, il quarto angolo è necessariamente acuto. Quindi, nella geometria lobacevskiana, non ci sono rettangoli. Tutta la teoria euclidea della similitudine decadeva.
Naturalmente è vero che nessun insieme di deduzioni consistenti nella nuova geometria escludeva la possibilità che esistesse una contraddizione, ma l’affascinante relazione della nuova geometria con quella euclidea sferica, e l’esistenza di formule trigonometriche per i triangoli, suggeriva con forza che la nuova geometria fosse come minimo consistente.
Non c’era solo il fatto che esistevano le formule della geometria sferica, ma esse implicavano una formulazione alternativa della geometria, della quale quella descritta da Euclide negli Elementi avrebbe potuto essere un caso particolare. Se ci potesse essere stato un altro modo di definire la geometria, che portava a queste formule in diversi casi, si sarebbe aperta la via a ripensare tutte le domande sulla geometria sollevate dall'esame critico. La persona più adatta per far ciò negli anni ‘30 e ‘40 era Gauss. Egli conosceva benissimo l’opera di Bolyai e Lobacevskij, e la sua geometria differenziale gli forniva i mezzi per procedere, ma, curiosamente, egli non lo fece. Nei primi anni ‘40 scrisse alcune note che mostrano che poteva mettere in relazione la nuova geometria bidimensionale con la geometria di una superficie a curvatura negativa costante, ma egli non trasse nulla di questa osservazione, o almeno non la pubblicò.
La nuova geometria poneva una sfida radicale a quella euclidea, perché negava ad essa la sua miglior pretesa di certezza, cioè che era l'unico sistema logico per discutere della geometria in generale. Essa sfruttò anche la tensione nota agli esperti tra i concetti di più diretto e di più breve. Ma per altri versi era convenzionale. Non offriva nuove definizioni di concetti familiari come rettilinearità o distanza, concordava con la geometria euclidea sugli angoli, offriva semplicemente un'intuizione diversa sulle linee parallele basata su un’idea differente del comportamento su lunghe distanze delle linee rette. I suoi sostenitori non offrirono una conclusione scettica. Bolyai e Lobacevskij non dissero: "Esistono due geometrie logiche ma incompatibili, quindi non potremo mai sapere cosa è vero". Mantennero invece la speranza che gli esperimenti e le osservazioni avrebbero dato una risposta. Il prezzo epistemologico che si sarebbe dovuto pagare se le osservazioni astronomiche fossero state a favore della nuova geometria sarebbe stato, in un certo senso, lieve: sarebbe stato necessario dire che le rette hanno una proprietà dopo tutto inaspettata, ma rilevabile solo su lunghe distanze o con potenti strumenti, non disponibili allora, per ridurre gli errori di misurazione. Sicuramente molti dei teoremi della geometria bidimensionale avrebbero dovuto essere rielaborati, e le loro familiari controparti euclidee sarebbero apparse solo come ottime approssimazioni. Ma ciò è ampiamente paragonabile alla situazione in cui la meccanica newtoniana si trovò dopo l'avvento della relatività speciale.
La geometria descritta da Gauss, Lobacevskij e Bolyai ricevette poca attenzione prima della fine degli anni '60 del XIX secolo. Quando i filosofi se ne accorsero, le loro opinioni furono divise. Alcuni la consideravano un esercizio formale di deduzione logica, senza alcun significato fisico o filosofico, che impiegava parole ordinarie (come "retta" o "piano") con un significato nascosto. Altri la accolsero come una prova sufficiente che, contrariamente alla tesi allora dominante di Kant, la geometria euclidea non fornisce alcun pre-requisito dell'esperienza umana e che la struttura geometrica dello spazio fisico è aperta alla ricerca sperimentale. Altri ancora concordavano sul fatto che le geometrie non euclidee fossero alternative legittime, ma sottolinearono che la progettazione e l'interpretazione degli esperimenti fisici presuppongono generalmente una geometria definita e che questo ruolo era stato anticipato dal sistema di Euclide. Per i matematici la nuova geometria sarebbe probabilmente stata solo una strana curiosità, se non si fosse trovata una nicchia all'interno delle geometrie proiettiva e differenziale, le due correnti principali della ricerca geometrica del diciannovesimo secolo.
Nessun commento:
Posta un commento