How to pronounce “godel” in English

Godel was the famous mathematical logician-- in fact, the mathematical logician since Aristotle.

Godel said, yeah.

Godel said that perhaps we would only know the solution of the continuum problem when we had the correct theory of infinitesimals.

So that's Godel's story, named after, of course Kurt Godel, the great logician.

So when I met Godel-- and I can't quite remember-- In the '70s.

I read "Godel, Escher, and Bach" in one swoop.

Not everybody can read "Godel, Escher, and Bach" in one sitting.

One was on Godel's Incompleteness Theorems; "Incompleteness: The Proof and the Paradox of Kurt Godel" and then the next one was on Spinoza,

But then you end up with Godel questions, the Godel incompleteness questions.

is there a kind of Godel's incompleteness theorem if we have any system which is describing the universe, there will be, necessarily, things

And it's actually directly related to Godel's incompleteness theorem.

The Austrian mathematician, Kurt Godel, proved there is a world all the other already accepted axioms of set theory hold true, and so does the axiom of choice.

And it feels a little bit like a physicist version of Godel.

Maybe it's a mathematical physicist version of Godel.

There were even abstruse puzzles that attempted to explain Kurt Godel's Incompleteness Theorem, but it was above my head at that age.

But Cantor said in this paper in the 1940s-- Godel.

I think of that as sort of like Godel's notion of completeness and being able to prove the system is complete.

And we already know in some ways, from Godel's incompleteness theorem, that there are limitations about engaging with mathematics, that there will be true statements about numbers

itself, an extended analogy between Godel's theorem and the music of Bach and the art of Escher.

Church, von Neumann, Godel-- Turing, of course, was a graduate student there.

So I think they had this kind of relationship, just like Einstein and Godel had.

If you looked at what his colleagues, like Kurt Godel, and there were a number of really excellent logicians there at the time, they were thinking

Then, you know unless of course there's issues with the axioms themselves with Godel and stuff.

And I think one discovery of the early part of the last century by a mathematician known as Kurt Godel and Alan Turing,

Paul Cohen was awarded the Fields Medal three years later for his groundbreaking result, as well as his other work in set theory, and after Godel

but then, of course, eventually, with the result of, of Godel and Cohen and so on, they...

One called recurrence, on the one hand, and the other is Godel's incompleteness.

For yourself, with a mathematical background, you've probably heard of Godel's incompleteness before.

So it feels like-- when I thought about this, I felt it sort of intuitively seemed very similar to Godel's incompleteness in the sense

It's also being attributed to my thesis advisor, Doug Hofstadter, author of "Godel, Escher, Bach" and a big fan of the metaperspective.

So you could kind of buy, so to say, Kurt Godel, I think, for $1,200, or the greatest logicians from the last 2,000

He's not just a quantitative scientist and computer scientist, he's also famous as the author of "Godel, Escher, Bach," which, ironically, is actually,

Now you had an encounter, shall we say, with Kurt Godel.

computable, whether it's decidable to know which ones or not, and you end up with Godel saying there's an incompleteness inherent, and with Turing

But I got really interested in the topic of intelligence when I read Doug Hofstadter's book, "Godel, Escher, Bach", way back when I graduated from college.