Solomon Feferman (December 13, 1928 – July 26, 2016) was an American philosopher and mathematician who worked in mathematical logic. In addition to his...

after Solomon Feferman and Kurt Schütte, the former of whom suggested the name Γ0. There is no standard notation for ordinals beyond the Feferman–Schütte...

theta function. It was named by David Madore, after Gaisi Takeuti, Solomon Feferman and Wilfried Buchholz. It is written as ψ 0 ( ε Ω ω + 1 ) {\displaystyle...

1942 until his death in 1983. His biographers Anita Burdman Feferman and Solomon Feferman state that, "Along with his contemporary, Kurt Gödel, he changed...

banks in economic models The ordinal collapsing function developed by Solomon Feferman Heaviside step function In pharmacology, the fraction of ligand bound...

Wilhelm Ackermann, Heinz Bachmann, Wilfried Buchholz, Georg Cantor, Solomon Feferman, Gerhard Jäger, Isles, Pfeiffer, Wolfram Pohlers, Kurt Schütte, Gaisi...

Appeals Solomon Feferman (1928–2016), American mathematical logician who worked in proof theory and the philosophy of mathematics Abraham Solomon (1823–1862)...

Jean van Heijenoort and (with her husband, logician Solomon Feferman) of Alfred Tarski. Feferman was born on July 27, 1927. She was originally from Los...

proof is reprinted on p.403-404,429-437 of: Kurt Gödel (Mar 1995). Solomon Feferman and John W. Dawson jr. and Warren Goldfarb and Charles Parsons and...

Feferman–Vaught theorem in model theory is a theorem by Solomon Feferman and Robert Lawson Vaught that shows how to reduce, in an algorithmic way, the...

Alonzo Church while at Princeton, and defended his thesis in 1958. Solomon Feferman (2005) writes of this period: Scott began his studies in logic at Berkeley...

Independence, Missouri, to Kenneth T. and Evelyn Barwise. A pupil of Solomon Feferman at Stanford University, Barwise started his research in infinitary...

Russell (1907), though the meaning has changed a little since then. Solomon Feferman provides a historical review of predicativity, connecting it to current...

predicates had been obtained earlier using very different methods by Solomon Feferman. Boolos was an authority on the 19th-century German mathematician and...

(PhD). University of California, Berkeley. Feferman and Feferman 2004: 332-3 Feferman, Anita, and Solomon Feferman, 2004. Alfred Tarski: Life and Logic. Cambridge...

natural numbers. More recently, predicativism has been studied by Solomon Feferman, who has used proof theory to explore the relationship between predicative...

unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I", in Solomon Feferman, ed., 1986. Kurt Gödel Collected works, Vol. I. Oxford University Press...

dancer 1927 – James Wright, American poet and academic (d. 1980) 1928 – Solomon Feferman, American philosopher and mathematician (d. 2016) 1929 – Christopher...

to be true, based on his belief in his new "ultimate L" conjecture. Solomon Feferman argued that CH is not a definite mathematical problem. He proposed...

Etchemendy (US, born 1952) Leonhard Euler (Switzerland, 1707–1783) Solomon Feferman (US, 1928–2016) Richard Ferrybridge (England, 14th century) Hartry...

much greater than that of constructive mathematics, to the point that Solomon Feferman has said that "all of scientifically applicable analysis can be developed...

explored by the program of reverse mathematics). Saunders Mac Lane and Solomon Feferman have both made this point. Some of "mainstream mathematics" (mathematics...

(ps), where he argues that Penrose ignores the issue of consistency. Solomon Feferman gives a critical examination of SM in his paper "Penrose's Gödelian...

161–228. doi:10.1112/plms/s2-45.1.161. hdl:21.11116/0000-0001-91CE-3. Solomon Feferman, Turing in the Land of O(z) in "The universal Turing machine: a half-century...

provability logic; Transfinite iteration of theories, due to Alan Turing and Solomon Feferman; The discovery of self-verifying theories, systems strong enough to...

lending them the name 2-admissible ordinals. An unpublished paper by Solomon Feferman supplies, for each finite n {\displaystyle n} , a similar property...

error is not unique to humans. In May 1995, Stanford mathematician Solomon Feferman attacked Penrose's approach on multiple grounds, including the mathematical...

describable by very few bits of information. Related critique was offered by Solomon Feferman and others. Douglas S. Robertson offers Conway's game of life as an...

John Rawls  United States 2001 Saul A. Kripke  United States 2003 Solomon Feferman  United States 2005 Jaakko Hintikka  Finland 2008 Thomas Nagel  Yugoslavia...

1943) 2017 – Ronald Phillips, American criminal (b. 1973) 2016 – Solomon Feferman, American philosopher and mathematician (b. 1928) 2018 – Adem Demaçi...