Gödel, Escher, Bach An Eternal Golden Braid by Douglas R. Hofstadter

immutable pillar of the machine's system, but could be overridden on occasion, then: The system will have ceased to be a formal ...

power equal to that of FlooP-that is, in which all partial recursive functions can be programmed. It should also be pointed out ...

would put us in hot water, for if theoremhood is a representable attribute, then Godel's formula G becomes as vicious as the Epi ...

When interpreted, it says: "The arithmoquinification of t is the Godel number of a false statement." But since the arithmoquinif ...

some sort of inner meaning inside the picture, a multidimensional aspect trapped somehow inside those two dimensions. It is the ...

preter" in this context, I mean not the performer of the piece, but the mental mechanism in the listener which derives meaning w ...

person, depending on the circumstances. These various interpreters pull out different meanings, establish different connections, ...

far, then presumably the rest of the discussion could be carried on when we know something about the constitution of the "symbol ...

SHRDLU, Toy of Man's Designing l One day, Eta Oin wanders into the MIT Artificial Intelligence Laboratory, where she runs into t ...

x blue red green green FIGURE 111. "Find a block which is bigger than the one you are holding and put it into the box." [Adapted ...

Dr. Tony Earrwig: Negatives such as "not" and "no" are handled whether they appear in clauses or noun groups (such as "no boxes" ...

x green FIGURE 112. "Will you please stack up both of the red blocks and either a green cube or a pyramid?" [Adapted from Terry ...

Eta Oin: which cube is sitting on the table? SHRDLU: THE LARGE GREE;-.J ONE WHICH SUPPORTS THE RED PYRAMID. Dr. Tony Earrwig: O ...

Dr. Tony Earrwig: SHRDLU remembers immediately previous sentences to understand questions like this and the following ones. SHRD ...

tion about the basic properties of objects, including location. It checks any statements about these to see whether it agrees or ...

Dr. Tony Earrwig: There is no record in SHRDLU's memory of any block being dropped. The answer routines have special checks for ...

594 CHAPTER XVIII Artificial Intelligence: Retrospects Turing IN 1950, ALAN TURING wrote a most prophetic and provocative articl ...

telligence when it first came under attack. One of his best friends was David Champernowne (who later worked on computer composi ...

We now ask the question, "What will happen when a machine takes the part of A in this game?" Will the interrogator decide wrongl ...

line of thought, usually turning up a seeming contradiction at some stage and, by refining his concepts, resolving it at a deepe ...