Computer scientists dismiss Gödel as mathematics

Mathematicians classify Gödel as logic

Logicians slot Gödel into meta-mathematics

Meta-mathematicians know the truth of the matter…

…and have been dead for a century

Mathematicians classify Gödel as logic

Logicians slot Gödel into meta-mathematics

Meta-mathematicians know the truth of the matter…

…and have been dead for a century

I would like to suggest that this misunderstanding (or rather non-understanding) does not make it non-true.¹ Many educated people do know that Gödel’s theorem(s) is important even portentous. But somehow – like war –

*Yeah its bad but not my problem.*

Let’s use the services of

A fever is raging in the town.

People are dying.

And I happen to find…

In the closet…

A dead rat

People are dying.

And I happen to find…

In the closet…

A dead rat

*“What do rats have to do with…”*### The Plague?

Do we need to start having a fever and swelling in the armpits to change our minds?

To my mind the mathematicians and CSists who think of Gödel as irrelevant are like people with a dead rat in their closet who are now beginning to run a fever and who still keep insisting:

Gödel’s theorem is a dead rat in plague infested town. In the 1930s, people understood this. Somehow now everyone has forgotten. This post is to remind of these well-known and more well-forgotten facts.

To my mind the mathematicians and CSists who think of Gödel as irrelevant are like people with a dead rat in their closet who are now beginning to run a fever and who still keep insisting:

*“Whats a dead rat to do with the plague? Why should I bother?”*Gödel’s theorem is a dead rat in plague infested town. In the 1930s, people understood this. Somehow now everyone has forgotten. This post is to remind of these well-known and more well-forgotten facts.

### The Terrible Theorem

Gödels theorem basically maps out the large gulf between what is

Now on the face of it this seems like a ridiculous thing to make a song-n-dance about. Surely there are truths that we dont know (yet)? What of it? Then science studies better... Then some more
truths are revealed... etc...

To understand why its a big deal we need to
understand the difference between

*provable*and what is*true*.Now on the face of it this seems like a ridiculous thing to make a song-n-dance about. Surely there are truths that we dont know (yet)? What of it? Then science studies