- Cognitive Projects and the Trustworthiness of Positive Truth.Matteo Zicchetti - 2022 - Erkenntnis (8).details
|
|
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method.Carlo Cellucci - 2013 - Dordrecht, Netherland: Springer.details
|
|
Machines, Logic and Wittgenstein.Srećko Kovač - 2021 - Philosophia 49 (5):2103-2122.details
|
|
Gödel’s Philosophical Challenge.Wilfried Sieg - 2020 - Studia Semiotyczne 34 (1):57-80.details
|
|
A Theory of Implicit Commitment for Mathematical Theories.Mateusz Łełyk & Carlo Nicolai - manuscriptdetails
|
|
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
|
|
Отвъд машината на Тюринг: квантовият компютър.Vasil Penchev - 2014 - Sofia: BAS: ISSK (IPS).details
|
|
Ideen zu einer Kritik ‚algorithmischer‘ Rationalität.Dieter Mersch - 2019 - Deutsche Zeitschrift für Philosophie 67 (5):851-873.details
|
|
Computers Are Syntax All the Way Down: Reply to Bozşahin.William J. Rapaport - 2019 - Minds and Machines 29 (2):227-237.details
|
|
Three Dogmas of First-Order Logic and some Evidence-based Consequences for Constructive Mathematics of differentiating between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand - manuscriptdetails
|
|
The Necessity of Mathematics.Juhani Yli‐Vakkuri & John Hawthorne - 2018 - Noûs 52 (3):549-577.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
|
|
Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny - 2018 - Noûs 52 (3):530-560.details
|
|
Olympia and Other O-Machines.Colin Klein - 2015 - Philosophia 43 (4):925-931.details
|
|
Humanities’ metaphysical underpinnings of late frontier scientific research.Alcibiades Malapi-Nelson - 2014 - Humanities 214 (3):740-765.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
|
|
Superminds: People Harness Hypercomputation, and More.Mark Phillips, Selmer Bringsjord & M. Zenzen - 2003 - Dordrecht, Netherland: Springer Verlag.details
|
|
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.details
|
|
The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt - 2014 - Logica Universalis 8 (3-4):499-552.details
|
|
Iterated local reflection versus iterated consistency.Lev Beklemishev - 1995 - Annals of Pure and Applied Logic 75 (1-2):25-48.details
|
|
Gödel's Incompleteness Theorems.Panu Raatikainen - 2013 - The Stanford Encyclopedia of Philosophy (Winter 2013 Edition), Edward N. Zalta (Ed.).details
|
|
On Floridi’s Method of Levels of Abstraction.Jan van Leeuwen - 2014 - Minds and Machines 24 (1):5-17.details
|
|
Intuition, Computation, and Information.Ken Herold - 2014 - Minds and Machines 24 (1):85-88.details
|
|
Frege's Principle.Richard Heck - 1995 - In Jaakko Hintikka (ed.), From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics. Kluwer Academic Publishers.details
|
|
Godel's program for new axioms: Why, where, how and what?Solomon Feferman - unknowndetails
|
|
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
|
|
Using biased coins as oracles.Toby Ord & Tien D. Kieu - 2009 - International Journal of Unconventional Computing 5:253-265.details
|
|
The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.details
|
|
The Alan Turing bibliography.Andrew Hodges - manuscriptdetails
|
|
Physical hypercomputation and the church–turing thesis.Oron Shagrir & Itamar Pitowsky - 2003 - Minds and Machines 13 (1):87-101.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
|
|
Accelerating Turing machines.B. Jack Copeland - 2002 - Minds and Machines 12 (2):281-300.details
|
|
Hypercomputation.B. Jack Copeland - 2002 - Minds and Machines 12 (4):461-502.details
|
|
On the possibility of completing an infinite process.Charles S. Chihara - 1965 - Philosophical Review 74 (1):74-87.details
|
|
Toward a formal philosophy of hypercomputation.Selmer Bringsjord & Michael Zenzen - 2002 - Minds and Machines 12 (2):241-258.details
|
|
Computing mechanisms.Gualtiero Piccinini - 2007 - Philosophy of Science 74 (4):501-526.details
|
|
Recipes, algorithms, and programs.Carol E. Cleland - 2001 - Minds and Machines 11 (2):219-237.details
|
|
Beyond the universal Turing machine.Jack Copeland - 1999 - Australasian Journal of Philosophy 77 (1):46-67.details
|
|
The broad conception of computation.Jack Copeland - 1997 - American Behavioral Scientist 40 (6):690-716.details
|
|
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.details
|
|
Turing's o-machines, Searle, Penrose, and the brain.Jack Copeland - 1998 - Analysis 58 (2):128-138.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Alonzo Church.Oliver Marshall & Harry Deutsch - 2021 - Stanford Encyclopedia of Philosophy.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
|
|
Naïve validity.Julien Murzi & Lorenzo Rossi - 2017 - Synthese 199 (Suppl 3):819-841.details
|
|
The machine as data: a computational view of emergence and definability.S. Barry Cooper - 2015 - Synthese 192 (7):1955-1988.details
|
|
Penrose's Gödelian Argument A Review of Shadows of the Mind by Roger Penrose. [REVIEW]S. Feferman - 1995 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2:21-32.details
|
|
Independent axiomatizability of sets of sentences.Piotr Wojtylak - 1989 - Annals of Pure and Applied Logic 44 (3):259-299.details
|
|
Intervals containing exactly one c.e. degree.Guohua Wu - 2007 - Annals of Pure and Applied Logic 146 (1):91-102.details
|
|
Practical Intractability: A Critique of the Hypercomputation Movement. [REVIEW]Aran Nayebi - 2014 - Minds and Machines 24 (3):275-305.details
|
|