- What Have Google’s Random Quantum Circuit Simulation Experiments Demonstrated about Quantum Supremacy?Jack K. Horner & John Symons - 2021 - In Hamid R. Arabnia, Leonidas Deligiannidis, Fernando G. Tinetti & Quoc-Nam Tran (eds.), Advances in Software Engineering, Education, and E-Learning: Proceedings From Fecs'20, Fcs'20, Serp'20, and Eee'20. Springer.details
|
|
Consistency, possibility, and Gödel: a reply to Pruss.Michael Burton - 2022 - Philosophical Studies 179 (12):3671-3677.details
|
|
Why Machines Will Never Rule the World: Artificial Intelligence without Fear.Jobst Landgrebe & Barry Smith - 2022 - Abingdon, England: Routledge.details
|
|
Autonomous Machine Agency.Don Berkich - 2002 - Dissertation, University of Massachusetts Amherstdetails
|
|
The Necessity of Mathematics.Juhani Yli‐Vakkuri & John Hawthorne - 2018 - Noûs 52 (3):549-577.details
|
|
Eventually infinite time Turing machine degrees: Infinite time decidable reals.P. D. Welch - 2000 - Journal of Symbolic Logic 65 (3):1193-1203.details
|
|
Plural quantifiers: a modal interpretation.Rafal Urbaniak - 2014 - Synthese 191 (7):1-22.details
|
|
How Not To Use the Church-Turing Thesis Against Platonism.R. Urbaniak - 2011 - Philosophia Mathematica 19 (1):74-89.details
|
|
Infinity and continuum in the alternative set theory.Kateřina Trlifajová - 2021 - European Journal for Philosophy of Science 12 (1):1-23.details
|
|
Kazimierz Ajdukiewicz’s philosophy of mathematics.Marcin Tkaczyk - 2016 - Studies in East European Thought 68 (1):21-38.details
|
|
The limit of language in daoism.Koji Tanaka - 2004 - Asian Philosophy 14 (2):191 – 205.details
|
|
On the completeness and the decidability of strictly monadic second‐order logic.Kento Takagi & Ryo Kashima - 2020 - Mathematical Logic Quarterly 66 (4):438-447.details
|
|
The Abstraction/Representation Account of Computation and Subjective Experience.Jochen Szangolies - 2020 - Minds and Machines 30 (2):259-299.details
|
|
Why There is no General Solution to the Problem of Software Verification.John Symons & Jack K. Horner - 2020 - Foundations of Science 25 (3):541-557.details
|
|
Why There is no General Solution to the Problem of Software Verification.John Symons & Jack J. Horner - 2020 - Foundations of Science 25 (3):541-557.details
|
|
Software Intensive Science.John Symons & Jack Horner - 2014 - Philosophy and Technology 27 (3):461-477.details
|
|
Building General Knowledge of Mechanisms in Information Security.Jonathan M. Spring & Phyllis Illari - 2019 - Philosophy and Technology 32 (4):627-659.details
|
|
Building General Knowledge of Mechanisms in Information Security.Jonathan M. Spring & Phyllis Illari - 2019 - Philosophy and Technology 32 (4):627-659.details
|
|
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.details
|
|
Feature Centrality and Conceptual Coherence.Steven A. Sloman, Bradley C. Love & Woo-Kyoung Ahn - 1998 - Cognitive Science 22 (2):189-228.details
|
|
Symposium on Writing the Book of the World.Theodore Sider - 2013 - Analysis 73 (4):751-770.details
|
|
Replies to Dorr, Fine, and Hirsch.Theodore Sider - 2013 - Philosophy and Phenomenological Research 87 (3):733-754.details
|
|
Second-order languages and mathematical practice.Stewart Shapiro - 1985 - Journal of Symbolic Logic 50 (3):714-742.details
|
|
How do We Know that the Godel Sentence of a Consistent Theory Is True?G. Sereny - 2011 - Philosophia Mathematica 19 (1):47-73.details
|
|
Given the W eb, What is Intelligence, Really?Naveen Sundar Govindarajulu Selmer Bringsjord - 2012 - Metaphilosophy 43 (4):464-479.details
|
|
Is the brain a digital computer?John R. Searle - 1990 - Proceedings and Addresses of the American Philosophical Association 64 (3):21-37.details
|
|
Variations on a Montagovian theme.Wolfgang Schwarz - 2013 - Synthese 190 (16):3377-3395.details
|
|
Undecidability of the Logic of Partial Quasiary Predicates.Mikhail Rybakov & Dmitry Shkatov - 2022 - Logic Journal of the IGPL 30 (3):519-533.details
|
|
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness.Mikhail Rybakov - forthcoming - Logic Journal of the IGPL.details
|
|
Self-reference and the languages of arithmetic.Richard Heck - 2007 - Philosophia Mathematica 15 (1):1-29.details
|
|
Mathematics and the mind.Michael Redhead - 2004 - British Journal for the Philosophy of Science 55 (4):731-737.details
|
|
On interpreting Chaitin's incompleteness theorem.Panu Raatikainen - 1998 - Journal of Philosophical Logic 27 (6):569-586.details
|
|
Yablo's paradox.Graham Priest - 1997 - Analysis 57 (4):236-242.details
|
|
Review. [REVIEW]Andrew Powell - 1992 - British Journal for the Philosophy of Science 43 (2):245-262.details
|
|
Alethic Reference.Lavinia Picollo - 2020 - Journal of Philosophical Logic 49 (3):417-438.details
|
|
Against Fregean Quantification.Bryan Pickel & Brian Rabern - 2023 - Ergo: An Open Access Journal of Philosophy 9 (37):971-1007.details
|
|
Abstract Forms of Quantification in the Quantified Argument Calculus.Edi Pavlović & Norbert Gratzl - 2023 - Review of Symbolic Logic 16 (2):449-479.details
|
|
Lying, computers and self-awareness.Castro Paulo - 2020 - Kairos 24 (1):10–34.details
|
|
Against the Judgment-Dependence of Mathematics and Logic.Alexander Paseau - 2012 - Erkenntnis 76 (1):23-40.details
|
|
Compositionality, Computability, and Complexity.Peter Pagin - 2021 - Review of Symbolic Logic 14 (3):551-591.details
|
|
Ideal Learning Machines.Daniel N. Osherson, Michael Stob & Scott Weinstein - 1982 - Cognitive Science 6 (3):277-290.details
|
|
Chance and Necessity: Hegel’s Epistemological Vision.J. Nescolarde-Selva, J. L. Usó-Doménech & H. Gash - forthcoming - Foundations of Science:1-25.details
|
|
La historia y la gramática de la recursión: una precisión desde la obra de Wittgenstein.Sergio Mota - 2014 - Pensamiento y Cultura 17 (1):20-48.details
|
|
Kleene's amazing second recursion theorem.Yiannis N. Moschovakis - 2010 - Bulletin of Symbolic Logic 16 (2):189 - 239.details
|
|
The Intentionality of Formal Systems.Ard Moer - 2006 - Foundations of Science 11 (1):81-119.details
|
|
On the Possibilities of Hypercomputing Supertasks.Vincent C. Müller - 2011 - Minds and Machines 21 (1):83-96.details
|
|
On Gödel Sentences and What They Say.Peter Milne - 2007 - Philosophia Mathematica 15 (2):193-226.details
|
|
Against Logicist Cognitive Science.Mike Oaksford & Nick Chater - 1991 - Mind and Language 6 (1):1-38.details
|
|
How Arithmetic is about Numbers. A Wittgenestinian Perspective.Felix Mühlhölzer - 2014 - Grazer Philosophische Studien 89 (1):39-59.details
|
|
Open problems in the philosophy of information.Luciano Floridi - 2004 - Metaphilosophy 35 (4):554-582.details
|
|