GEB: Exploring Douglas R. Hofstadter's Strange Loops

Click For Summary
SUMMARY

The forum discussion centers on Douglas R. Hofstadter's book "Gödel, Escher, Bach" (GEB), which explores the concept of "strange loops" as a means to understand consciousness. Participants express admiration for Hofstadter's insights into Gödel's Incompleteness Theorem and the connections he makes between mathematics, art, and music. However, there is a consensus that readers should approach his ideas with a critical mindset, considering the book's age and the evolution of artificial intelligence since its publication. The discussion highlights Hofstadter's toy programming languages—BlooP, FlooP, and GlooP—as significant contributions to theoretical computer science.

PREREQUISITES
  • Understanding of Gödel's Incompleteness Theorem
  • Familiarity with theoretical computer science concepts
  • Basic knowledge of artificial intelligence principles
  • Interest in the intersections of mathematics, art, and music
NEXT STEPS
  • Explore the implications of Gödel's Incompleteness Theorem in modern mathematics
  • Study the principles of lambda calculus and its applications
  • Investigate the evolution of artificial intelligence techniques since the publication of GEB
  • Analyze the role of inspiration in problem-solving within software engineering
USEFUL FOR

This discussion is beneficial for mathematicians, computer scientists, cognitive scientists, and anyone interested in the philosophical implications of consciousness and creativity as explored through Hofstadter's work.

PetSounds
Messages
47
Reaction score
29
Lately, I've been hooked on Douglas R. Hofstadter's book Gödel, Escher, Bach. In it, he discusses the idea of "strange loops"—often apparent logical paradoxes—and argues that they are the key to understanding consciousness. He includes witty dialogues, as well as examples of "strange loops" in math, art, and music.

What are PF's thoughts on GEB? On one hand, I find myself nodding along as Hofstadter connects his loops to consciousness. On the other, I wonder if he doesn't stretch things and make assertions. I'm not always knowledgeable enough to make that judgement. (Still in high school—still learning the basics. :smile:)

It's a delightful read. But how seriously should I take it?

(Note to mods: Wasn't sure to which forum this topic belonged. Please move it if you think it's better suited elsewhere.)
 
Science news on Phys.org
I read it when it first came out, and I still think it is one of the best - and most thought-provoking -science books written. As a mathematician I loved his take on the proof of Gödel incompleteness theorem (the original version is not very readable).
 
  • Like
Likes Michael Price
PetSounds said:
It's a delightful read. But how seriously should I take it?

This article: https://www.theatlantic.com/magazin...man-who-would-teach-machines-to-think/309529/ indicates Hoftstadter is not in the mainstream of current artificial intelligence techniques - but his interest is in consciousness, which is not necessarily the same thing as "thinking", if we allow that unconscious goings-on may accomplish thinking. Whether you should take Hofstadter seriously depends on your purposes.
 
I have read GEB, and agree that it is among the most thought-provoking books that I've read, and it was among the first places where I developed an understanding of Gödel's Incompleteness Theorem, as well as informative views on topics in areas of theoretical computer science, artificial intelligence, and cognitive science, with delightful diversions into music, art, philosophy, among others.

As a source of inspiration, it is a great book (and inspiration is important). In terms of how seriously to take it -- keep in mind that the book was written almost 40 years ago, so much of Hofstadter's speculations in various areas of science in the book has to be seen in that light.
 
  • Like
Likes Michael Price
I like his toy programming languages BlooP, FlooP, and GlooP.

BlooP: primitive recursive functions -- for every loop, one must set a maximum number of times that it can repeat.

FlooP: general recursive functions -- loops can repeat an arbitrary number of times, and it's possible to get stuck in an infinite loop. Equivalent to the lambda calculus and Turing completeness.

GlooP: hypothetical -- can solve problems like the Turing-machine halting problem.

Lambda calculus: doing everything with functions and uninterpreted variables.
 
GED is a vast and glorious pun. I read a review in Scientific American and bought it - still re-read it.
 
  • Like
Likes Michael Price and Klystron
Svein said:
I read it when it first came out, and I still think it is one of the best - and most thought-provoking -science books written. As a mathematician I loved his take on the proof of Gödel incompleteness theorem (the original version is not very readable).
This thread inspires me to re-read the book; my copy was "borrowed" and never returned in the 1990's. A semi-joke in software engineering circles was when faced with a difficult problem to solve, review the requirements then play J.S. Bach and contemplate an Escher drawing while thinking like Godel. Or skip the art and ask for help.

While I used hyperbolic geometry at work on occasion, M. C. Escher allowed me to see it.
1567001070616.png
 
  • Like
Likes Michael Price