Rather in correspondence with Church ( ca 1934 – 5 ), Gödel proposed axiomatizing the notion of " effective calculability "; indeed, in a 1935 letter to Kleene, Church reported that:

Many years later in a letter to Davis ( ca 1965 ), Gödel would confess that " he was, at the time of these lectures, not at all convinced that his concept of recursion comprised all possible recursions ".

ca: Demostració ontològica de Gödel

ca: Teorema d ' incompletesa de Gödel

ca: Nombre de Gödel

ca: Maurits Cornelis Escher

ca: Escher

ca: Bach ( desambiguació )

ca: Carl Philipp Emanuel Bach

ca: Flors de Bach

ca: Suites per a violoncel sol ( Bach )

ca: Johann Gottfried Bernhard Bach

ca: Johann Christian Bach

ca: Bach Werke Verzeichnis

ca: Concert per a violí en la menor ( Bach )

ca: Concert per a violí en mi major ( Bach )

ca: Johann Aegidius Bach

ca: Família Bach

ca: Wilhelm Friedrich Ernst Bach

ca: Quadern d ' Anna Magdalena Bach

ca: Concert per a dos violins ( Bach )

This is notable in " O Mensch, bewein dein ’ Sünde groß ", the conclusion of the first half – a movement which Bach also used as an opening chorus for the second version ( 1725 ) of his St John Passion ( later – ca.

ca: Anna Magdalena Bach

ca: Categoria: Família Bach

ca: Categoria: Obres de Johann Sebastian Bach

ca: Sonates i partites per a violí sol ( Bach )

ca: Maria Bàrbara Bach

ca: Johann Christoph Bach I

Bach's own table of ornaments ( Bach copied D ' Anglebert's table ca.

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.

Gödel, Escher, Bach won the Pulitzer Prize for general non-fiction

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