- Soundness does not come for free (if at all).Kaave Lajevardi & Saeed Salehi - manuscriptdetails
|
|
(1 other version)Simulating Termination Analyzer H is Not Fooled by Pathological Input D.P. Olcott - manuscriptdetails
|
|
Acting and the Self.Sara Bizarro - 2014 - In Alexander Gerner & Jorge Gonçalves (eds.), Altered Self and Altered Self Experience. pp. 59-73.details
|
|
Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston Universitydetails
|
|
Chinese Landscape Aesthetics: the Exchange and Nurturing of Emotions.Claudia Westermann - 2020 - In Jutta Kehrer (ed.), New Horizons: Eight Perspectives on Chinese Landscape Architecture Today. De Gruyter. pp. 34-37.details
|
|
On Controllability of Artificial Intelligence.Roman Yampolskiy - 2016details
|
|
Reciprocal Influences Between Proof Theory and Logic Programming.Dale Miller - 2019 - Philosophy and Technology 34 (1):75-104.details
|
|
The Civilization at a Crossroads: Constructing the Paradigm Shift.Gennady Shkliarevsky - 2017 - Raleigh, NC: Glasstree Publishing.details
|
|
Theories of Consciousness & Death.Gregory Nixon (ed.) - 2016 - New York, USA: QuantumDream.details
|
|
Truth and Scientific Change.Gila Sher - 2017 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 48 (3):371-394.details
|
|
Creating Reality.Bruce Bokor - manuscriptdetails
|
|
Homo deceptus: How language creates its own reality.Bruce Bokor - manuscriptdetails
|
|
A Psycho-ontological Analysis of Genesis 2-6.Jordan B. Peterson - 2007 - Archive for the Psychology of Religion 29 (1):87-125.details
|
|
Artificial intelligence and symbols.Chris Moss - 1989 - AI and Society 3 (4):345-356.details
|
|
Presences of the Infinite: J.M. Coetzee and Mathematics.Peter Johnston - 2013 - Dissertation, Royal Holloway, University of Londondetails
|
|
Peculiarities in Mind; Or, on the Absence of Darwin.Tanya de Villiers-Botha - 2011 - South African Journal of Philosophy 30 (3):282-302.details
|
|
Positivism and Constructivism, Truth and 'Truth'.Jim Mackenzie - 2011 - Educational Philosophy and Theory 43 (5):534-546.details
|
|
Church's Thesis and the Conceptual Analysis of Computability.Michael Rescorla - 2007 - Notre Dame Journal of Formal Logic 48 (2):253-280.details
|
|
(1 other version)Information recovery problems.John Corcoran - 1995 - Theoria 10 (3):55-78.details
|
|
Mathematics, the empirical facts, and logical necessity.John C. Harsanyi - 1983 - Erkenntnis 19 (1-3):167 - 192.details
|
|
On a certain fallacy concerning I-am-unprovable sentences.Kaave Lajevardi & Saeed Salehi - manuscriptdetails
|
|
A Poetics of Designing.Claudia Westermann - 2019 - In Thomas Fischer & Christiane M. Herr (eds.), Design Cybernetics: Navigating the New. Springer Verlag. pp. 233-245.details
|
|
Philosophical foundations of the Death and Anti-Death discussion.Jeremy Horne - 2017 - Death And Anti-Death Set of Anthologies 15:72.details
|
|
A Theorem about Computationalism and “Absolute” Truth.Arthur Charlesworth - 2016 - Minds and Machines 26 (3):205-226.details
|
|
Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence.José M. Sagüillo - 2009 - History and Philosophy of Logic 30 (1):21-48.details
|
|
The double standard in ontology.Mark Wilson - 1981 - Philosophical Studies 39 (4):409 - 427.details
|
|
Google and Gödel.Thomas Oberdan - 2009 - Bulletin of Science, Technology and Society 29 (6):464-469.details
|
|
(1 other version)Robert B. horn (illustrator), Jeff Yoshimi, mark deering, Russ McBride, David Fleischman (illustrator), Thierry didonna (illustrator), Jennifer wedel (editor), mapping great debates. Can computers think?: 7 maps and a handbook. [REVIEW]Ayse Pinar Saygin - 2001 - Minds and Machines 11 (3):442-445.details
|
|
Reflections on gödel's and Gandy's reflections on Turing's thesis.David Israel - 2002 - Minds and Machines 12 (2):181-201.details
|
|
Hilbert's philosophy of mathematics.Marcus Giaquinto - 1983 - British Journal for the Philosophy of Science 34 (2):119-132.details
|
|
The Source of Chaitin's Incorrectness.Don Fallis - 1996 - Philosophia Mathematica 4 (3):261-269.details
|
|
Manfred Spitzer, the mind within the net. Models of learning, thinking, and acting.Kenneth Aizawa - 2001 - Minds and Machines 11 (3):445-448.details
|
|
Frege’s Habilitationsschrift: Magnitude, Number and the Problems of Computability.Juan Luis Gastaldi - unknowndetails
|
|
Putnam, Peano, and the Malin Génie: could we possibly bewrong about elementary number-theory?Christopher Norris - 2002 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 33 (2):289-321.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
|
|
(1 other version)On Floyd and Putnam on Wittgenstein on Gödel.Timothy Bays - 2004 - Journal of Philosophy 101 (4):197-210.details
|
|
Intentional gaps in mathematical proofs.Don Fallis - 2003 - Synthese 134 (1-2):45 - 69.details
|
|
Bourgeois Ideology and Mathematical Economics – A Reply to Tony Lawson.Brian O'Boyle & Terrence McDonough - 2017 - Economic Thought 6 (1):16.details
|
|
Reflexive consistency proofs and gödel's second theorem.Paul Sagal - 1989 - Philosophia Mathematica (1):58-60.details
|
|
Communication and strong compositionality.Peter Pagin - 2003 - Journal of Philosophical Logic 32 (3):287-322.details
|
|
Sequence mapping in a three-dimensional space by a numeric method and some of its applications.Leonard R. Lareo & Orlando E. Acevedo - 1999 - Acta Biotheoretica 47 (2):123-128.details
|
|
A semiotic analysis of multiple systems of logic: using tagmemic theory to assess the usefulness and limitations of formal logics, and to produce a mathematical lattice model including multiple systems of logic.Vern Poythress - 2022 - Semiotica 2022 (244):145-162.details
|
|
La méthode axiomatique durant la crise des fondements.Mathieu Bélanger - 2013 - In . Les Cahiers D'Ithaque.details
|
|
Macroscopic Time Evolution and MaxEnt Inference for Closed Systems with Hamiltonian Dynamics.Domagoj Kuić, Paško Županović & Davor Juretić - 2012 - Foundations of Physics 42 (2):319-339.details
|
|
Socially useful artificial intelligence.Richard Ennals - 1987 - AI and Society 1 (1):5-15.details
|
|
Contribución al debate sobre el papel del sujeto investigador, en particular, y del sujeto en general en la producción de conocimiento.Manuel Montañés Serrano - 2002 - Recerca.Revista de Pensament I Anàlisi 2 (2):19-36.details
|
|
Evolutionary dynamics of knowledge.Carlos M. Parra & Masakazu Yano - 2006 - Complexity 11 (5):12-19.details
|
|