- Domains of Sciences, Universes of Discourse and Omega Arguments.Jose M. Saguillo - 1999 - History and Philosophy of Logic 20 (3-4):267-290.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
|
|
Internally represented grammars.Gilbert Harman - 1983 - Behavioral and Brain Sciences 6 (3):408.details
|
|
Computational commitment and physical realization.Robert M. Harrish - 1983 - Behavioral and Brain Sciences 6 (3):408-409.details
|
|
Computationalism.Valerie Gray Hardcastle - 1995 - Synthese 105 (3):303-17.details
|
|
A few analogies with computing.Maurice Gross - 1983 - Behavioral and Brain Sciences 6 (3):407.details
|
|
Church's thesis: Prelude to a proof.Janet Folina - 1998 - Philosophia Mathematica 6 (3):302-323.details
|
|
Bounded Immunity and Btt‐Reductions.Stephen Fenner & Marcus Schaefer - 1999 - Mathematical Logic Quarterly 45 (1):3-21.details
|
|
Gödel, Nagel, Minds, and Machines.Solomon Feferman - 2009 - Journal of Philosophy 106 (4):201-219.details
|
|
Diagonalisation and Church's Thesis: Kleene's Homework.Enrique Alonso & Maria Manzano - 2005 - History and Philosophy of Logic 26 (2):93-113.details
|
|
When do representations explain?Daniel C. Dennett - 1983 - Behavioral and Brain Sciences 6 (3):406.details
|
|
On the hypothesis that grammars are mentally represented.William Demopoulos & Robert J. Matthews - 1983 - Behavioral and Brain Sciences 6 (3):405-406.details
|
|
Jean van Heijenoort and the Gödel Editorial Project.John W. Dawson - 2012 - Logica Universalis 6 (3-4):293-299.details
|
|
Church's thesis and representation of grammars.Martin Davis - 1983 - Behavioral and Brain Sciences 6 (3):404-404.details
|
|
Informal and Absolute Proofs: Some Remarks from a Gödelian Perspective.Gabriella Crocco - 2019 - Topoi 38 (3):561-575.details
|
|
The tractarian operation N and expressive completeness.Leo K. C. Cheung - 2000 - Synthese 123 (2):247-261.details
|
|
Subjectivist Propaganda.Ramón Casares - 2023details
|
|
Much shorter proofs: A bimodal investigation.Alessandra Carbone & Franco Montagna - 1990 - Mathematical Logic Quarterly 36 (1):47-66.details
|
|
Much shorter proofs: A bimodal investigation.Alessandra Carbone & Franco Montagna - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):47-66.details
|
|
On a computational perspective without substance.Rudolf P. Botha - 1983 - Behavioral and Brain Sciences 6 (3):403-404.details
|
|
Using what you know: A computer-science perspective.Robert C. Berwick - 1983 - Behavioral and Brain Sciences 6 (3):402-403.details
|
|
Quantum Information Theory and the Foundations of Quantum Mechanics.Christopher Gordon Timpson - 2013 - Oxford, GB: Oxford University Press.details
|
|
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today.Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.) - 2006 - Dordrecht, Netherland: Springer.details
|
|
Cambridge and Vienna: Frank P. Ramsey and the Vienna Circle.Maria Carla Galavotti (ed.) - 2004 - Dordrecht: Springer Verlag.details
|
|
Quantum Information Theory & the Foundations of Quantum Mechanics.Christopher Gordon Timpson - 2004 - Oxford, GB: Oxford University Press.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
|
|
Computation in physical systems.Gualtiero Piccinini - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Alonzo Church.Oliver Marshall & Harry Deutsch - 2021 - Stanford Encyclopedia of Philosophy.details
|
|
Quantum computing.Amit Hagar & Michael Cuffaro - 2019 - Stanford Encyclopedia of Philosophy.details
|
|
Turing machines.David Barker-Plummer - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Generating, solving and the mathematics of Homo Sapiens. Emil Post's views on computation.Liesbeth de Mol - unknowndetails
|
|
In memory of Torkel Franzén.Solomon Feferman - unknowndetails
|
|
The insufficiency of formal design methods.Bruce Edmonds - manuscriptdetails
|
|
Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics.Stewart Shapiro - 2012 - Croatian Journal of Philosophy 26 (2):11--27.details
|
|
Mentalismo, mecanicismo : el nuevo argumento de Penrose. [REVIEW]Enrique Alonso - 2001 - Revista de Filosofía (Madrid) 26 (1):139-164.details
|
|
Gödel, Realism and Mathematical 'Intuition'.Michael Hallett - 2006 - In Emily Carson & Renate Huber (eds.), Intuition and the Axiomatic Method. Springer. pp. 113--131.details
|
|
Soft Axiomatisation: John von Neumann on Method and von Neumann's Method in the Physical Sciences.Miklós Rédei & Michael Stöltzner - 2006 - In Emily Carson & Renate Huber (eds.), Intuition and the Axiomatic Method. Springer. pp. 235--249.details
|
|
Hypertext and the Representational Capacities of the binary Alphabet.Niels Finnemann - 1999 - In Arbejdspapirer no: 77-99, Centre for Cultural Research, Aarhus 1999.details
|
|
What is categorical structuralism?Geoffrey Hellman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 151--161.details
|
|
Dependency grammar.Geert-Jan M. Kruijff - 2006 - In Encyclopedia of Language and Linguistics. pp. 444--450.details
|
|
Is unsaying polite?Berislav Žarnić - 2012 - In Majda Trobok, Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality: Modeling Inference, Action and Understanding. Springer. pp. 201--224.details
|
|
Scientific phenomena and patterns in data.Pascal Ströing - 2018 - Dissertation, Lmu Münchendetails
|
|
The Alan Turing bibliography.Andrew Hodges - manuscriptdetails
|
|
Rule-based and rule-generating systems.Niels Ole Finnemann - 2000 - In P. B. Andersen, Claus Emmeche, N. O. Finnemann & P. V. Christiansen (eds.), Downward Causation. Aarhus, Denmark: University of Aarhus Press. pp. 278-301.details
|
|
Louis Joly as a Platonist Painter?Roger Pouivet - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 337--341.details
|
|