- Informal and Absolute Proofs: Some Remarks from a Gödelian Perspective.Gabriella Crocco - 2019 - Topoi 38 (3):561-575.details
|
|
Turing's O-machines, Searle, Penrose and the brain.B. J. Copeland - 1998 - Analysis 58 (2):128-138.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
|
|
Creativity refined: Bypassing the gatekeepers of appropriateness and value.Alan Dorin & Kevin Korb - unknowndetails
|
|
On bimodal logics of provability.Lev D. Beklemishev - 1994 - Annals of Pure and Applied Logic 68 (2):115-159.details
|
|
Elementary differences between the degrees of unsolvability and degrees of compressibility.George Barmpalias - 2010 - Annals of Pure and Applied Logic 161 (7):923-934.details
|
|
(1 other version)Da metamatemática para a ciência cognitiva.Henrique de Morais Ribeiro - 1999 - Trans/Form/Ação 21 (1):181-193.details
|
|
Intuitionism and the liar paradox.Nik Weaver - 2012 - Annals of Pure and Applied Logic 163 (10):1437-1445.details
|
|
The Alan Turing bibliography.Andrew Hodges - manuscriptdetails
|
|
On the Anti-Mechanist Arguments Based on Gödel’s Theorem.Stanisław Krajewski - 2020 - Studia Semiotyczne 34 (1):9-56.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
|
|
On the limit existence principles in elementary arithmetic and Σ n 0 -consequences of theories.Lev D. Beklemishev & Albert Visser - 2005 - Annals of Pure and Applied Logic 136 (1-2):56-74.details
|
|
The many forms of hypercomputation.Toby Ord - 178 - Journal of Applied Mathematics and Computation 178:142-153.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
|
|
Using biased coins as oracles.Toby Ord & Tien D. Kieu - 2009 - International Journal of Unconventional Computing 5:253-265.details
|
|
Toward a formal philosophy of hypercomputation.Selmer Bringsjord & Michael Zenzen - 2002 - Minds and Machines 12 (2):241-258.details
|
|
Intuition and Ingenuity: Gödel on Turing’s “Philosophical Error”.Long Chen - 2022 - Philosophies 7 (2):33.details
|
|
The Questioning Turing Test.Nicola Damassino - 2020 - Minds and Machines 30 (4):563-587.details
|
|
(1 other version)Scanlon's contractualism and the redundancy objection.Philip Stratton–Lake - 2003 - Analysis 63 (1):70-76.details
|
|
The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt - 2014 - Logica Universalis 8 (3-4):499-552.details
|
|
Deciding the undecidable: Wrestling with Hilbert's problems.Solomon Feferman - manuscriptdetails
|
|
Turing: The Great Unknown.Aurea Anguera, Juan A. Lara, David Lizcano, María-Aurora Martínez, Juan Pazos & F. David de la Peña - 2020 - Foundations of Science 25 (4):1203-1225.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
|
|
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
|
|
Provability algebras and proof-theoretic ordinals, I.Lev D. Beklemishev - 2004 - Annals of Pure and Applied Logic 128 (1-3):103-123.details
|
|
Intervals containing exactly one c.e. degree.Guohua Wu - 2007 - Annals of Pure and Applied Logic 146 (1):91-102.details
|
|
Effective procedures and computable functions.Carole E. Cleland - 1995 - Minds and Machines 5 (1):9-23.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
|
|
On Turing’s legacy in mathematical logic and the foundations of mathematics.Joan Bagaria - 2013 - Arbor 189 (764):a079.details
|
|
The machine as data: a computational view of emergence and definability.S. Barry Cooper - 2015 - Synthese 192 (7):1955-1988.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
|
|
Olympia and Other O-Machines.Colin Klein - 2015 - Philosophia 43 (4):925-931.details
|
|
Super turing-machines.B. Jack Copeland - 1998 - Complexity 4 (1):30-32.details
|
|
Turingin testi, interrogatiivimalli ja tekoäly.Arto Mutanen & Ilpo Halonen - 2020 - Ajatus 77 (1):169-204.details
|
|
Using Kreisel’s Way Out to Refute Lucas-Penrose-Putnam Anti-Functionalist Arguments.Jeff Buechner - 2020 - Studia Semiotyczne 34 (1):109-158.details
|
|
Does Science Progress Towards Ever Higher Solvability Through Feedbacks Between Insights and Routines?Witold Marciszewski - 2018 - Studia Semiotyczne 32 (2):153-185.details
|
|
(1 other version)Reducibility orderings: Theories, definability and automorphisms.Anil Nerode & Richard A. Shore - 1980 - Annals of Mathematical Logic 18 (1):61-89.details
|
|
Informal versus formal mathematics.Francisco Antonio Doria - 2007 - Synthese 154 (3):401-415.details
|
|
Truth vs. provability – philosophical and historical remarks.Roman Murawski - 2002 - Logic and Logical Philosophy 10:93.details
|
|
Intuition, Computation, and Information.Ken Herold - 2014 - Minds and Machines 24 (1):85-88.details
|
|
Turing’s algorithmic lens: From computability to complexity theory.Josep Díaz & Carme Torras - 2013 - Arbor 189 (764):a080.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
|
|
Truth-conditional pragmatics: an overview.Francois Recanati - 2008 - In Paolo Bouquet, Luciano Serafini & Richmond H. Thomason (eds.), Perspectives on Contexts. Center for the Study of Language and Inf. pp. 171-188.details
|
|
Extending and interpreting Post’s programme.S. Barry Cooper - 2010 - Annals of Pure and Applied Logic 161 (6):775-788.details
|
|