Developed a rigorous and systematic approach to the foundations of mathematics, particularly in proof theory and constructive mathematics. Known for his work on predicative mathematics and the development of a predicative theory of types.
Solomon Feferman, a renowned American philosopher and mathematician, left an indelible mark on the world of mathematical logic. His groundbreaking contributions to proof theory, computability theory, and set theory, along with his pioneering work in the history of logic, have made him a household name in the mathematical community.
Born on December 13, 1928, in The Bronx, New York City, Feferman's early life was shaped by his working-class parents, who immigrated to the United States after World War I. He showed a keen interest in mathematics from a young age and graduated from high school at the tender age of 16. Feferman went on to earn his B.S. from the California Institute of Technology in 1948 and his Ph.D. in mathematics from the University of California, Berkeley, in 1957, under the guidance of Alfred Tarski.
Feferman's academic career spanned over four decades, with stints at Stanford University, the Institute for Advanced Study in Princeton, MIT, and the University of Oxford. He served as the Patrick Suppes Professor of Humanities and Sciences at Stanford University, where he spent the majority of his career. His most notable contributions include:
Feferman's philosophical stance was deeply rooted in anti-platonism, which rejects the idea of abstract mathematical objects. He believed that mathematical truths are derived from the physical world and are therefore subject to human limitations. This philosophical outlook had a profound impact on his work in mathematical logic and continues to influence contemporary mathematicians and philosophers.
Feferman's contributions to mathematics and philosophy were recognized through various awards and honors, including his membership in the Mathematical Association of America for 37 years.
Feferman passed away on July 26, 2016, at the age of 87, leaving behind a rich legacy in the world of mathematical logic. His dedication to his craft and his passion for sharing knowledge have inspired generations of mathematicians and philosophers. Through his work, Feferman continues to influence modern society, shaping our understanding of mathematical truths and their relevance to the human experience.
Born in 1906
A groundbreaking logician and philosopher who shook the foundations of mathematics with his incompleteness theorems, proving that no formal system can be both complete and consistent.
Born in 1903
Developed the lambda calculus and played a key role in the development of modern logic, making significant contributions to the foundations of mathematics.
Born in 1900
A pioneer in the development of combinatory logic, he formulated the Curry-Howard correspondence, a fundamental concept in theoretical computer science, and made significant contributions to the foundations of mathematics.
Born in 1903
Pioneering mathematician and physicist who developed the concept of the modern computer architecture and made significant contributions to quantum mechanics and game theory. His work laid the foundation for modern computing and artificial intelligence.
Born in 1912
Pioneering mathematician and computer scientist who cracked the German Enigma code during WWII and laid the foundations for modern computer science and artificial intelligence.
Born in 1845
Developed set theory, introducing infinite sets and cardinal numbers, revolutionizing mathematics and philosophy.
