# Gödel proved that there are ALWAYS more things that are true than you can prove.

Excerpt

Godel’s Incompleteness Theorem says:

“Anything you can draw a circle around cannot explain itself without referring to something outside the circle – something you have to assume but cannot prove.”

Stated in Formal Language:

Gödel’s theorem says: “Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete. In particular, for any consistent, effectively generated formal theory that proves certain basic arithmetic truths, there is an arithmetical statement that is true, but not provable in the theory.”

The Church-Turing thesis says that a physical system can express elementary arithmetic just as a human can, and that the arithmetic of a Turing Machine (computer) is not provable within the system and is likewise subject to incompleteness.

Any physical system subjected to measurement is capable of expressing elementary arithmetic. (In other words, children can do math by counting their fingers, water flowing into a bucket does integration, and physical systems always give the right answer.)

Therefore the universe is capable of expressing elementary arithmetic and like both mathematics itself and a Turing machine, is incomplete.

Syllogism:

1. All non-trivial computational systems are incomplete

2. The universe is a non-trivial computational system

3. Therefore the universe is incomplete

You can draw a circle around all of the concepts in your high school geometry book. But they’re all built on Euclid’s 5 postulates which are clearly true but cannot be proven. Those 5 postulates are outside the book, outside the circle.

You can draw a circle around a bicycle but the existence of that bicycle relies on a factory that is outside that circle. The bicycle cannot explain itself.

Gödel proved that there are ALWAYS more things that are true than you can prove. Any system of logic or numbers that mathematicians ever came up with will always rest on at least a few unprovable assumptions.

Gödel’s Incompleteness Theorem applies not just to math, but to everything that is subject to the laws of logic. Incompleteness is true in math; it’s equally true in science or language or philosophy.

And: If the universe is mathematical and logical, Incompleteness also applies to the universe.

# Guardian letter page

With the number of MPs and advisers breaking their own lockdown rules, surely it’s time to impose the wearing of ankle tags on all of them. They could be emblazoned with parliament’s portcullis logo to make them a fashion statement.
Richard Cox
Groby, Leicester

Did anyone believe blind rage expressed
Could benefit the agent without harm?
Did anyone read Freud and then digest?

Feelings need the heat of blacksmith’s fires
Held inside until they find their form
An image worthy of our right desire

As well as rage, we should mistrust love too
Be backward in expression till more’s known
Or risk an avalanche of cruelty.

Take care of others, they are not our fools
From sacred meetings all mankind has grown
We misuse folk to test our worth and tools

Holding in the inner fires our wish
The blackness of the heart can turn to gold

The future of the world is growing cold
We liked to have the choice for rage and death
Until we found the charred remains of bliss

# No body

Nobody has no mind, no self .no flesh
No sense, no purpose, nothing that will last
What is worse, to be trapped in a mesh
To be immoral, sinful and loveless
To stumble in a  morass of distress
The sinking sands  of childhood thought surpassed
Nobody has no mind, no self .no flesh

What is not a sin may be a crime
Tie me up and burn me,I’m malign
Don’t they say this is the best of times
With tablets. smartphones, free verse with  few lines
Though in the end you have you make your name
There is no need to hang it on a sign
What is never done may be a sin
Let me out.I’m ready to begin

# How to discriminate

The language of the unheard

Extract:

Brutal systemic racism is a vast tragedy where both complacency and resistance lead to frightening outcomes. In such a tragedy, the first duty of observers is to listen to what is said in broken glass and wailing sirens.

You’ve probably already heard the line from Martin Luther King Jr., “a riot is the language of the unheard”. The speech, delivered at Stanford in 1967, is an extraordinary example of embracing moral ambiguity. King reiterates his advocacy for nonviolent tactics, saying that acts of “violence will only create more social problems than they will solve”. Yet he insists riots are not mindless destruction; they are communicative acts, drawing attention to decades of poverty and neglect. They are reminders “that large segments of white society are more concerned about tranquility and the status quo than about justice, equality, and humanity”.

King’s insistence on seeing beyond simple judgement is echoed in recent trends in moral theory. Traditionally, western philosophy tended to focus on theorizing what makes actions count as right or wrong. But many philosophers now see this as an overly limiting project. Elise Springer, in her recent book Communicating Moral Concern (2013)writes that “nothing bars us from framing our practical life as a chronicle of individual actions, each with a stand-alone moral status; but it is as insightful as conceiving dialogue as a chronicle of individually chosen words”. Instead, Springer focuses on the importance of attention; moral communication is first about getting others to recognize that something morally important is at stake, not simply adjudicating its place in a table of rights and wrongs.

# Grief in lockdown

Why do I weep when I am all alone?
None can see me ,none can  hold me here