Born: 15 November 1794 in Bad König, German
Died: 13 February 1874 in Cologne, Germany

Franz Adolph Taurinus's father was a court official working for the counts of Erbach- Schöneberg. His mother was Luise Juliane Schweikart who had a younger brother F K Schweikart, only fourteen years of age when Taurinus was born. F K Schweikart went on to become professor of law at the University of Königsberg and it is fair to say that Taurinus's uncle Schweikart played a major role in influencing his ideas and academic achievements.

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 180^q, 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 [3].

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 180^q. 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 [1]:-

1. K Haas, Biography in Dictionary of Scientific Biography (New York 1970-1990). 
   http://www.encyclopedia.com/doc/1G2-2830904257.html

Books:

1. F Engel and P Stäckel, Die Theorie der Parallellinien von Euklid bis Gauss (Leipzig,1895).
2. J Gray, Ideas of space : Euclidean, non-Euclidean, and relativistic (New York, 1979).
3. A Dou, Origins of non-Euclidean geometry : Saccheri, Lambert and Taurinus (Spanish), in History of mathematics in the XIXth century Madrid, 1991 1 (Madrid, 1992), 43-63.
4. S Xambo, Non-Euclidean geometry : from Euclid to Gauss (Catalan), Butl. Sec. Mat. Soc. Catalana Ciènc. Fis. Quim. Mat. (14) (1983), 64-97.