The Impact of Computing on Epistemology: Knowing Gödel's Mind Through Computation
| Abstract | I know that those of you who know my mind know that I think I know that we can't know Gödel's mind through computation: ``The Impact : Failing to Know " If computationalism is false, observant philosophers willing to get their hands dirty should be able to find tell-tale signs today: automated theorem proving tomorrow (Eastern APA): robots as zombanimals But let's start with little 'ol me, and literary, not mathematical, creativity: Selmer (samples) vs. Brutus1 (samples again). | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
|
| Through your library | Only published papers are available at libraries |
Selmer Bringsjord (1998). Cognition is Not Computation: The Argument From Irreversibility. Synthese 113 (2):285-320.
Matthias Baaz (ed.) (2011). Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge University Press.
David Israel (2002). Reflections on Gödel's and Gandy's Reflections on Turing's Thesis. Minds and Machines 12 (2):181-201.
Saul A. Kripke (forthcoming). Another Approach: The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem. In B. J. Copeland, C. Posy & O. Shagrir (eds.), Computability: Gödel, Turing, Church, and beyond. MIT Press.
Gordana Dodig-Crnkovic, Semantics of Information as Interactive Computation. Proceedings of the Fifth International Workshop on Philosophy and Informatics 2008.
Selmer Bringsjord (1999). The Zombie Attack on the Computational Conception of Mind. Philosophy and Phenomenological Research 59 (1):41-69.
Alfred Driessen (2005). Philosophical Consequences of the Gödel Theorem. In Eeva Martikainen (ed.), Human Approaches to the Universe. Luther-Agricola-Society.
James H. Fetzer (1997). Thinking and Computing: Computers as Special Kinds of Signs. Minds and Machines 7 (3):345-364.
Selmer Bringsjord (2001). In Computation, Parallel is Nothing, Physical Everything. Minds and Machines 11 (1):95-99.
Pierre Cassou-Noguès (2005). Gödel and 'the Objective Existence' of Mathematical Objects. History and Philosophy of Logic 26 (3):211-228.
Dina Goldin & Peter Wegner (2008). The Interactive Nature of Computing: Refuting the Strong Church–Turing Thesis. Minds and Machines 18 (1).
Graham White (2013). Notions of Information: Remarks on Fresco's Paper. Philosophy and Technology 26 (1):61-65.
Mark Steiner (2001). Wittgenstein as His Own Worst Enemy: The Case of Gödel's Theorem. Philosophia Mathematica 9 (3):257-279.
Monthly downloads |
Added to index2010-12-22Total downloads11 ( #99,458 of 549,014 )Recent downloads (6 months)2 ( #37,272 of 549,014 )How can I increase my downloads? |

