Thursday, 5 July 2007

Gödel, Fermat and

GEB == a book by Douglas Hofstadter, Gödel, Escher, Bach: An Eternal Golden Braid

The GEB page on doesn't say much on the self-reference and layers of self-reference that build complex system (such as human intelligence). This for me was a puzzling thing. How come we have this "feeling" of  being/thinking?   Is there a God? :-P I wondered about that for years before I read bits in EGB again on recursive self reference. And then read the intro again. He says everything in the intro :). I had that mind opening inspiration feeling.
Godel's theorem applied to God on

Fionn thinks I'm a bit weird I think and doesn't get the self-referential jokes. Oh well. has some self-referential jokes. :)

The explaination of how we have this feeling of "I" is cool.
It could lead us into discussion of atheism.  Hmm, maybe not now. 
Belief of God as such isn't a problem as such. Wrong maybe :).
The problem is that people seem very inclined to turn over their thinking/actions to their religious leaders and also happy to obey random thoughts inside their heads if they have a belief in some higher power.
Sentient beings have to take full responsibility for themselves. (we're doomed! :) )
"This is my simple religion. There is no need for temples; no need for complicated philosophy. Our own brain, our own heart is our temple; the philosophy is kindness." -- Dalai Lama

other cute stuff from

Godel: any sufficiently strong axiomatic system is either inconsistent or incomplete
it can be proved that if it can be proved that it can't be proved that two plus two is five, then it can be proved that two plus two is five
(from Godel's Second Incompleteness Theorem explained in words of one syllable)
Haiku: Gödel's theorem. Complete? Then inconsistent!

"1 + 1 = 2" - Principia Mathematica

"Any sufficiently advanced technology is indistinguishable from magic." -'s_three_laws (3rd law)

if n is an integer larger than 2, then the equation an + bn = cn has no solution for which a, b, and c are integers larger than zero - Fermat
Demonstrationem mirabilem hanc marginis exigiutas non caperet  - Fermat
Occam's Razor ... and checking is it plugged in.

The "i" in "slithy" is long, as in "writhe"; and "toves" is pronounced so as to rhyme with "groves." Again, the first "o" in "borogoves" is pronounced like the "o" in "borrow." I have heard people try to give it the sound of the "o" in "worry. Such is Human Perversity. -- Lewis Carroll

Kitten principle: any amount more of kittens are not capable of creating more chaos than one kitten is capable of creating, but are in fact capable of being cuter.

No comments: