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

Starting with the cute paradoxical statement

which is true if its false and false if true, Gödels theorem 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

*This statement is false*which is true if its false and false if true, Gödels theorem maps out the large gulf between what is

*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