W
Warren D. Goldfarb
Researcher at Harvard University
Publications - 29
Citations - 1205
Warren D. Goldfarb is an academic researcher from Harvard University. The author has contributed to research in topics: Decidability & Predicate (mathematical logic). The author has an hindex of 13, co-authored 29 publications receiving 1154 citations.
Papers
More filters
Journal ArticleDOI
The undecidability of the second-order unification problem
TL;DR: It is shown that there is no effective procedure for determining whether or not two terms of the language of second-order logic have a common instance.
Journal ArticleDOI
Logic in the Twenties: The Nature of the Quantifier
TL;DR: Even given Frege's tremendous achievements, the road to an understanding of quantification theory was an arduous one, and the tasks of much of the work in logic during the nineteen-twenties were the hardest.
Book
The decision problem: Solvable classes of quantificational formulas
Burton Dreben,Warren D. Goldfarb +1 more
TL;DR: In this article, the authors provide a unified treatment of the positive results of the decision problem for quantification theory, and delimit the boundary between solvable and unsolvable classes of formulas.
Journal ArticleDOI
Kripke on Wittgenstein on Rules
TL;DR: Wittgenstein's theory of meaning and intentionality has been studied in the context of the Wittgenstein Investigations of the Foundations of Mathematics by Kripke as discussed by the authors.