Harvey Friedman

Last updated
Harvey Friedman Harvey Friedman.jpg
Harvey Friedman

Harvey Friedman (born 23 September 1948) [1] is an American mathematical logician at Ohio State University in Columbus, Ohio. He has worked on reverse mathematics, a project intended to derive the axioms of mathematics from the theorems considered to be necessary. In recent years, this has advanced to a study of Boolean relation theory, which attempts to justify large cardinal axioms by demonstrating their necessity for deriving certain propositions considered "concrete".

Contents

Friedman earned his Ph.D. from the Massachusetts Institute of Technology in 1967, at age 19, with a dissertation on Subsystems of Analysis. His advisor was Gerald Sacks. [2] Friedman received the Alan T. Waterman Award in 1984. He also assumed the title of Visiting Scientist at IBM. [3] He delivered the Tarski Lectures in 2007.

In 1967, Friedman was listed in the Guinness Book of World Records for being the world's youngest professor when he taught at Stanford University at age 18 as an assistant professor of philosophy. [1] [4] [5] He has also been a professor of mathematics and a professor of music. [6] He officially retired in July 2012. In September 2013, he received an honorary doctorate from Ghent University. [7]

Jordana Cepelewicz (2017) profiled Friedman in Nautilus as "The Man Who Wants to Rescue Infinity". [8]

Friedman made headlines in the Italian newspaper La Repubblica for his manuscript A Divine Consistency Proof for Mathematics, which shows in detail how, starting from the hypothesis of the existence of God (in the sense of Gödel's ontological proof), it can be shown that mathematics, as formalized by the usual ZFC axioms, is consistent. [9]

He invented and proved important theorems regarding the finite promise games and greedy clique sequences, and Friedman's grand conjecture bears his name.

Friedman is the brother of mathematician Sy Friedman.

According to ResearchGate, Friedman published over 200 peer-reviewed research articles during the course of his academic career. [10]

See also

Related Research Articles

<span class="mw-page-title-main">David Hilbert</span> German mathematician (1862–1943)

David Hilbert was a German mathematician and philosopher of mathematics and one of the most influential mathematicians of his time.

Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics.

<span class="mw-page-title-main">Theorem</span> In mathematics, a statement that has been proven

In mathematics and formal logic, a theorem is a statement that has been proven, or can be proven. The proof of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems.

Philosophy of mathematics is the branch of philosophy that deals with the nature of mathematics and its relationship with other human activities.

<span class="mw-page-title-main">Wilhelm Ackermann</span> German mathematician

Wilhelm Friedrich Ackermann was a German mathematician and logician best known for his work in mathematical logic and the Ackermann function, an important example in the theory of computation.

Foundations of mathematics is the logical and mathematical framework that allows the development of mathematics without generating self-contradictory theories, and, in particular, to have reliable concepts of theorems, proofs, algorithms, etc. This may also include the philosophical study of the relation of this framework with reality.

<span class="mw-page-title-main">Ernst Zermelo</span> German logician and mathematician (1871–1953)

Ernst Friedrich Ferdinand Zermelo was a German logician and mathematician, whose work has major implications for the foundations of mathematics. He is known for his role in developing Zermelo–Fraenkel axiomatic set theory and his proof of the well-ordering theorem. Furthermore, his 1929 work on ranking chess players is the first description of a model for pairwise comparison that continues to have a profound impact on various applied fields utilizing this method.

Proof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of a given logical system. Consequently, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature.

Crispin James Garth Wright is a British philosopher, who has written on neo-Fregean (neo-logicist) philosophy of mathematics, Wittgenstein's later philosophy, and on issues related to truth, realism, cognitivism, skepticism, knowledge, and objectivity. He is Professor of Philosophical Research at the University of Stirling, and taught previously at the University of St Andrews, University of Aberdeen, New York University, Princeton University and University of Michigan.

<span class="mw-page-title-main">George Boolos</span> American philosopher and mathematical logician

George Stephen Boolos was an American philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.

<span class="mw-page-title-main">Thoralf Skolem</span> Norwegian mathematician

Thoralf Albert Skolem was a Norwegian mathematician who worked in mathematical logic and set theory.

In mathematical logic, the theory of infinite sets was first developed by Georg Cantor. Although this work has become a thoroughly standard fixture of classical set theory, it has been criticized in several areas by mathematicians and philosophers.

<span class="mw-page-title-main">Fallibilism</span> Philosophical principle

Originally, fallibilism is the philosophical principle that propositions can be accepted even though they cannot be conclusively proven or justified, or that neither knowledge nor belief is certain. The term was coined in the late nineteenth century by the American philosopher Charles Sanders Peirce, as a response to foundationalism. Theorists, following Austrian-British philosopher Karl Popper, may also refer to fallibilism as the notion that knowledge might turn out to be false. Furthermore, fallibilism is said to imply corrigibilism, the principle that propositions are open to revision. Fallibilism is often juxtaposed with infallibilism.

In mathematics, Kruskal's tree theorem states that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding.

Martin Hugo Löb was a German mathematician. He settled in the United Kingdom after the Second World War and specialised in mathematical logic. He moved to the Netherlands in the 1970s, where he remained in retirement. He is perhaps best known for having formulated Löb's theorem in 1955.

<span class="mw-page-title-main">Brouwer–Hilbert controversy</span> Foundational controversy in twentieth-century mathematics

The Brouwer–Hilbert controversy was a debate in twentieth-century mathematics over fundamental questions about the consistency of axioms and the role of semantics and syntax in mathematics. L. E. J. Brouwer, a proponent of the constructivist school of intuitionism, opposed David Hilbert, a proponent of formalism. Much of the controversy took place while both were involved with Mathematische Annalen, the leading mathematical journal of the time, with Hilbert as editor-in-chief and Brouwer as a member of its editorial board. In 1920 Hilbert had Brouwer removed from the editorial board of Mathematische Annalen.

In proof theory, a branch of mathematical logic, elementary function arithmetic (EFA), also called elementary arithmetic and exponential function arithmetic, is the system of arithmetic with the usual elementary properties of 0, 1, +, ×, , together with induction for formulas with bounded quantifiers.

In mathematical set theory, the axiom of adjunction states that for any two sets x, y there is a set w = x ∪ {y} given by "adjoining" the set y to the set x. It is stated as

<span class="mw-page-title-main">Steve Simpson (mathematician)</span> American mathematician

Stephen George Simpson is an American mathematician whose research concerns the foundations of mathematics, including work in mathematical logic, recursion theory, and Ramsey theory. He is known for his extensive development of the field of reverse mathematics founded by Harvey Friedman, in which the goal is to determine which axioms are needed to prove certain mathematical theorems. He has also argued for the benefits of finitistic mathematical systems, such as primitive recursive arithmetic, which do not include actual infinity.

References

  1. 1 2 Handbook of Philosophical Logic, ISBN   0-7923-7018-X, p. 38
  2. Harvey Friedman at the Mathematics Genealogy Project
  3. Barwise et al., Harvey Friedman's Research on the Foundations of Mathematics p.xiii. Studies in Logic and the Foundations of Mathematics, vol. 117, North-Holland Amsterdam
  4. Dr. Harvey Martin Friedman - Distinctions
  5. Ohio State University Distinguished Lecturers (2007—2008)
  6. Harvey Friedman's Degrees and Employment History
  7. Friedman, Harvey (September 4, 2013). "Eredoctoraat Harvey Friedman". UGent. Retrieved November 7, 2020.
  8. The Man Who Wants to Rescue Infinity, by Jordana Cepelewicz, February 23, 2017.
  9. Odifreddi, Piergiorgio (January 5, 2013). "La matematica ci riprova: "Ecco perché Dio esiste"". la Repubblica. Retrieved December 21, 2018.
  10. https://www.researchgate.net/scientific-contributions/Harvey-M-Friedman-38912091 [ bare URL ]

Further reading