Why three ways of doing mathematics became rival philosophies

Value of the Information & Strength of the Argument

The lecture provides valuable historical insights into the development of mathematical philosophies, grounding abstract ideas in concrete mathematical practice. McLarty’s argument that the three philosophies originated as descriptions of working styles is well-supported with detailed examples and primary sources. He effectively demonstrates how the meaning of terms like ’logician’ and ‘algorithm’ changed over time, and how the professionalization of mathematics influenced these shifts. The argumentation is coherent and persuasive, though it reflects McLarty’s own interpretive perspective, which may not be universally accepted. He acknowledges the complexity of historical developments and avoids oversimplification, making the lecture intellectually stimulating.

Scientific Rigor, Source Quality, Title Accuracy

McLarty demonstrates strong scholarly rigor, drawing on primary sources such as Felix Klein’s 1893 lecture, writings of André Weil and Saunders Mac Lane, and historical accounts of mathematicians like Weierstrass, Gordan, and Lie. He provides specific references and quotes, showing careful attention to historical accuracy. The title accurately reflects the content, as the lecture indeed traces how three ways of doing mathematics became rival philosophies. The lecture is well-structured and maintains a clear focus on the historical evolution of these concepts. No comments were provided for analysis.

The title accurately reflects the content, which traces the historical evolution of three mathematical methodologies into distinct philosophical schools.

8/10

Lecture by a recognized philosopher of mathematics, based on historical sources and primary texts, but with a personal interpretive angle and no formal peer review.

Markers derived by PSI from the transcript: the creator did not define chapters.

• 02:00Introduction to the concept of 'working mathematician' and the importance of proving theorems.
• 10:00Discussion of Felix Klein's role in organizing mathematics and his classification of mathematicians.
• 20:00Explanation of Klein's three categories: logicians, formalists, and intuitionists, with examples.
• 30:00Analysis of the 'logician' category and its disappearance as rigorous proof became standard.
• 40:00Discussion of formalism, focusing on Paul Gordan's algorithmic approach and its limitations.
• 50:00Introduction to intuitionism, with Sophus Lie as an example, and the role of geometric intuition.
• 1:00:00Transition from working styles to rival philosophies, mentioning Hilbert and Brouwer.
• 1:10:00Discussion of the foundational crisis and the emergence of logicism, formalism, and intuitionism as philosophical positions.
• 1:20:00Conclusion summarizing the historical evolution and the importance of understanding these philosophies in context.

• Felix Klein's 1893 lecture at the Chicago World's Fair — McLarty refers to Klein's lecture as the origin of the classification of mathematicians into logicians, formalists, and intuitionists.
• André Weil, 'Foundations of Mathematics for the Working Mathematician' — Weil's essay is cited as the source of the term 'working mathematician'.
• Saunders Mac Lane, 'Categories for the Working Mathematician' — Mac Lane's book popularized the phrase 'working mathematician'.

• Stanford Encyclopedia of Philosophy: Logicism — Provides a detailed account of logicism, which aligns with McLarty's historical narrative.
• Stanford Encyclopedia of Philosophy: Formalism in the Philosophy of Mathematics — Discusses formalism and its development, consistent with McLarty's description.
• Stanford Encyclopedia of Philosophy: Intuitionism in the Philosophy of Mathematics — Covers intuitionism, supporting McLarty's points about Brouwer and the intuitionist school.

• Some historians argue that the three philosophies were already distinct before Klein's classification — McLarty's thesis that they originated as working styles is not universally accepted; some scholars trace their philosophical roots earlier.