Method
Jeremy Avigad
Overview
Jeremy Avigad is a professor of philosophy and a professor of mathematical sciences at Carnegie Mellon University.
He received a B.A. in mathematics from Harvard University in 1989, and a Ph.D. in mathematics from the University of California at Berkeley in 1995 under the supervision of Jack Silver. He has contributed to the areas of mathematical logic and foundations, formal verification and interactive theorem proving, and the philosophy and history of mathematics. He became Director of the Hoskinson Center for Formal Mathematics at Carnegie Mellon University after cryptocurrency entrepreneur Charles Hoskinson donated $20 million in September 2021 to establish it.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Possible passages
Found by search and not yet checked by a person; they may only mention the idea in passing.
One of the most successfully cultivated branches of philosophy in our time is what is called inductive logic, the study of the conditions under which our sciences have evolved. Writers on this subject have begun to show a singular unanimity as to what the laws of nature and elements of fact mean, when formulated by mathematicians, physicists and chemists.
William James, Pragmatism
States what Jeremy Avigad is.
This stupendous fact ought to produce a revolution in the higher teaching of mathematics; it has itself added immeasurably to the educational value of the subject, and it has at last given the means of treating with logical precision many studies which, until lately, were wrapped in fallacy and obscurity. By those who were educated on the old lines, the new work is considered to be appallingly difficult, abstruse…
Bertrand Russell, Mysticism and Logic and Other Essays
Close in meaning to Jeremy Avigad; the term itself is not named.
The logical basis of the theory alone belongs to philosophy, and alone will occupy us to-night. The way the problem of continuity enters into philosophy is, broadly speaking, the following: Space and time are treated by mathematicians as consisting of points and instants, but they also have a property, easier to feel than to define, which is called continuity, and is thought by many philosophers to be destroyed when…
Bertrand Russell, Our Knowledge of the External World as a Field for Scientific Method in Philosophy
States what Jeremy Avigad is.
Philosophers who discussed Jeremy Avigad
Related ideas
- Proof assistant
- Foundations of mathematics
- Harvard University
- Mathematical logic
- Formal verification
- Philosophy of mathematics
Place in the tradition
Part of First-order logic.