Philosophy

12 lives in this collection worked in philosophy, from 428 BC to today. Each has a full course on their life and the mathematics and physics they made.

Often together with: geometry, astronomy, mechanics, algebra, foundations of mathematics, logic, number theory, theology. All fields

  • Archytas of Tarentum428 BC–350 BC

    Pythagorean mathematician and general of Tarentum who defined the three musical means, proved that superparticular ratios have no mean proportional, and gave the first solution of the doubling of the cube.

    geometry, theory of proportion, music theory

  • Plato428 BC–347 BC

    Athenian philosopher who founded the Academy, the centre of Greek mathematics in the fourth century BC, and whose Timaeus built a cosmos from ratios and the five regular solids.

    philosophy, philosophy of mathematics, cosmology

  • Proclus412–485

    Neoplatonist head of the Athenian school whose Commentary on the First Book of Euclid's Elements is the main source for early Greek geometry and contains an influential attempted proof of the parallel postulate.

    philosophy, history and philosophy of mathematics, geometry

  • Omar Khayyam1048–1131

    Persian mathematician and astronomer who classified and solved cubic equations by intersecting conics, helped design the Jalali calendar, and analysed Euclid's parallel postulate.

    algebra, geometry, astronomy

  • Nasir al-Din al-Tusi1201–1274

    Persian scholar who devised the Tusi couple and equant-free planetary models, made trigonometry an independent discipline, and directed the Maragha observatory.

    astronomy, trigonometry, geometry

  • René Descartes1596–1650

    Philosopher and mathematician who joined algebra to geometry, published the sine law of refraction and the theory of the rainbow, and built a mechanical physics of inertia and vortices.

    analytic geometry, algebra, optics

  • Gottfried Wilhelm Leibniz1646–1716

    Co-inventor of the calculus and author of its notation, discoverer of vis viva, advocate of binary arithmetic and of a relational theory of space and time.

    calculus, combinatorics, logic

  • Jean le Rond d’Alembert1717–1783

    French mathematician and philosopher who founded dynamics on d'Alembert's principle, solved the wave equation, and co-edited the Encyclopédie.

    mechanics, partial differential equations, fluid dynamics

  • Johann Heinrich Lambert1728–1777

    Self-taught polymath of the Berlin Academy who proved π irrational, founded photometry, introduced the Lambert map projections and developed the acute-angle hypothesis of the parallel problem.

    number theory, geometry, cartography

  • Sophie Germain1776–1831

    Self-taught French mathematician who proved the main nineteenth-century result on Fermat's Last Theorem before Kummer and won the Paris Academy prize for a theory of vibrating elastic plates.

    number theory, elasticity, differential geometry

  • Bernard Bolzano1781–1848

    Prague priest and philosopher who gave the first rigorous definitions of continuity and convergence, proved the intermediate value theorem analytically, and anticipated modern logic and set theory.

    real analysis, foundations of mathematics, logic

  • Bertrand Russell1872–1970

    Discoverer of Russell's paradox, inventor of the theory of types and the theory of descriptions, and co-author with Whitehead of Principia Mathematica.

    mathematical logic, foundations of mathematics, philosophy