Following his uncle's academic discipline, Taurinus studied law at Heidelberg, Giessen and Göttingen. From 1822 he lived in Cologne as a man of independent means able to devote himself entirely to research without students to teach. Two years before he went to live in Cologne his uncle became professor of law at the University of Königsberg. the two corresponded on mathematical topics and, largely due to Schweikart's influence, he began to investigate the problem of parallel lines and Euclid's fifth postulate:-
That, if a straight line falling on two straight lines make the interior angles on the same side less than two right angles, if produced indefinitely, meet on that side on which are the angles less than the two right angles.In 1697 Girolamo Saccheri assumed the fifth postulate is false and attempted to derive a contradiction. Of course, although he did not intend it to be so, he was then studying non-euclidean geometry. In 1766 Lambert followed a similar line to Saccheri. Lambert noticed that, in this new geometry where the sum of the angles of a triangle was less than 180q, the angle sum of a triangle increased as the area of the triangle decreased. Schweikart himself is famed for investigating this new geometry which he called astral geometry. This is described in .
Taurinus not only corresponded on mathematical topics with his uncle but he also corresponded with Gauss about his ideas on geometry. At first Taurinus tried to prove that Euclidean geometry was the only geometry but, in 1826, he accepted the lack of contradiction in other geometries. He published Theorie der Parallellinien in Cologne in 1825 and in the following year he published Geometriae prima elementa also in Cologne.
In this last mentioned publication Taurinus accepts that a third system of geometry exists in which the sum of the angles of a triangle is less than 180q. He called this geometry "logarithmic-spherical geometry" and he recognised the lack of a contradiction in this geometry as meaning that it was internally consistent. He had developed a non-euclidean trigonometry which he applied to a number of elementary problems.
Taurinus came up with the important idea that elliptic geometry could be realised on the surface of a sphere, an idea taken up by Riemann. He also realised that there were an infinite number of non-euclidean geometries and this, Taurinus claimed, was highly significant. It showed that euclidean geometry held a unique dominating role. This is an interesting sideways move since his original aim had been to prove that euclidean geometry was the unique geometry. Finding that this was not so, he still wanted to demonstrate that euclidean geometry was "the" geometry.
Haas writes in :-
Taurinus's works on the problem of parallel lines. like those of his uncle, Schweikart, represent a middle stage in the historical development of this problem between the efforts of Saccheri and Lambert, on the one hand, and those of Gauss, Lobachevsky, and Bolyai, on the other.
Article by: J J O'Connor and E F Robertson