- On Gödel incompleteness and finite combinatorics.Akihiro Kanamori & Kenneth McAloon - 1987 - Annals of Pure and Applied Logic 33 (C):23-41.details
|
|
Passive induction and a solution to a Paris–Wilkie open question.Dan E. Willard - 2007 - Annals of Pure and Applied Logic 146 (2-3):124-149.details
|
|
Existential arithmetization of Diophantine equations.Yuri Matiyasevich - 2009 - Annals of Pure and Applied Logic 157 (2-3):225-233.details
|
|
Towards a Coherent Theory of Physics and Mathematics.Paul Benioff - 2002 - Foundations of Physics 32 (7):989-1029.details
|
|
Malament–Hogarth Machines and Tait’s Axiomatic Conception of Mathematics.Sharon Berry - 2014 - Erkenntnis 79 (4):893-907.details
|
|
Computational psychiatry.P. Read Montague, Raymond J. Dolan, Karl J. Friston & Peter Dayan - 2012 - Trends in Cognitive Sciences 16 (1):72-80.details
|
|
On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos.Makoto Kikuchi, Taishi Kurahashi & Hiroshi Sakai - 2012 - Mathematical Logic Quarterly 58 (4-5):307-316.details
|
|
Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.details
|
|
Non-Monotonic Set Theory as a Pragmatic Foundation of Mathematics.Peter Verdée - 2013 - Foundations of Science 18 (4):655-680.details
|
|
Mathematical instrumentalism, Gödel’s theorem, and inductive evidence.Alexander Paseau - 2011 - Studies in History and Philosophy of Science Part A 42 (1):140-149.details
|
|
Realism and Objectivism in Quantum Mechanics.Vassilios Karakostas - 2012 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 43 (1):45-65.details
|
|
Mathematical undecidability, quantum nonlocality, and the question of the existence of God.Alfred Driessen & Antoine Suarez (eds.) - 1997 - Springer.details
|
|
Truth in Frege.Richard Heck & Robert May - 2018 - In Michael Glanzberg (ed.), The Oxford Handbook of Truth. Oxford, United Kingdom: Oxford University Press. pp. 193-213.details
|
|
Carnap’s dream: Gödel, Wittgenstein, and Logical, Syntax.S. Awodey & A. W. Carus - 2007 - Synthese 159 (1):23-45.details
|
|
On the limitations and promise of quantum theory for comprehension of human knowledge and consciousness.Carl S. Helrich - 2006 - Zygon 41 (3):543-566.details
|
|
(1 other version)Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
(2 other versions)Michael Polanyi: Can the Mind Be Represented by a Machine?Paul Richard Blum - 2010 - Existence and Anthropology.details
|
|
What is the axiomatic method?Jaakko Hintikka - 2011 - Synthese 183 (1):69-85.details
|
|
The gödel paradox and Wittgenstein's reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
What is categorical structuralism?Geoffrey Hellman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 151--161.details
|
|
Tarski's conceptual analysis of semantical notions.Solomon Feferman - 2008 - In Douglas Patterson (ed.), New essays on Tarski and philosophy. New York: Oxford University Press. pp. 72.details
|
|
Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
On the inherent incompleteness of scientific theories.Jolly Mathen - 2004details
|
|
Complex philosophy.Carlos Gershenson - unknowndetails
|
|
Comments to neutrosophy.Carlos Gershenson - unknowndetails
|
|
Keynes and Wittgenstein.Brian Weatherson - manuscriptdetails
|
|
On the logic of reducibility: Axioms and examples. [REVIEW]Karl-Georg Niebergall - 2000 - Erkenntnis 53 (1-2):27-61.details
|
|
The category of inner models.Peter Koepke - 2002 - Synthese 133 (1-2):275 - 303.details
|
|
On göde's philosophical assumptions.Jaakko Hintikka - 1998 - Synthese 114 (1):13-23.details
|
|
The transfer principle.Yoshindo Suzuki - 1985 - British Journal for the Philosophy of Science 36 (1):61-66.details
|
|
Computation and hypercomputation.Mike Stannett - 2003 - Minds and Machines 13 (1):115-153.details
|
|
Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system.Matthew W. Parker - 2003 - Philosophy of Science 70 (2):359-382.details
|
|
Paper machines.Daniele Mundici & Wilfried Seig - 1995 - Philosophia Mathematica 3 (1):5-30.details
|
|
Consistency, Turing Computability and Gödel’s First Incompleteness Theorem.Robert F. Hadley - 2008 - Minds and Machines 18 (1):1-15.details
|
|
(1 other version)Pragmatic holism (or pragmatic reductionism).Bruce Edmonds - 1999 - Foundations of Science 4 (1):57-82.details
|
|
(1 other version)Computing machines can't be intelligent (...And Turing said so).Peter Kugel - 2002 - Minds and Machines 12 (4):563-579.details
|
|
(1 other version)Computing machinery and intelligence.Alan Turing - 1950 - Mind 59 (October):433-60.details
|
|
The Turing test: The first fifty years.Robert M. French - 2000 - Trends in Cognitive Sciences 4 (3):115-121.details
|
|
On the computational complexity of ethics: moral tractability for minds and machines.Jakob Stenseke - 2024 - Artificial Intelligence Review 57 (105):90.details
|
|
Paradoxes, Intuitionism, and Proof-Theoretic Semantics.Reinhard Kahle & Paulo Guilherme Santos - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 363-374.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
Logical Disagreement.Frederik J. Andersen - 2024 - Dissertation, University of St. Andrewsdetails
|
|
Letter Games: A Metamathematical Taster.Alexander Paseau - 2016 - The Mathematical Gazette 100 (549):442-449.details
|
|
De Ontologie van den Paradox.Karin Verelst - 2006 - Dissertation, Vrije Universiteit Brusseldetails
|
|
Modalité et changement: δύναμις et cinétique aristotélicienne.Marion Florian - 2023 - Dissertation, Université Catholique de Louvaindetails
|
|
Making Up Our Minds: Imaginative Deconstruction in MathArt, 1920 – Present.Shanna Dobson & Chris Fields - manuscriptdetails
|
|
A theory of implicit commitment.Mateusz Łełyk & Carlo Nicolai - 2022 - Synthese 200 (4):1-26.details
|
|
The Common Logic of Quantum Universe—Part II: The Case of Quantum Gravity.Massimo Tessarotto & Claudio Cremaschini - 2022 - Foundations of Physics 52 (2):1-37.details
|
|
Three Roles of Empirical Information in Philosophy: Intuitions on Mathematics do Not Come for Free.Deniz Sarikaya, José Antonio Pérez-Escobar & Deborah Kant - 2021 - Kriterion – Journal of Philosophy 35 (3):247-278.details
|
|