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).

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Cognition is not computation: The argument from irreversibility.Selmer Bringsjord - 1997 - Synthese 113 (2):285-320.
Kurt Gödel and the foundations of mathematics: horizons of truth.Matthias Baaz (ed.) - 2011 - New York: Cambridge University Press.
Reflections on gödel's and Gandy's reflections on Turing's thesis.David Israel - 2002 - Minds and Machines 12 (2):181-201.
The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem.Saul A. Kripke - 2013 - In B. J. Copeland, C. Posy & O. Shagrir (eds.), Computability: Gödel, Turing, Church, and beyond. MIT Press.
Semantics of Information as Interactive Computation.Gordana Dodig-Crnkovic - 2008 - Proceedings of the Fifth International Workshop on Philosophy and Informatics 2008.
Remarks On GÖDel Phenomena and the Field of Reals.Harvey M. Friedman - unknown
Philosophical Consequences of the Gödel Theorem.Alfred Driessen - 2005 - In Eeva Martikainen (ed.), Human Approaches to the Universe. Luther-Agricola-Society.
Thinking and computing: Computers as special kinds of signs. [REVIEW]James H. Fetzer - 1997 - Minds and Machines 7 (3):345-364.
In computation, parallel is nothing, physical everything.Selmer Bringsjord - 2001 - Minds and Machines 11 (1):95-99.
Gödel and 'the objective existence' of mathematical objects.Pierre Cassou-Noguès - 2005 - History and Philosophy of Logic 26 (3):211-228.
The interactive nature of computing: Refuting the strong church–turing thesis. [REVIEW]Dina Goldin & Peter Wegner - 2008 - Minds and Machines 18 (1):17-38.
Notions of Information: Remarks on Fresco’s Paper.Graham White - 2013 - Philosophy and Technology 26 (1):61-65.
Wittgenstein as his own worst enemy: The case of gödel's theorem.Mark Steiner - 2001 - Philosophia Mathematica 9 (3):257-279.
Critiques of knowing: situated textualities in science, computing, and the arts.Lynette Hunter - 1999 - New York: Routledge.

Analytics

Added to PP
2010-12-22

Downloads
77 (#214,850)

6 months
6 (#509,130)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Selmer Bringsjord
Rensselaer Polytechnic Institute

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references