Mathématiciens

Ligne de temps Photos Argent Timbres Croquis Recherche

Paul Finsler

Date de naissance:

Endroit de naissance:

Date de la mort:

Endroit de la mort:

11 April 1894

Heilbronn, Neckar, Germany

29 April 1970

Zurich, Switzerland

Présentation
ATTENTION - traduction automatique de la version anglaise

Paul Finsler assisté à un lycée de Urach, entre 1908 et 1912, il a assisté à une école secondaire de Cannstatt. Après avoir quitté l'école il est entré à la Technische Hochschule de Stuttgart où Kutta a été parmi ses professeurs. Puis, en 1913, il est entré à Göttingen entreprendre des études supérieures. Parmi ses professeurs à Göttingen ont été un hôte de haut mathématiciens y compris Hecke, Hilbert, Klein, Edmund Landau, Runge, né et Carathéodory.

Finsler "a rédigé une thèse de doctorat sous la direction de Carathéodory dans les courbes et les surfaces des espaces en général. Cette garantie Finsler un nom pour lui-même comme une différence de géomètre. En fait en 1934 Cartan a écrit un livre Les espaces de Finsler Finsler qui a établi son nom dans la géométrie différentielle. Finsler Un espace est une généralisation de Riemannian un espace où la longueur fonction est définie différemment et Minkowski 's géométrie détient localement.

Géométrie différentielle n'a pas été Finsler du sujet de recherche depuis longtemps, il a déménagé à prendre théorie des ensembles. Finsler la thèse d'habilitation a été présenté à l'Université de Cologne en 1922 et l'année suivante, il a sa première conférence sur Existe-t-il des contradictions dans le domaine des mathématiques. Cette tentative d'éliminer les contradictions, comme indiqué dans:

Concernant ... Russell 's paradoxe, Finsler souligne qu'il faut faire la distinction entre correcte et unsatisfiable circulaire définitions. Russell' s définition de l'ensemble des ensembles qui ne contiennent pas eux-mêmes est un non-circulaire définition correcte.

En 1927 Finsler a été nommé à l'Université de Zurich, de devenir un professeur ordinaire en 1944 il. À Zurich, en plus de ses travaux sur la théorie des ensembles, il a également travaillé sur la géométrie différentielle, la théorie des nombres, la théorie des probabilités et les fondements des mathématiques.

Finsler la théorie des ensembles a été dans l'esprit de Cantor. Tous deux ont été platoniciens et comme décrit dans:

Il croyait en la réalité de purs concepts. Ensemble, ils forment le domaine purement conceptuel, qui englobe tous les objets mathématiques, la structure et les modes. ... Les mathématiciens ne pas inventer ou de construire leurs structures et leurs propositions, ils reconnaissent ou découvrir comment ces objets conceptuels dans le domaine sont étroitement liés les uns avec les autres.

En 1926 Finsler produit la première partie d'un important travail sur théorie des ensembles sur les fondements de la théorie des ensembles. Il avait l'intention de publier la deuxième partie comme une continuation de ses théories, mais son plan a changé quand la première partie a été attaquée. A la fin, il a écrit la deuxième partie comme une défense de la première partie en 1965 plutôt que ce qu'il initialement prévu. Nous citons à partir de:

... Finsler développe son approche de paradoxes, son attitude à l'égard des théories et formalisé sa défense du platonisme en mathématiques. Il a insisté sur l'existence d'un domaine conceptuel au sein de mathématiques qui transcende les systèmes formels. De la fondation point de vue, Finsler et la théorie contient un critère pour renforcer l'identité et de fixer un cahier des charges coinductive de l'univers de jeux. ... Combinatorially, Finsler estime fixe comme généralisées qui les numéros de mai appliquer une arithmétique techniques.

Bien sûr, comme indiqué ci-dessus, l'ensemble des paradoxes revêtent une importance particulière à Finsler. En citant à partir de:

[Finsler] a soutenu que la cohérence est suffisant pour l'existence d'objets mathématiques. En outre, il estime que les antinomies qui a conduit à la fondation de crise, pourrait être résolu sans la notion que l'existence est équivalent à la forme constructability.

Source:School of Mathematics and Statistics University of St Andrews, Scotland