nLab Hans Freudenthal

Hans Freudenthal (17 September 1905 – 13 October 1990) was a Dutch mathematician, who worked in algebraic topology and also created an influential direction in mathematics education.

As a forerunner of category theory

Freudenthal’s influence proved decisive for the recognition of general abstract structures in algebraic topology: His 1937 paper on “Entwicklungen von Räumen und Gruppen” stresses the importance of a general abstract theory for the connection between topological and algebraic systems in the passage to direct limits in order to avoid giving the same proofs over and over again:

[p. 147]: “Der Zusammenhang zwischen beiden ist kaum bemerkt und niemals systematisch untersucht worden. Kap. I-II dieser Arbeit bringen die allgemeine Theorie dieser Entwicklungen. Kap. VI soll zeigen, welche Bedeutung die Harmonie der Entwicklungen von Gruppen mit denen von Räumen für die Topologie hat; es soll die logische Struktur des Gedankengeflechtes freilegen, das zahlreichen topologischen Betrachtungen gemeinsam ist. In der Tat sind es immer wieder dieselben Wege, auf denen sich bei der Definition Bettischer Gruppen usw. der Übergang vom Kombinatorischen zum Mengentheoretischen vollzieht; es sind immer wieder dieselben Beweismethoden, mit denen man zu den einfachsten Sätzen über diese Gruppen gelangt.(…) Welchen Nutzen unter solchen Umständen eine einmal entwickelte allgemeine Theorie tragen kann, leuchtet wohl ein. Konkrete neue Einsichten vermitteln die Kap. I, II, VI allerdings kaum. Der Sinn von Kap. I-II ist mehr der einer logischen Analyse, der von Kap. VI ist der des Durchexerzierens der Begriffe und Sätze aus Kap. I-II an einer großen Anzahl (immerhin ganz allgemeiner) Beispiele.”

The term “natural homomorphism” is introduced on p. 196. This provides the blueprint for the definition of natural transformations in the seminal paper “General theory of natural equivalences” by Eilenberg & MacLane (1945) that introduced category theory (cf. their discussion of “naturality” on p .236) and resonated Freudenthal’s “allgemeine Theorie” in the title.

Selected writings

Introducing the notion of topological ends end of end compactification:

On intuitionistic logic:

Introducing the Freudenthal suspension theorem (and the terminology “stem of homotopy groups of spheres”):

On Lie groups:

  • Hans Freudenthal, Lie groups in the foundations of geometry, Advances in Mathematics 1 (1965) 145 - 190 [dspace]

On teaching mathematics:

On category theory avant la lettre:

On lingua cosmica, a tongue for intercourse with martians:

  • Hans Freudenthal, Lincos: Design of a Language for Cosmic Intercourse Part I, Elsevier Amsterdam (1960).
category: people

Last revised on December 6, 2023 at 09:31:19. See the history of this page for a list of all contributions to it.