**Paul Finsler**'s father was a Swiss merchant from an old Zürich family. His mother's father was a photographer. One of his ancestors was Johann Caspar Lavater (1741-1801), the Swiss writer, philosopher and theologian. Paul had a brother Hans Finsler who was born in Heilbronn on 7 December 1891. Hans became a famous photographer and died on 3 April 1972 in Zürich. Paul also had a sister Anne Finsler who became a mathematician and wrote

*Volumen und Oberfläche von Kreuzkern und Kugel*Ⓣ (1954).

Paul attended a grammar school in Urach, then, between 1908 and 1912, he attended a secondary school, the Real Gymnasium in Cannstatt, which emphasised science in its teaching. After leaving school he entered the Technische Hochschule in Stuttgart where Wilhelm Kutta was among his teachers. Kutta had been appointed as an ordinary professor of analysis and analytical geometry at the Technische Hochschule in Stuttgart in 1911, the year before Finsler began his studies there. Finsler also attended lectures at Stuttgart by Rudolf Mehmke (1857-1944). Mehmke, who had been a student at the Technische Hochschule in Stuttgart before attending the universities of Berlin and Tübingen, had been appointed as Professor of Geometry at the Technische Hochschule in Stuttgart in 1894. Mehmke was an expert in the vector calculus, in particular he applied Hermann Grassmann's methods to the geometry of circles.

Leaving Stuttgart in 1913, Finsler entered Göttingen University to undertake graduate studies. Among his teachers at Göttingen were a host of top mathematicians including Erich Hecke, David Hilbert, Felix Klein, Edmund Landau, Carl Runge, Ludwig Prandtl, Max Born and Constantin Carathéodory. Finsler' doctoral dissertation was supervised by Carathéodory on curves and surfaces in general spaces. This thesis, entitled *Über Kurven und Flächen in allgemeinen Räumen* Ⓣ (1918), secured Finsler a name for himself as a differential geometer. The importance of this work can clearly be seen from the fact that the thesis was printed in unchanged form in 1951 with a detailed bibliography by H Schubert. Alexander Ostrowski wrote the Preface to the reprinted thesis [17]:-

Herbert Busemann reviewed this reprint [6]:-In the year1918Paul Finsler produced his inaugural dissertation, 'Über Kurven und Flächen in allgemeinen Räumen', which as a result has had a very lasting influence, something which happens to first works only in rare cases. A large number of treatises and also some books have since been written about "Finslerian geometry" inaugurated in Finsler's dissertation, and it has already become clear that this ground-breaking work is worthy in adding to the Swiss geometric tradition that Steiner and Schläfli began. Since Finsler's dissertation has never been published by the book trade, it has been enjoyed by only a few mathematicians who were Finsler's friends. It is therefore the decision of the publisher Birkhäuser to reproduce this work in facsimile and augment it with bibliographical notes ...

"Finsler spaces" and "Finsler manifolds" became standard terminology after the publication of Elie Cartan's bookBut the book will be more than a classic in a geometer's library. The reviewer concludes from his own sad experience that there must be many instances where apparently new results were found to be already in Finsler's thesis after the latter finally became available through interlibrary loan. Moreover, there are many ideas which may facilitate later work. ... In addition to the thesis the present edition contains a comprehensive list of books and papers concerning Finsler spaces(until1949)compiled by H Schubert. It has a wide scope and comprises references to tensor calculus, ordinary and Riemannian geometry, the geometry of paths, the calculus of variations, spaces of infinite dimension, which are ordinarily not considered as contributions to Finsler spaces.

*Les espaces de Finsler*Ⓣ in 1934. A Finsler space is a generalisation of a Riemannian space where the length function is defined differently and Minkowski's geometry holds locally.

Despite the importance of this work, differential geometry was not Finsler's research topic for long since he moved to take up set theory. Finsler's habilitation thesis was submitted to the University of Cologne in 1922 and the following year he gave his inaugural lecture *Gibt es Widersprüche in der Mathematik?* Ⓣ. This attempted to remove paradoxes, as stated in [1]:-

Now Finsler had another passion in addition to mathematics, namely astronomy. He was an amateur observer and he made regular observations. On 15 September 1924 Finsler was in Bonn when, with a pair of binoculars, he discovered a comet which is now named Comet C / 1924 R1 (Finsler). On the following day he reported his discovery to the International Astronomical Union headquarters in Copenhagen. The comet only made a short appearance and, at its brightest, was only faintly visible to the naked eye. After Finsler's report it was observed at several observatories on 19 September. For his discovery, Finsler received the Donohoe Comet Medal from the Astronomical Society of the Pacific.Concerning ... Russell's paradox, Finsler points out that one needs to distinguish between satisfiable and unsatisfiable circular definitions. Russell's definition of the set of all sets which do not contain themselves is a non-satisfiable circular definition.

In 1927 Finsler was appointed to the University of Zürich, where the professor was Andreas Speiser. Speiser, who had been appointed as an Ordinary Professor at Zürich in 1917, undertook research in number theory, group theory, and the theory of Riemann surfaces but was also interested in philosophy, particularly in Plato's philosophy. At Zürich, in addition to his work on set theory Finsler also worked on differential geometry, number theory, probability theory and the foundations of mathematics. He taught regular classes, four hours a week, on descriptive geometry. He became an Ordinary Professor at the University of Zürich in 1944 after Andreas Speiser moved to the University of Basel. Soon after this Finsler began to teach the course on the introduction to the calculus.

Finsler's set theory was in the spirit of Georg Cantor. Both were Platonists and as described in [1]:-

In 1926 Finsler published the paperHe believed in the reality of pure concepts. Together they form the purely conceptual realm which encompasses all mathematical objects, structure and patterns. ... Mathematicians do not invent or construct their structures and propositions, they recognise or discover, how these objects in the conceptual realm are interrelated with each other.

*Formale Beweise und Entscheidbarkeit*Ⓣ and also the first part of a major work on set theory

*Über die Grundlegung der Mengenlehre. Erster Teil: Die Mengen und ihre Axiome*Ⓣ. He intended to publish the second part as a continuation of his theories but his plan changed when the first part came under attack. In the end he wrote part two as a defence of part one in 1965 rather than what he originally intended. We quote from [1]:-

Of course, as mentioned above, the set paradoxes were of particular significance to Finsler. Again quoting from [1]:-... Finsler develops his approach to the paradoxes, his attitude towards formalised theories and his defence of Platonism in mathematics. He insisted on the existence of a conceptual realm within mathematics which transcends formal systems. From the foundational point of view, Finsler's et theory contains a strengthened criterion for set identity and a coinductive specification of the universe of sets. ... Combinatorially, Finsler considers sets as generalised numbers to which one may apply arithmetical techniques.

[In 1931 Kurt Gödel publishedFinsler]maintained that consistency is sufficient for the existence of mathematical objects. Furthermore, he thought that the antinomies which led to the foundational crisis, could be solved without the notion that existence is equivalent to formal constructability.

*Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme*Ⓣ in which he proved fundamental results about axiomatic systems, showing that in any axiomatic mathematical system there are propositions that cannot be proved or disproved within the axioms of the system. In particular the consistency of the axioms cannot be proved. Finsler wrote to him on 11 March 1933, asked for a copy of his 1931 paper but claimed priority based on his 1926 paper [3]:-

Now Gödel had not been aware of Finsler's work when he wrote his 1931 paper but, after receiving Finsler's letter, he read the 1926 paper and immediately saw that it had major problems. However, he didn't want to offend Finsler so, in his reply, he merely pointed out the difference in their approach but said the Finsler's system was "not really defined at all". Finsler did not react well to criticisms that came from Gödel and other logicians. He never accepted the errors that were pointed out to him and either showed an inability to understand their arguments or simply a refusal to accept them. He claimed that a system didn't have to be sharply defined, rather it was enough to "be able to accept it as given and to recognise a few of its properties".In contrast to Gödel, Finsler made no attempt(and saw no need)to give a precise specification of the syntax of his "formal" language; and since metamathematical considerations are meaningless in the absence of restrictions on linguistic resources, Gödel's results appeared to him as mere specialisations of those he had already obtained. He could not understand, therefore, why Gödel's paper had attracted widespread notice while his had not.

In 1937 L Locher wrote the paper [16] which had the purpose of making Finsler's work on the foundations of mathematics better known. Alonso Church reviewed Locher's paper in [8] where he writes:-

[Finsler continued to develop his ideas despite the criticisms. He publishedFinsler's]paper contains a noteworthy anticipation of the since famous incompleteness theorem of Gödel. The proof given is not entirely satisfactory - there is a tacit assumption of the presence of a formal symbol for the meaning-relation between a formula and that which it denotes - but it is capable of correction, in the light of later developments, by explicitly introducing Gödel numbers and utilizing such partial meaning-relations as can be shown to exist within symbolic systems of the usual kind.

*Gibt es unentscheidbare Sätze?*Ⓣ (1944) which again came in from strong criticism by Alonso Church in [10]. We quote here a brief, non-technical, part of Church's review:-

In [11] a letter which Gödel wrote, but never sent, is quoted giving his opinions of Finsler's work on formal decidability:-A solution of the antinomies(that of the liar and others), for the purposes of formal logic, and especially of mathematics, must do more than offer an explanation why certain arguments are unsound, including those which lead to the antinomies. Namely it must effectively certify other arguments, in adequate variety, as sound, free in particular of the unsoundnesses to which the antinomies are ascribed. For a supposed proof is actually no proof at all if subject to refutation at any later time by the discovery of antinomy(as happened in the case of Cantor's apparently valid proof that the set of all ordinal numbers is well-ordered in order of magnitude). - It seems to the reviewer that Finsler's solution of the antinomy of the liar is not of the required kind: it does not provide a test for proposed proofs, but rather explains away the antinomy after the fact.

For a list of all Finsler's mathematical publications, see THIS LINK.As for work done earlier about the question of formal decidability of mathematical propositions, I know only a paper by Finsler ... . However, Finsler omits exactly the main point which makes a proof possible, namely restriction to some well-defined formal system in which the proposition is undecidable. For he had the nonsensical aim of proving formal undecidability in an absolute sense. This leads to[his]nonsensical definition[of a system of signs and of formal proofs therein]... and to the flagrant inconsistency that he decides the "formally undecidable" proposition by an argument ... which, according to his own definition. ... is a formal proof. If Finsler had confined himself to some well-defined formal system S, his proof ... could[with the hindsight of Gödel's own methods]be made correct and applicable to any formal system. I myself did not know his paper when I wrote mine, and other mathematicians or logicians probably disregarded it because it contains the obvious nonsense just mentioned.

The reader will see from the list of Finsler's publications that he undertook research on topics other than differential geometry and the foundations of mathematics. For example, he published *Formes quadratiques et variétés algébriques* Ⓣ (1928) and *Über die Primzahlen zwischen n und *2*n* Ⓣ (1945).

On 4 July 1937, while in Zürich, Finsler discovered another comet, now named Comet 1937 f (Finsler), and immediately informed Copenhagen. It was not visible to the naked eye when discovered but became a bright comet later that year. H M Jeffers [15] writes:-

On 31 July 1937 Finsler's discovery of the comet made the front page of theThe discoverer of this comet was Professor P Finsler, of the Mathematics Department of the University of Zürich, in Switzerland. On the night of July3-4he was examining the sky with a pair of large field glasses, and found the faint nebulous spot in the constellation Perseus. Further watching with a larger instrument showed that the object moved, and on July4the announcement of the finding of the new comet was sent out. This is Professor Finsler's second comet discovery; the first was in1924.

*Chicago Daily Tribune*under the headline "Heads Up! You May See New Comet Tonight". His comet discoveries certainly gained Finsler far wider recognition than his mathematical discoveries. There was another publication by Finsler which caused something of a sensation, namely his article

*Vom Leben nach dem Tode*Ⓣ which he published in 1958. Many who read this article probably misunderstood what Finsler was trying to say. In it he examined questions about eternal life, birth and death, the individual soul and the universal soul. He was worried about the course of world history and the lack of awareness about the fact that we control our own destiny. He argued that since we can't escape from the world, we must make it a place we want to live in.

Herbert Gross was a student of Finsler's and wrote the obituary [14]. He writes there:-

In 1959 Finsler retired from his professorship in Zürich and was made an honorary professor. He continued to live in Zürich and he died in that city when he was on his way to the 'Dies Academicus'. The University of Zürich was officially founded on 29 April 1833, and the first 'Dies academicus' was celebrated four years later. That day has been celebrated every year ever since with the President of the University delivering an address, welcoming guests of honour, and awarding honorary doctorates to distinguished researchers and teachers.Finsler possessed to the same degree an immense logical sharpness, mathematical ability and a fine sense of humour. It was an experience as a mathematics student to hear his lectures. His style was reminiscent of the deep and witty remarks of Gottlob Frege. The most valuable thing Finsler has given to many of his students, is a great confidence in the ability of human reason and a distrust of any mathematical formalism, which pretends to be more than a shorthand notation, compared to that which can be expressed in mathematical thoughts and ideas.

**Article by:** *J J O'Connor* and *E F Robertson*