Gauss Carl Friedrich (1777-1855), nasce a Brunswick (Germania) da famiglia modesta; riceve nel 1792 una borsa dal duca di Brunswick che gli permette di studiare al Collegium Carolinum nella stessa città e poi all’Università di Gottinga (1795-1798). Ottiene nel 1799 il dottorato all’Università di Helmstedt e accetta, nel 1807, il posto di direttore dell’osservatorio di Gottinga, dove rimane fino alla morte. Dal 1818 al 1825 dirige i lavori geodesici dell’Hannover. Genio universale al pari d’Eulero, ma di maggiore profondità, ha rinnovato tutti i campi della matematica, purtroppo senza pubblicare tutte le sue scoperte. è considerato il primo matematico giunto alla precisa e chiara concezione di una geometria indipendente dal quinto postulato, ma egli non pubblicò i risultati raggiunti, per non suscitare le proteste e le risa di coloro che non sarebbero stati in grado di valuatare tale scoperta, per timore degli "strilli dei beoti". Sembra che Gauss abbia scritto a Bolvai padre, per comunicare i suoi risultati; quest'ultimo pare sia impazzito nello studio del quinto postulato, di cui aveva intuito l'indipendenza dai primi quattro postulati, a tal punto da imporre per testamento al figlio Janos di non occuparsi di tale problema; ma il figlio arrivò alla costruzione di una nuova geometria non cercando di dimostrare il quinto postulato ma negandone la validità.

Dopo un iniaziale tentativo di dimostrare il quinto postulato, Gauss arriva (1831) gradualmente alla convinzione che esiste una geometria che nulla ha in sè di contraddittorio. Ma, a causa della discrezione con cui Gauss mosse questi primi, seppur tanto sicuri passi su un terreno così pericoloso e ignoto, tutto l'onore della scoperta fu tributato poco dopo a due matematici più che giovani che, all'insaputa uno dell'altro ed in lontani paesi, giunsero quasi contemporaneamente ad analoghi risultati: l'ungherese Janos Bolvai (Kolosvàr 1802-Marosvàsàrhely 1860) ed il russo Nicolaj Ivanovic Lobacevskij (Makarèv 1793-Kazan' 1856), detto "il Copernico della geometria" perchè come Copernico riuscì con la sua teoria eliocentrica del sistema planetario a far cadere una teoria (quella geocentrica di Tolomeo) che durava da diversi secoli, così egli riusci a far cadere una teoria (la geometria euclidea) che per duemila anni era stata considerata l'unica possibile.

Si mise in crisi cosí la certezza che la geometria euclidea fosse l'unica ad avere validità sia sul piano dell'esperienza ordinaria, sia sul piano logico; infatti del quinto postulato, valido per l'esperienza ordinaria, si può fare a meno sul piano logico. E su questa convinzione poggiano le costruzioni di Bolvai e di Lobacevskij