Towards an Actual Gödel Machine Implementation: a Lesson in Self-Reflective Systems

&
In Pei Wang & Ben Goertzel (eds.), Theoretical Foundations of Artificial General Intelligence. Springer. pp. 173--195 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Computer Simulations as Experiments.Anouk Barberousse, Sara Franceschelli & Cyrille Imbert - 2009 - Synthese 169 (3):557 - 574.
Menschen, maschinen und gödels theorem.Rosemarie Rheinwald - 1991 - Erkenntnis 34 (1):1 - 21.
Gödel's incompleteness theorems and computer science.Roman Murawski - 1997 - Foundations of Science 2 (1):123-135.
Supervenience and implementation.Aaron Sloman - 1998
Abstract complexity theory and the mind-machine problem.Albert E. Lyngzeidetson & Martin K. Solomon - 1994 - British Journal for the Philosophy of Science 45 (2):549-54.
From closed to open systems.Carlo Cellucci - 1993 - In J. Czermak (ed.), Philosophy of Mathematics, pp. 206-220. Hölder-Pichler-Tempsky.
After Gödel: Mechanism, Reason, and Realism in the Philosophy of Mathematics.Richard Tieszen - 2006 - Philosophia Mathematica 14 (2):229-254.
Human and machine interpretation of expressions in formal systems.Herbert A. Simon & Stuart A. Eisenstadt - 1998 - Synthese 116 (3):439-461.
Closed Timelike Curves and Time Travel: Dispelling the Myth. [REVIEW]F. I. Cooperstock & S. Tieu - 2005 - Foundations of Physics 35 (9):1497-1509.
The (lack of) mental life of some machines.Tomer Fekete & Shimon Edelman - 2012 - In Shimon Edelman, Tomer Fekete & Neta Zach (eds.), Being in Time: Dynamical Models of Phenomenal Experience. John Benjamins.. pp. 88--95.
Godel, Lucas, and mechanical models of mind.Robert F. Hadley - 1987 - Computational Intelligence 3:57-63.
A model of agent consciousness and its implementation.Ivan Moura - 2006 - Neurocomputing 69 (16-18):1984-1995.
Human centred systems: An urgent problem for systems designers. [REVIEW]Mike Cooley - 1987 - AI and Society 1 (1):37-46.
Consistency, mechanicalness, and the logic of the mind.Qiuen Yu - 1992 - Synthese 90 (1):145-79.

Analytics

Added to PP
2014-02-01

Downloads
35 (#431,398)

6 months
5 (#526,961)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references