Warren Goldfarb
#29,622
Most Influential Person Now
American logician
Warren Goldfarb's AcademicInfluence.com Rankings
Warren Goldfarbphilosophy Degrees
Philosophy
#1230
World Rank
#2278
Historical Rank
#507
USA Rank
Logic
#548
World Rank
#1000
Historical Rank
#216
USA Rank
Download Badge
Philosophy
Warren Goldfarb's Degrees
- Bachelors Philosophy Princeton University
Similar Degrees You Can Earn
Why Is Warren Goldfarb Influential?
(Suggest an Edit or Addition)According to Wikipedia, Warren David Goldfarb is Walter Beverly Pearson Professor of Modern Mathematics and Mathematical Logic at Harvard University. He specializes in the history of analytic philosophy and in logic, most notably the classical decision problem.
Warren Goldfarb's Published Works
Published Works
- The Undecidability of the Second-Order Unification Problem (1981) (352)
- Logic in the twenties: the nature of the quantifier (1979) (231)
- The decision problem: Solvable classes of quantificational formulas (1979) (198)
- Kripke on Wittgenstein on Rules (1985) (76)
- Metaphysics and Nonsense: On Cora Diamond’s The Realistic Spirit (1997) (76)
- I want you to bring me a slab: Remarks on the opening sections of the Philosophical Investigations (1983) (57)
- Poincaré against the logicists (1988) (52)
- The unsolvability of the Gödel class with identity (1984) (51)
- Russell's reasons for ramification (1989) (36)
- Frege’s conception of logic (2010) (26)
- BETWEEN METAPHYSICS AND NONSENSE: ELUCIDATION IN WITTGENSTEIN’S TRACTATUS (1999) (21)
- Characters and Fixed Points in Provability Logic (1989) (20)
- Jacques Herbrand: Logical Writings. (1974) (20)
- Wittgenstein on Understanding (1992) (18)
- Herbrand's error and Gödel's correction (1993) (18)
- The decision problem for formulas with a small number of atomic subformulas (1973) (17)
- THE GODEL CLASS WITH IDENTITY IS UNSOLVABLE (1984) (17)
- On Gödel's Way In: The Influence of Rudolf Carnap (2005) (15)
- Semantics in Carnap: A Rejoinder to Alberto Coffa (1997) (14)
- Carnap and the Philosophy of Mathematics (2021) (13)
- Wittgenstein, Mind, and Scientism (1989) (11)
- On Dummett's "Proof-Theoretic Justifications of Logical Laws" (2016) (10)
- On the Gödel class with identity (1981) (10)
- The Resolute Reading and Its Critics An Introduction to the Literature (2013) (9)
- Logicism and Logical Truth (1982) (8)
- Rule-Following Revisited (2012) (7)
- Herbrand's Theorem and the Incompleteness of Arithmetic (1990) (7)
- Kurt Gödel Collected Works IV-V: Correspondence (2004) (6)
- A decidable subclass of the minimal Gödel class with identity (1984) (6)
- Wittgenstein's Understanding of Frege (2002) (5)
- The finite controllability of the Maslov case (1974) (4)
- First-Order Frege Theory is Undecidable (2001) (3)
- Carnap’s Syntax Programme and the Philosophy of Mathematics (2009) (3)
- On the effective ω-rule (1975) (3)
- Ordinal bounds for κ-consistency (1974) (2)
- FIRST-ORDER LOGICAL VALIDITY AND THE HILBERT-BERNAYS THEOREM (2018) (1)
- Random models and the Maslov class (1989) (1)
- Skolem reduction classes (1975) (1)
- Putnam’s Theorem on the Complexity of Models (2018) (0)
- Review: George S. Boolos, A Proof of the Lowenheim-Skolem Theorem (1973) (0)
- Madison, WI, USA March 31–April 3, 2012 (2013) (0)
- Review: W. Craig, Analysis of First-Order Implications (1973) (0)
- Modern Major General (2002) (0)
- The omega-Consistency of Number Theory Via Herbrand's Theorem (1974) (0)
- Rule-Following and Meaning: Kripke on Wittgenstein on Rules (2002) (0)
- Index of contributed papers (1990) (0)
- Craig W.. Analysis of first-order implications. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 175–180. (1973) (0)
- Review: Hubert C. Kennedy, Giuseppe Peano, Selected Works of Giuseppe Peano (1980) (0)
- Boolos George S.. A proof of the Löwenheim-Skolem theorem. Notre Dame journal of formal logic , vol. 11 (1970), pp. 76–78. (1973) (0)
- In Memoriam: George Stephen Boolos 1940–1996 (1996) (0)
- Random models and solvable Skolem classes (1993) (0)
- Review of Ecrits Logiques by Jacques Herbrand (1970) (0)
- Palmer House Hilton Hotel, Chicago, Illinois April 23–24, 2004 (2004) (0)
- Selected Works in Logic (1971) (0)
- Wittgenstein, Mind, and Scientism in Eighty-sixth Annual Meeting American Philosophical Association, Eastern Division (1989) (0)
- The Goldfarb Panel (1994) (0)
- Collected Works. Vol. IV: Correspondence A-G. Vol. V: Correspondence H-Z (2004) (0)
- REVIEWS-Deductive logic (2004) (0)
This paper list is powered by the following services:
Other Resources About Warren Goldfarb
What Schools Are Affiliated With Warren Goldfarb?
Warren Goldfarb is affiliated with the following schools: