Goedel Escher Bach - by Douglas Hofstadter

For the discussion of philosophical books.

Moderators: AMod, iMod

Post Reply
User avatar
NielsBohr
Posts: 219
Joined: Sat Aug 02, 2014 6:04 pm
Location: Switzerland
Contact:

Goedel Escher Bach - by Douglas Hofstadter

Post by NielsBohr »

Hi,

This topic to write about Goedel Escher Bach, by Douglas Hofstadter.

To be brief, I believe to know that Douglas Hofstadter is a physicist nowadays active in cognitive psychology and computer science ("only that").

The book seems to have been written about the question to know if the universe is really an analogy to a formalism.

As I am beginning, all the purposes are welcome.

Thanks.
commonsense
Posts: 5114
Joined: Sun Mar 26, 2017 6:38 pm

Re: Goedel Escher Bach - by Douglas Hofstadter

Post by commonsense »

Goedel Escher Bach is a weighty composition. Are you still interested in examining it?
Dalek Prime
Posts: 4922
Joined: Tue Apr 14, 2015 4:48 am
Location: Living in a tree with Polly.

Re: Goedel Escher Bach - by Douglas Hofstadter

Post by Dalek Prime »

Fun read, but don't put too much weight in it. Can everything in the universe be formalized by a part of the model itself? I doubt it.
Eugene Glus
Posts: 20
Joined: Sat May 05, 2018 7:50 pm

Re: Goedel Escher Bach - by Douglas Hofstadter

Post by Eugene Glus »

I read some pages (through 120 I guess), and this books appeared to me very interesting by its style and problems. I can compare it to Raymond Smullians's books, and 'Alice in Wonderland' of Carroll.

I started to read it because of Godel's problem. They gave me an advice about this book to be read for more simple understanding of Godel's theorems of incompleteness. Also, it was not bad introduction to math logic. I'd like to read it more closely, but it would be more interesting if there were no such more spare stuff - very interesting, but very keeping away from the main theme.
Dalek Prime
Posts: 4922
Joined: Tue Apr 14, 2015 4:48 am
Location: Living in a tree with Polly.

Re: Goedel Escher Bach - by Douglas Hofstadter

Post by Dalek Prime »

Eugene Glus wrote: Wed Sep 05, 2018 6:07 pm I read some pages (through 120 I guess), and this books appeared to me very interesting by its style and problems. I can compare it to Raymond Smullians's books, and 'Alice in Wonderland' of Carroll.

I started to read it because of Godel's problem. They gave me an advice about this book to be read for more simple understanding of Godel's theorems of incompleteness. Also, it was not bad introduction to math logic. I'd like to read it more closely, but it would be more interesting if there were no such more spare stuff - very interesting, but very keeping away from the main theme.
For formal logic, better to read Suzanne Langer's intro to symbolic logic.
User avatar
-1-
Posts: 2888
Joined: Thu Sep 07, 2017 1:08 am

Re: Goedel Escher Bach - by Douglas Hofstadter

Post by -1- »

Dalek Prime wrote: Fri Mar 31, 2017 3:56 am Fun read, but don't put too much weight in it. Can everything in the universe be formalized by a part of the model itself? I doubt it.
Can we choose the part of the model that we want to run away with?

I, myself, am a thy man.

What is this "formalization" I keep hearing about? Putting it into formal logic?

Sure everything can be formalized if your model is good enough.

For instance, "God created everything and God makes everything happen." Dat a model.

So... the reason A+B = B + A, is dat God made it to be that way.

The reason elephants have a long trunk is dat God made it to be that way.

ETC.

You can expand from there, as have mankind's best of the best of the best thinkers. They kept on expanding and expanding. And lo and behold: Now we have Goedel, Escher and Bach. Model GEB replaces model GOD.
Eugene Glus
Posts: 20
Joined: Sat May 05, 2018 7:50 pm

Re: Goedel Escher Bach - by Douglas Hofstadter

Post by Eugene Glus »

Dalek Prime wrote: Fri Dec 21, 2018 2:44 am
Eugene Glus wrote: Wed Sep 05, 2018 6:07 pm I read some pages (through 120 I guess), and this books appeared to me very interesting by its style and problems. I can compare it to Raymond Smullians's books, and 'Alice in Wonderland' of Carroll.

I started to read it because of Godel's problem. They gave me an advice about this book to be read for more simple understanding of Godel's theorems of incompleteness. Also, it was not bad introduction to math logic. I'd like to read it more closely, but it would be more interesting if there were no such more spare stuff - very interesting, but very keeping away from the main theme.
For formal logic, better to read Suzanne Langer's intro to symbolic logic.
Oh, I see. Thanks.

I used to read: A. Grzegorczyk's "Logika Popularna", M. Zagarelli "Logic for Dummies", and now I'm on Hilbert, Akkerman "Foundations of Theoretical Logic" path. The last books seemed very fine; no spare details, just straight info.
Skepdick
Posts: 14362
Joined: Fri Jun 14, 2019 11:16 am

Re: Goedel Escher Bach - by Douglas Hofstadter

Post by Skepdick »

The best way to learn about logic in 2019 is to invent one. logic/programming are two sides of the same coin and so much of what can be learned about logic can be learned through practice rather than theory.

Most modern Computer Science courses cover how programming language compilers/interpreters work. As part of the coursework you are usually required to solve the bootstrapping problem.

What the bootstrapping problem entails is writing an interpreter for formal language X in the formal language X itself. e.g you have a language that can interpret/compile itself. It's just putting what Hofstadter calls 'strange loops'/self-reference to practice.

Once you've wrapped your mind around bootstrapping/recursion - you know everything GEB can teach you.
Post Reply