Related Research Articles
Alfred Tarski was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy.
Hilary Whitehall Putnam was an American philosopher, mathematician, computer scientist, and figure in analytic philosophy in the second half of the 20th century. He contributed to the studies of philosophy of mind, philosophy of language, philosophy of mathematics, and philosophy of science. Outside philosophy, Putnam contributed to mathematics and computer science. Together with Martin Davis he developed the Davis–Putnam algorithm for the Boolean satisfiability problem and he helped demonstrate the unsolvability of Hilbert's tenth problem.
In mathematics, Hilbert's second problem was posed by David Hilbert in 1900 as one of his 23 problems. It asks for a proof that arithmetic is consistent – free of any internal contradictions. Hilbert stated that the axioms he considered for arithmetic were the ones given in Hilbert (1900), which include a second order completeness axiom.
Finitism is a philosophy of mathematics that accepts the existence only of finite mathematical objects. It is best understood in comparison to the mainstream philosophy of mathematics where infinite mathematical objects are accepted as legitimate.
Gorō Shimura was a Japanese mathematician and Michael Henry Strater Professor Emeritus of Mathematics at Princeton University who worked in number theory, automorphic forms, and arithmetic geometry. He was known for developing the theory of complex multiplication of abelian varieties and Shimura varieties, as well as posing the Taniyama–Shimura conjecture which ultimately led to the proof of Fermat's Last Theorem.
John Jamieson Carswell Smart was a British-Australian philosopher who was appointed as an Emeritus Professor by the Australian National University. He worked in the fields of metaphysics, philosophy of science, philosophy of mind, philosophy of religion, and political philosophy. He wrote several entries for the Stanford Encyclopedia of Philosophy.
Jerome Borges Schneewind was an American scholar of the history of philosophy. Latterly he was a Professor of Philosophy at Johns Hopkins University.
William Henry Kruskal was an American mathematician and statistician. He is best known for having formulated the Kruskal–Wallis one-way analysis of variance, a widely used nonparametric statistical method.
Sydney Sharpless Shoemaker was an American philosopher. He was the Susan Linn Sage Professor of Philosophy at Cornell University and is well known for his contributions to philosophy of mind and metaphysics.
Frederic Brenton Fitch was an American logician, a Sterling Professor at Yale University.
Morris Weitz "was an American philosopher of aesthetics who focused primarily on ontology, interpretation, and literary criticism". From 1972 until his death he was Richard Koret Professor of Philosophy at Brandeis University.
The analytic–synthetic distinction is a semantic distinction used primarily in philosophy to distinguish between propositions that are of two types: analytic propositions and synthetic propositions. Analytic propositions are true or not true solely by virtue of their meaning, whereas synthetic propositions' truth, if any, derives from how their meaning relates to the world.
Primitive recursive arithmetic (PRA) is a quantifier-free formalization of the natural numbers. It was first proposed by Norwegian mathematician Skolem (1923), as a formalization of his finitistic conception of the foundations of arithmetic, and it is widely agreed that all reasoning of PRA is finitistic. Many also believe that all of finitism is captured by PRA, but others believe finitism can be extended to forms of recursion beyond primitive recursion, up to ε0, which is the proof-theoretic ordinal of Peano arithmetic. PRA's proof theoretic ordinal is ωω, where ω is the smallest transfinite ordinal. PRA is sometimes called Skolem arithmetic, although that has another meaning, see Skolem arithmetic.
Roger Evans Howe is the William R. Kenan, Jr. Professor Emeritus of Mathematics at Yale University, and Curtis D. Robert Endowed Chair in Mathematics Education at Texas A&M University. He is known for his contributions to representation theory, in particular for the notion of a reductive dual pair and the Howe correspondence, and his contributions to mathematics education.
George Woodman Hilton was a United States historian and economist, who specialized in social history, transportation economics, regulation by commission, the history of economic thought and labor history.
Leonard Linsky was an American philosopher of language. He was an Emeritus Professor of the University of Chicago.
Fred Dycus Miller Jr. is an American philosopher who specializes in Aristotelian philosophy, with additional interests in political philosophy, business ethics, metaphysics, and philosophy in science fiction. He is a professor emeritus at Bowling Green State University.
Walter Lewis Baily Jr. was an American mathematician.
William Forrest "Woody" Stinespring was an American mathematician, specializing in operator theory. He is known for the Stinespring factorization theorem.
Wilbur Dyre Hart is an American philosopher and professor emeritus of Philosophy at the University of Illinois at Chicago. He taught at the University of Michigan from 1969 to 1974, the University College London from 1974 to 1991, and the University of New Mexico from 1992 to 1993. Hart is known for his research on logic, philosophy of mathematics, metaphysics, and epistemology.
References
- ↑ "Time Has Come, The .... We Will Refuse to Pay Our Federal Income Taxes Voluntarily. :: Peace Collection Ephemera". triptych.brynmawr.edu. Retrieved May 9, 2023.
- ↑ Academies elect faculty from various disciplines, University of Chicago Chronicle, May 23, 2002.
- ↑ Emeritus faculty, University of Chicago Philosophy Department.
