added 20191221 Wolpert, Chaitin e Wittgenstein em impossibilidade, incompletude, o paradoxo do mentiroso, o teísmo, os limites da computação, um princípio de incerteza mecânica não quântica e o universo como computador — o teorema final na teoria da máquina de Turing (revisado 2019).Michael Richard Starks  2019  In Delírios Utópicos Suicidas no Século XXI Filosofia, Natureza Humana e o Colapso da Civilization Artigos e Comentários 20062019 5ª edição. Las Vegas, NV USA: Reality Press. pp. 183187.details
added 20190415 Hilbert's 10th Problem for Solutions in a Subring of Q.Agnieszka Peszek & Apoloniusz Tyszka  2019  Scientific Annals of Computer Science 29 (1):101111.details
added 20190414 Is Classical Mathematics Appropriate for Theory of Computation?Farzad Didehvar  manuscriptdetails
added 20190224 Review of 'The Outer Limits of Reason' by Noson Yanofsky 403p (2013) (Review Revised 2019).Michael Starks  2019  In Suicidal Utopian Delusions in the 21st Century  Philosophy, Human Nature and the Collapse of Civilization  Articles and Reviews 20062019 4th Edition Michael Starks. Las Vegas, NV USA: Reality Press. pp. 299316.details
added 20180226 Halting Problem Proof From Finite Strings to Final States.Pete Olcott  manuscriptdetails
added 20180220 Defining a Decidability Decider for the Halting Problem.Pete Olcott  manuscriptdetails
added 20171017 Open Problems in Computability Theory That Cannot Be Formally Stated.Apoloniusz Tyszka  manuscriptdetails
added 20170730 Intractability and the Use of Heuristics in Psychological Explanations.Iris Rooij, Cory Wright & Todd Wareham  2012  Synthese 187 (2):471487.details
added 20170112 The Changing Practices of Proof in Mathematics: Gilles Dowek: Computation, Proof, Machine. Cambridge: Cambridge University Press, 2015. Translation of Les Métamorphoses du Calcul, Paris: Le Pommier, 2007. Translation From the French by Pierre Guillot and Marion Roman, $124.00HB, $40.99PB.Andrew Arana  2017  Metascience 26 (1):131135.details
added 20170112 Possible MDiagrams of Models of Arithmetic.Andrew Arana  2005  In Stephen Simpson (ed.), Reverse Mathematics 2001.details
added 20160707 Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny  2018  Noûs 52 (3):530560.details
added 20160512 Automated Theorem Proving and Its Prospects. [REVIEW]Desmond FearnleySander  1995  PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2.details
added 20151012 On the Possibilities of Hypercomputing Supertasks.Vincent C. Müller  2011  Minds and Machines 21 (1):8396.details
added 20150929 A Contradiction and P=NP Problem.Farzad Didehvar  manuscriptdetails
added 20150205 Laws of Form and the Force of Function: Variations on the Turing Test.Hajo Greif  2012  In Vincent C. Müller & Aladdin Ayesh (eds.), Revisiting Turing and His Test: Comprehensiveness, Qualia, and the Real World. AISB. pp. 6064.details
added 20140328 The Theory of Computability Developed in Terms of Satisfaction.James Cain  1999  Notre Dame Journal of Formal Logic 40 (4):515532.details
added 20131209 SingleTape and MultiTape Turing Machines Through the Lens of the Grossone Methodology.Yaroslav Sergeyev & Alfredo Garro  2013  Journal of Supercomputing 65 (2):645663.details
added 20130828 The Decision Problem for Entanglement.Wayne C. Myrvold  1997  In Robert S. Cohen, Michael Horne & John Stachel (eds.), Potentiality, Entanglement, and PassionataDistance: Quantum Mechanical Studies for Abner Shimony. Kluwer Academic Publishers. pp. 177190.details
added 20130828 Computability in Quantum Mechanics.Wayne C. Myrvold  1995  In Werner De PauliSchimanovich, Eckehart Köhler & Friedrich Stadler (eds.), Vienna Circle Institute Yearbook. Kluwer Academic Publishers. pp. 3346.details
added 20130314 Three Concepts of Decidability for General Subsets of Uncountable Spaces.Matthew W. Parker  2003  Theoretical Computer Science 351 (1):213.details
added 20110529 A Paradox Related to the Turing Test.Samuel Alexander  2011  The Reasoner 5 (6):9090.details
added 20110519 Formulas for Computable and NonComputable Functions.Samuel Alexander  2006  RoseHulman Undergraduate Mathematics Journal 7 (2).details
added 20110227 A New Applied Approach for Executing Computations with Infinite and Infinitesimal Quantities.Yaroslav D. Sergeyev  2008  Informatica 19 (4):567596.details

Offcampus access
Using PhilArchive from home?
Create an account to enable offcampus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email

RSS feed

About us
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.
