- Ideal Negative Conceivability and the Halting Problem.Manolo Martínez - 2013 - Erkenntnis 78 (5):979-990.details
|
|
Computers Are Syntax All the Way Down: Reply to Bozşahin.William J. Rapaport - 2019 - Minds and Machines 29 (2):227-237.details
|
|
La deriva genética como fuerza evolutiva.Ariel Jonathan Roffé - 2015 - In J. Ahumada, N. Venturelli & S. Seno Chibeni (eds.), Selección de Trabajos del IX Encuentro AFHIC y las XXV Jornadas de Epistemología e Historia de la ciencia. pp. 615-626.details
|
|
Disquotationalism and the Compositional Principles.Richard Kimberly Heck - 2021 - In Carlo Nicolai & Johannes Stern (eds.), Modes of Truth: The Unified Approach to Truth, Modality, and Paradox. New York, NY: Routledge. pp. 105--50.details
|
|
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method.Carlo Cellucci - 2013 - Dordrecht, Netherland: Springer.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert's program.Solomon Feferman - 2008 - Dialectica 62 (2):179-203.details
|
|
Отвъд машината на Тюринг: квантовият компютър.Vasil Penchev - 2014 - Sofia: BAS: ISSK (IPS).details
|
|
Cognitive Projects and the Trustworthiness of Positive Truth.Matteo Zicchetti - 2022 - Erkenntnis (8).details
|
|
The Necessity of Mathematics.Juhani Yli‐Vakkuri & John Hawthorne - 2018 - Noûs 52 (3):549-577.details
|
|
Intervals containing exactly one c.e. degree.Guohua Wu - 2007 - Annals of Pure and Applied Logic 146 (1):91-102.details
|
|
Independent axiomatizability of sets of sentences.Piotr Wojtylak - 1989 - Annals of Pure and Applied Logic 44 (3):259-299.details
|
|
Intuitionism and the liar paradox.Nik Weaver - 2012 - Annals of Pure and Applied Logic 163 (10):1437-1445.details
|
|
On Floridi’s Method of Levels of Abstraction.Jan van Leeuwen - 2014 - Minds and Machines 24 (1):5-17.details
|
|
Scanlon's contractualism and the redundancy objection.Philip Stratton–Lake - 2003 - Analysis 63 (1):70-76.details
|
|
Gödel’s Philosophical Challenge.Wilfried Sieg - 2020 - Studia Semiotyczne 34 (1):57-80.details
|
|
Physical hypercomputation and the church–turing thesis.Oron Shagrir & Itamar Pitowsky - 2003 - Minds and Machines 13 (1):87-101.details
|
|
Mechanism, truth, and Penrose's new argument.Stewart Shapiro - 2003 - Journal of Philosophical Logic 32 (1):19-42.details
|
|
On propositional quantifiers in provability logic.Sergei N. Artemov & Lev D. Beklemishev - 1993 - Notre Dame Journal of Formal Logic 34 (3):401-419.details
|
|
Da metamatemática para a ciência cognitiva.Henrique de Morais Ribeiro - 1999 - Trans/Form/Ação 21 (1):181-193.details
|
|
What is a Computer? A Survey.William J. Rapaport - 2018 - Minds and Machines 28 (3):385-426.details
|
|
Computing mechanisms.Gualtiero Piccinini - 2007 - Philosophy of Science 74 (4):501-526.details
|
|
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.details
|
|
The complexity of orbits of computably enumerable sets.Peter A. Cholak, Rodney Downey & Leo A. Harrington - 2008 - Bulletin of Symbolic Logic 14 (1):69 - 87.details
|
|
Reducibility orderings: Theories, definability and automorphisms.Anil Nerode & Richard A. Shore - 1980 - Annals of Mathematical Logic 18 (1):61-89.details
|
|
Practical Intractability: A Critique of the Hypercomputation Movement. [REVIEW]Aran Nayebi - 2014 - Minds and Machines 24 (3):275-305.details
|
|
Truth vs. provability – philosophical and historical remarks.Roman Murawski - 2002 - Logic and Logical Philosophy 10:93.details
|
|
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.details
|
|
Naïve validity.Julien Murzi & Lorenzo Rossi - 2017 - Synthese 199 (Suppl 3):819-841.details
|
|
Ideen zu einer Kritik ‚algorithmischer‘ Rationalität.Dieter Mersch - 2019 - Deutsche Zeitschrift für Philosophie 67 (5):851-873.details
|
|
Does Science Progress Towards Ever Higher Solvability Through Feedbacks Between Insights and Routines?Witold Marciszewski - 2018 - Studia Semiotyczne 32 (2):153-185.details
|
|
A renaissance of empiricism in the recent philosophy of mathematics.Imre Lakatos - 1976 - British Journal for the Philosophy of Science 27 (3):201-223.details
|
|
Computing machines can't be intelligent (...And Turing said so).Peter Kugel - 2002 - Minds and Machines 12 (4):563-579.details
|
|
On the Anti-Mechanist Arguments Based on Gödel’s Theorem.Stanisław Krajewski - 2020 - Studia Semiotyczne 34 (1):9-56.details
|
|
Machines, Logic and Wittgenstein.Srećko Kovač - 2021 - Philosophia 49 (5):2103-2122.details
|
|
Olympia and Other O-Machines.Colin Klein - 2015 - Philosophia 43 (4):925-931.details
|
|
Naive Probability: Model‐Based Estimates of Unique Events.Sangeet S. Khemlani, Max Lotstein & Philip N. Johnson-Laird - 2015 - Cognitive Science 39 (6):1216-1258.details
|
|
Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny - 2018 - Noûs 52 (3):530-560.details
|
|
Intuition, Computation, and Information.Ken Herold - 2014 - Minds and Machines 24 (1):85-88.details
|
|
Hilbert's philosophy of mathematics.Marcus Giaquinto - 1983 - British Journal for the Philosophy of Science 34 (2):119-132.details
|
|
Chains of Life: Turing, Lebensform, and the Emergence of Wittgenstein’s Later Style.Juliet Floyd - 2016 - Nordic Wittgenstein Review 5 (2):7-89.details
|
|
A theory of implicit commitment.Mateusz Łełyk & Carlo Nicolai - 2022 - Synthese 200 (4):1-26.details
|
|
Informal versus formal mathematics.Francisco Antonio Doria - 2007 - Synthese 154 (3):401-415.details
|
|
Significance of Models of Computation, from Turing Model to Natural Computation.Gordana Dodig-Crnkovic - 2011 - Minds and Machines 21 (2):301-322.details
|
|
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.details
|
|
Turing’s algorithmic lens: From computability to complexity theory.Josep Díaz & Carme Torras - 2013 - Arbor 189 (764):a080.details
|
|
The Questioning Turing Test.Nicola Damassino - 2020 - Minds and Machines 30 (4):563-587.details
|
|
Informal and Absolute Proofs: Some Remarks from a Gödelian Perspective.Gabriella Crocco - 2019 - Topoi 38 (3):561-575.details
|
|
A brief critique of pure hypercomputation.Paolo Cotogno - 2009 - Minds and Machines 19 (3):391-405.details
|
|
What Turing did after he invented the universal Turing machine.Diane Proudfoot & Jack Copeland - 2000 - Journal of Logic, Language and Information 9:491-509.details
|
|