- (1 other version)Computing machines can't be intelligent (...And Turing said so).Peter Kugel - 2002 - Minds and Machines 12 (4):563-579.details
|
|
Consistency, mechanicalness, and the logic of the mind.Qiuen Yu - 1992 - Synthese 90 (1):145-79.details
|
|
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.details
|
|
Prospects for the cyberiad: Certain limits on human self-knowledge in the cybernetic age.John Barresi - 1987 - Journal for the Theory of Social Behaviour 17 (March):19-46.details
|
|
El Tractatus al rescate de Principia Mathematica: Ramsey y los fundamentos logicistas de las matemáticas.Emilio Méndez Pinto - 2022 - Critica 54 (161):43-69.details
|
|
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.details
|
|
The Search for New Axioms in the Hyperuniverse Programme.Claudio Ternullo & Sy-David Friedman - 2016 - In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Cham, Switzerland: Springer International Publishing. pp. 165-188.details
|
|
Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.details
|
|
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017details
|
|
Maximality Principles in Set Theory.Luca Incurvati - 2017 - Philosophia Mathematica 25 (2):159-193.details
|
|
Gödel on Truth and Proof.Dan Nesher - unknowndetails
|
|
Multiverse Conceptions in Set Theory.Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo - 2015 - Synthese 192 (8):2463-2488.details
|
|
Practical Intractability: A Critique of the Hypercomputation Movement. [REVIEW]Aran Nayebi - 2014 - Minds and Machines 24 (3):275-305.details
|
|
A análise gödeliana do conceito de percepção.Sérgio Schultz - 2012 - Doispontos 9 (2).details
|
|
Seventh Quadrennial Fellows Conference of the Center for Philosophy of Science.-Preprint Volume- - unknowndetails
|
|
The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.details
|
|
Information Processing as an Account of Concrete Digital Computation.Nir Fresco - 2013 - Philosophy and Technology 26 (1):31-60.details
|
|
Are There Absolutely Unsolvable Problems? Godel's Dichotomy.S. Feferman - 2006 - Philosophia Mathematica 14 (2):134-152.details
|
|
The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.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
|
|
Epistemic truth and excluded middle.Cesare Cozzo - 1998 - Theoria 64 (2-3):243-282.details
|
|
Logic, ontology, mathematical practice.Stewart Shapiro - 1989 - Synthese 79 (1):13 - 50.details
|
|
Category theory and the foundations of mathematics: Philosophical excavations.Jean-Pierre Marquis - 1995 - Synthese 103 (3):421 - 447.details
|
|
Naturalism and ontology.Penelope Maddy - 1995 - Philosophia Mathematica 3 (3):248-270.details
|
|
On the pure logic of justified belief.Daniela Schuster & Leon Horsten - 2022 - Synthese 200 (5):1-21.details
|
|
The Objectivity of Mathematics.Stewart Shapiro - 2007 - Synthese 156 (2):337-381.details
|
|
Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.details
|
|
Logic Without Truth.Carlos E. Alchourron & Antonio A. Martino - 1990 - Ratio Juris 3 (1):46-67.details
|
|
To and from philosophy — discussions with gödel and Wittgenstein.Hao Wang - 1991 - Synthese 88 (2):229 - 277.details
|
|
Time in philosophy and in physics: From Kant and Einstein to gödel.Hao Wang - 1995 - Synthese 102 (2):215 - 234.details
|
|
Objectivity over objects: A case study in theory formation.Kai Hauser - 2001 - Synthese 128 (3):245 - 285.details
|
|
Mathematical naturalism: Origins, guises, and prospects. [REVIEW]Bart Van Kerkhove - 2006 - Foundations of Science 11 (1-2):5-39.details
|
|
Gödel, Einstein, Mach: Casting constraints on all-embracing concepts. [REVIEW]Giora Hon - 2004 - Foundations of Science 9 (1):25-64.details
|
|
On the Anti-Mechanist Arguments Based on Gödel’s Theorem.Stanisław Krajewski - 2020 - Studia Semiotyczne 34 (1):9-56.details
|
|
Gödel’s Philosophical Challenge.Wilfried Sieg - 2020 - Studia Semiotyczne 34 (1):57-80.details
|
|
Intuition and Its Object.Kai Hauser - 2015 - Axiomathes 25 (3):253-281.details
|
|
Mathematics and fiction II: Analogy.Robert Thomas - 2002 - Logique Et Analyse 45:185-228.details
|
|
Platonism, phenomenology, and interderivability.Guillermo E. Rosado Haddock - 2010 - In Mirja Hartimo (ed.), Phenomenology and mathematics. London: Springer. pp. 23--46.details
|
|
Reason and intuition.Charles Parsons - 2000 - Synthese 125 (3):299-315.details
|
|
The mathematical philosophy of Charles Parsons. [REVIEW]J. M. B. Moss - 1985 - British Journal for the Philosophy of Science 36 (4):437-457.details
|
|
Kurt gödel.Juliette Kennedy - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Reasoning, logic and computation.Stewart Shapiro - 1995 - Philosophia Mathematica 3 (1):31-51.details
|
|
On a complexity-based way of constructivizing the recursive functions.F. W. Kroon & W. A. Burkhard - 1990 - Studia Logica 49 (1):133 - 149.details
|
|
A Common Ground and Some Surprising Connections.Edward N. Zalta - 2002 - Southern Journal of Philosophy 40 (S1):1-25.details
|
|
A Note on Leibniz's Argument Against Infinite Wholes.Mark van Atten - 2011 - British Journal for the History of Philosophy 19 (1):121-129.details
|
|
Understanding programming languages.Raymond Turner - 2007 - Minds and Machines 17 (2):203-216.details
|
|
Phenomenology and mathematical knowledge.Richard Tieszen - 1988 - Synthese 75 (3):373 - 403.details
|
|
Mathematical realism and transcendental phenomenological realism.Richard Tieszen - 2010 - In Mirja Hartimo (ed.), Phenomenology and mathematics. London: Springer. pp. 1--22.details
|
|
Phenomenological Ideas in the Philosophy of Mathematics. From Husserl to Gödel.Roman Murawski Thomas Bedürftig - 2018 - Studia Semiotyczne 32 (2):33-50.details
|
|