Thus something as simple as a newspaper might be specified to six levels, as in Douglas Hofstadter's illustration of that ambiguity, with a progression from abstract to concrete in Gödel, Escher, Bach ( 1979 ):

Within philosophy familiar names include Daniel Dennett who writes from a computational systems perspective, John Searle known for his controversial Chinese room, Jerry Fodor who advocates functionalism, and Douglas Hofstadter, famous for writing Gödel, Escher, Bach, which questions the nature of words and thought.

He is best known for his book Gödel, Escher, Bach: an Eternal Golden Braid, first published in 1979.

Hofstadter's thesis about consciousness, first expressed in Gödel, Escher, Bach ( GEB ) but also present in several of his later books, is that it is an emergent consequence of seething lower-level activity in the brain.

* Gödel, Escher, Bach: an Eternal Golden Braid ( ISBN 0-465-02656-7 ) ( 1979 )

A typical description of the problem is given in the book Gödel, Escher, Bach, by Douglas Hofstadter

Typical of these references is Gödel, Escher, Bach by Douglas Hofstadter, which accords the paradox a prominent place in a discussion of self-reference.

* MU puzzle, a puzzle in Gödel, Escher, Bach

Gödel, Escher, Bach by Douglas Hofstadter, published in 1979, discusses the ideas of self-reference and strange loops, drawing on a wide range of artistic and scientific work, including the art of M. C. Escher and the music of J. S. Bach, to illustrate ideas behind Gödel's incompleteness theorems.

The name " quine " was coined by Douglas Hofstadter, in his popular science book Gödel, Escher, Bach: An Eternal Golden Braid, in the honor of philosopher Willard Van Orman Quine ( 1908 – 2000 ), who made an extensive study of indirect self-reference, and in particular for the following paradox-producing expression, known as Quine's paradox:

* Gödel, Escher, Bach by Douglas Hofstadter ( detailed discussion and many examples )

* In Gödel, Escher, Bach by Douglas Hofstadter, the various chapters are separated by dialogues between Achilles and the tortoise, inspired by Lewis Carroll ’ s works.

Author Douglas Hofstadter, in Gödel, Escher, Bach, characterizes the distinction in this way.

The concept of a strange loop was proposed and extensively discussed by Douglas Hofstadter in Gödel, Escher, Bach, and is further elaborated in Hofstadter's book I Am a Strange Loop, published in 2007.

Gödel, Escher, Bach: An Eternal Golden Braid ( commonly GEB ) is a 1979 book by Douglas Hofstadter, described by his publishing company as " a metaphorical fugue on minds and machines in the spirit of Lewis Carroll ".

On its surface, GEB examines logician Kurt Gödel, artist M. C. Escher and composer Johann Sebastian Bach, discussing common themes in their work and lives.

ca: Gödel, Escher, Bach

cs: Gödel, Escher, Bach

de: Gödel, Escher, Bach

et: Gödel, Escher, Bach

es: Gödel, Escher, Bach: un Eterno y Grácil Bucle

fr: Gödel, Escher, Bach: Les Brins d ' une Guirlande Éternelle

is: Gödel, Escher, Bach

Goldwasser has twice won the Gödel Prize in theoretical computer science: first in 1993 ( for " The knowledge complexity of interactive proof systems "), and again in 2001 ( for " Interactive Proofs and the Hardness of Approximating Cliques ").

Micali won the Gödel Prize in 1993.

One of the most lucid statements of a Gödel based anti-mechanism argument can be found in Douglas Hofstadter's Pulitzer Prize winning book Gödel, Escher, Bach: An Eternal Golden Braid.

Douglas Hofstadter, in his Pulitzer prize winning book Gödel, Escher, Bach: An Eternal Golden Braid, explains that these " Gödel-statements " always refer to the system itself, similar to the way the Epimenides paradox uses statements that refer to themselves, such as " this statement is false " or " I am lying ".

* Johan Håstad, two-time Gödel Prize winner

It is also affiliated with 4 Gödel Prize winners, 4 Knuth Prize recipients, 10 IJCAI Computers and Thought Award winners, and about 15 Grace Murray Hopper Award winners for their work in the foundations of computer science.

Sanjeev Arora and Joseph S. B. Mitchell were awarded the Gödel Prize in 2010 for their concurrent discovery of a PTAS for the Euclidean TSP.

Category: Gödel Prize laureates

Category: Gödel Prize laureates

The authors received many accolades, including the 2006 Gödel Prize and the 2006 Fulkerson Prize, for this work.

* 2006 Gödel Prize Citation

* Gödel Prize Recipients Shafi Goldwasser ( two-time recipient ), Silvio Micali, Charles Rackoff, Johan Håstad, Peter Shor, and Madhu Sudan

Work at the institute is regularly recognized by national or international research awards, such as the Lanchester Prize prize ( awarded yearly by INFORMS ), the Gödel Prize ( awarded by ACM SIGACT ) or the Spinoza prize.

The Gödel Prize is a prize for outstanding papers in theoretical computer science, named after Kurt Gödel and awarded jointly by the European Association for Theoretical Computer Science ( EATCS ) and the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory ( ACM SIGACT ).

The Gödel Prize has been awarded annually since 1993.

The notion of natural proofs was introduced by Alexander Razborov and Steven Rudich in their article Natural proofs, first presented in 1994, and later published in 1997, for which they received the 2007 Gödel Prize.

Category: Gödel Prize laureates

* Daniel Spielman, computer scientist, Gödel Prize laureate, and Yale University professor

Category: Gödel Prize laureates

This result was independently discovered by Neil Immerman and Róbert Szelepcsényi in 1987 ( Immerman-Szelepcsényi Theorem ), who received the 1995 Gödel Prize for this work.

Most notably, the result of Róbert Szelepcsényi on the closure of nondeterministic space under complement, independently obtained also by N. Immerman, brought the prestigious Gödel Prize of the ACM and EATCS to both of them in 1995.