Reviews matching “Theorem”

60 results · page 1 of 2

BookAuthorReviewerJournalDate
The Metaphysics of the Pythagorean Theorem Robert Hahn Jean Rioux The Review of Metaphysics 2018-12-00
Quantum Nonlocality and Reality: 50 Years of Bell's Theorem Mary Bell Ward Struyve Notre Dame Philosophical Reviews 2018-07-30
Proving History: Bayes's Theorem and the Quest for the Historical Jesus Richard C Carrier Aviezer Tucker History & Theory 2016-02-01
Frege's Theorem Richard G Heck Jr Bob Hale Mind 2014-04-01
Frege's Theorem Richard G Heck Jr Philip Ebert The Philosophical Quarterly 2014-01-01
Frege's Theorem RICHARD G. HECK, JR Richard G Heck Jr John P. Burgess The Journal of Philosophy 2012-12-00
Frege's Theorem Richard G Heck Jr Roy T Cook Philosophia Mathematica 2012-10-01
Frege's Theorem Richard G Heck Jr G Aldo Antonelli International Studies in the Philosophy of Science 2012-06-01
Frege's Theorem Richard G Heck Jr Carlos Ortiz de Landázuri Anuario Filosófico 2012-01-01
Theorem Frege Manuel Bremer Philosophy in Review 2012-01-01
Bayes's Theorem Richard Swinburne Enetz Ezenarro Gogoa: Euskal Herriko Unibertsitateko Hizkuntza, Ezagutza, Komunikazio eta Ekintzari buruzko Aldizkaria 2008-04-01
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse Torkel Franzén Lev D Beklemishev The Bulletin of Symbolic Logic 2007-06-01
Contribution to the Integrability Debate: The Mystery of a Lost Theorem Jean Ville François Gardes History of Political Economy 2006-12-01
The Birth of Model Theory: Löwenheim's Theorem in the Frame of the Theory of Relatives Calixto Badesa Manfred Stern History and Philosophy of Logic 2006-08-01
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse Torkel Franzén Stewart Shapiro Philosophia Mathematica 2006-06-01
Das Paradox des Augenblicks: 'Zarathustras Vorrede' und Nietzsches Theorem der 'ewigen Wiederkunft des Gleichen' Andreas Honneth Peter Bornedal Nietzsche-Studien: Internationales Jahrbuch für die Nietzsche-Forschung 2006-01-01
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse Torkel Franzén R Zach History and Philosophy of Logic 2005-11-01
Bayes's Theorem Richard Swinburne Alan R Rhoda International Philosophical Quarterly 2005-06-01
Bayes's Theorem Richard Swinburne Paul Anand Economics and Philosophy 2005-04-01
The Birth of Model Theory: Löwenheim's Theorem in the Frame of the Theory of Relatives Calixto Badesa Ignacio Jané Philosophia Mathematica 2005-02-01
Bayes's Theorem E. Eells Mind 2004-07-01
Bayes's Theorem Richard Swinburne Pascal Boldini Revue philosophique de la France et de l'étranger 2004-05-01
Bayes's Theorem Swinburne Richard Branden Fitelson Notre Dame Philosophical Reviews 2003-11-10
On the philosophical significance of Frege's theorem. Language, thought, and logic, Essays in honour of Michael Dummett, edited by Richard G. HeckJnr Crispin Wright William Demopoulos The Journal of Symbolic Logic 1998
First-order logic and automated theorem proving Melvin Fitting Alfredo Ferro The Journal of Symbolic Logic 1993
On an Accidental Proof of the “Fundamental Marxian Theorem” D. Suvakovic Olgin D. Suvakovic Olgin History of Political Economy 1992-06-01
Philosophical Consequences Of Quantum Theory: Reflections on Bell's Theorem James T Cushing Niall Shanks Canadian Philosophical Reviews 1991-02-01
Philosophical Consequences Of Quantum Theory: Reflections on Bell's Theorem James T Cushing Allen Stairs Synthese 1991-01-01
Philosophical Consequences Of Quantum Theory: Reflections on Bell's Theorem James T. Cushing Niall Shanks Philosophy in Review 1991-01-01
Gödel's Theorem in Focus Stuart G Shanker John F Post Canadian Philosophical Reviews 1989-07-01
Gödel's Theorem in Focus S G Shanker G L Forguson History and Philosophy of Logic 1989-01-01
Theorem in Focus Gödel John F. Post Philosophy in Review 1989-01-01
Logic for computer science. Foundations of automatic theorem proving Jean H. Gallier Frank Pfenning The Journal of Symbolic Logic 1989
Arrow's Theorem: The Paradox of Social Choice Alfred F Mackay W D Hart Mind 1983-07-01
The Faustmann-Ohlin Theorem: A Historical Note Karl Löfgren Karl G. Löfgren History of Political Economy 1983-06-01
Arrow's Theorem: The Paradox of Social Choice Alfred F MacKay Lanning Sowden The Philosophical Quarterly 1983-01-01
Arrow's Theorem: The Paradox of Social Choice Alfred F MacKay Debra C Rosenthal International Studies in Philosophy 1982-03-01
Arrow's Theorem: The Paradox of Social Choice Alfred F MacKay Peter Urbach The British Journal for the Philosophy of Science 1981-12-01
Automated theorem proving. A logical basis. Fundamental studies in computer science, vol Donald W. Loveland J. A. Robinson The Journal of Symbolic Logic 1980
Beginning model theory. The completeness theorem and some consequences Jane Bridge Mary Tiles Philosophical Books 1979-10-01
Beginning model theory. The completeness theorem and some consequences Jane Bridge John T. Baldwin The Journal of Symbolic Logic 1979
Beginning model theory. The completeness theorem and some consequences Jane Bridge Roberto Torretti Dialogos: Revista del Departamento de Filosofía Universidad de Puerto Rico 1978-04-01
On the Origins of the Balanced-Budget-Multiplier Theorem Harold M. Somers Harold M. Somers History of Political Economy 1977-06-01
Formalization and automatic theorem-proving Hao Wang Joyce Friedman The Journal of Symbolic Logic 1974
Carol Karp. An algebraic proof of the Barwise compactness theorem. The syntax and semantics of infinitary languages Jon Barwise, Lecture notes in mathematics, no. 72 N. J. Cutland The Journal of Symbolic Logic 1974
Analog of Herbrand's Theorem for Prenex Formulas of Constructive Predikatov G E Mints J Van Heijenoort The Journal of Symbolic Logic 1971-09-01
The Gödel incompleteness theorem and intelligent machines. AFIPS, Proceedings 1962 Spring Joint Computer Conference Frank B. Cannonito Perry Smith The Journal of Symbolic Logic 1971
Gödel's theorem S G Shanker William Craig The Journal of Symbolic Logic 1970
Craig's theorem Max Black Benson Mates The Journal of Symbolic Logic 1970
On a theorem of Cobham concerning undecidable theories Robert L. Vaught Verena H. Dyson The Journal of Symbolic Logic 1969-05-29
1 Next »

Open this search with filters