# This Lecture Will Surprise You: When Logic is Illogical Tony Mann, 19 January 2015 This Lecture Will Surprise You: When Logic is Illogical Tony Mann, 19.

## Presentation on theme: "This Lecture Will Surprise You: When Logic is Illogical Tony Mann, 19 January 2015 This Lecture Will Surprise You: When Logic is Illogical Tony Mann, 19."— Presentation transcript:

This Lecture Will Surprise You: When Logic is Illogical Tony Mann, 19 January 2015 This Lecture Will Surprise You: When Logic is Illogical Tony Mann, 19 January 2015

16 March – Two Losses Make a Win: How a Physicist Surprised Mathematicians 16 February – When Maths Doesn't Work: What we learn from the Prisoners' Dilemma 19 January – This Lecture Will Surprise You: When Logic is Illogical Three lectures on Paradox

I guarantee that you will be surprised

Zhuang Zhou and the Butterfly

Raymond Smullyan

Paradox “a statement that apparently contradicts itself and yet might be true” Wikipedia

Proof by Contradiction Proposition: If n 2 is odd then n must be odd Proof: Suppose n is an even integer such that n 2 is odd Then n = 2k for some integer k But n 2 = (2k) 2 = 4k 2 is divisible by 2, so it is both even and odd This contradiction means our assumption (that n could be even) must be false So we have proved n must be odd

A Pair o’ Docs

Smullyan’s Interview Lie “Would you be prepared to lie?”

The Liar Paradox This sentence is false.

The Cretan Paradox One of themselves, even a prophet of their own, said, The Cretians are always liars … Titus, I:12

Golf and Tennis

My Prediction I will make a prediction about an event which will take place shortly My volunteer will write “Yes” if they think my prediction will be correct and “No” if they think it will be wrong

My Prediction The volunteer will write “No” on the card.

Buridan’s Ass John Buridan (c.1300 – after 1358)

Buridan’s Ass Buridan and Pierre Roger

Buridan’s Ass “Where are the snows of yesteryear?” Où est la très sage Heloïs, Pour qui fut chastré et puis moyne Pierre Esbaillart à Sainct-Denys? Pour son amour eut cest essoyne. Semblablement, où est la royne Qui commanda que Buridan Fust jetté en ung sac en Seine? Mais où sont les neiges d'antan! François Villon Ballade des dames du temps jadis

Buridan’s science Theory of Impetus (≈ Newton’s First Law) Theory of money

Buridan on self-reference I say that I am the greatest mathematician in the world

Buridan on self-reference The fool hath said in his heart, There is no God. Psalm 14, I

Buridan on self-reference Proposition Someone at this moment is thinking about a proposition and is unsure whether it is true or false

Buridan on self-reference Plato is guarding a bridge. If Socrates makes a true statement Plato will let him cross. If Socrates’s statement is false, Plato will throw him in the river. Socrates says, “You will throw me in the river”.

Buridan’s Ass Don Quixote

A Puzzle You meet two islanders, A and B. A says “At least one of us is a liar.” What are A and B?

A Puzzle I found two of the islanders sitting together. I asked “Is either of you a truth-teller?” When one of them answered, I could deduce what each of them was. How?

A Puzzle E and F are two islanders. E said “We are both of the same type” F said “We are of opposite types.” What are E and F?

Buridan’s Ass Witches in sixteenth-century France

Buridan’s Ass Protagoras and Euathlus Euathlus owes Protagoras a fee when he wins his first case. Protagoras sues him. Protagoras: If I win, I get my fee If Euathlus wins, he must pay me because he has won the case Euathlus: If I win, I don’t have to pay. If Protagoras wins, I have lost and have nothing to pay

Buridan’s Ass State v. Jones, Ohio 1946 Jones is accused of carrying out an illegal abortion The only evidence against him is that of Harris on whom he allegedly performed the operation

Buridan’s Ass State v. Jones, Ohio 1946 1)If Jones is guilty then Harris must also be guilty 2) Jones cannot be convicted solely on the evidence of a criminal accomplice

{1, 4, 9, 16, 25, 36, 49,64, 81, 100, …} {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, …} {1,4,9,16,25,36,49…} {1,2,3,4,5,6,7,…} A paradox of infinity

Secure foundations for mathematics

The set of all teapots is not a teapot, so it is not a member of itself. The set of all sets is a set. Therefore it is a member of itself. Russell’s Paradox

Is S a member of itself? Let S be the set of all sets that are not members of themselves Russell’s Paradox

Who shaves the barber? In a certain village, the barber shaves everyone who does not shave themselves Russell’s Barber Paradox

Some adjectives don’t describe themselves – eg “long” or “monosyllabic” Call them “heterologous” Some adjectives describe themselves – eg “short” or “polysyllabic” Call them “autologous” Grelling-Nelson Paradox Is “heterologous” heterologous?

Ways to tweet the number one “1” “One” “Zero factorial” “4 – 3”

What is the smallest integer that cannot be identified in a tweet of no more than 160 characters? Berry’s Paradox (Twitter version)

“Yields falsehood when preceded by its quotation” yields falsehood when preceded by its quotation. Quine’s Paradox

Is a bogus charlatan a charlatan or not? Smullyan’s Charlatan Paradox

A: Both these statements are false. B: I am the world’s greatest mathematician Another dubious proof

If there were a Nobel Prize for mathematics then, as the greatest mathematician in the world, I would deserve to win it. Another dubious proof

“If A then B” or “A implies B”, A→B is true unless A is true and B is false Implication

If there were a Nobel Prize for mathematics then, as the greatest mathematician in the world, I would deserve to win it. Another dubious proof

If this statement is true, then I am the greatest mathematician in the world. Curry’s Paradox

If A is true, and A→B, can we deduce that B is true? What the Tortoise said to Achilles

If A is true, and A→B, can Achilles deduce that B is true? He needs to know also that (A & A →B) →B and (A & A →B&((A & A →B) →B) →B and so on What the Tortoise said to Achilles

“Taught-Us” “A Kill-Ease”

“In mathematics, there is no ignorabimus” “We must know – we shall know!” David Hilbert

Every even integer is the sum of at most two primes The Goldbach Conjecture

A logical system can prove that it itself is consistent if and only if it is not consistent G ödel’s Theorems

In a consistent logical system there are true statements which cannot be proved within that system G ödel’s Theorems

“Gödel's Incompleteness Theorem demonstrates that it is impossible for the Bible to be both true and complete.” G ödel’s Theorems

Turing and the Halting Problem

I guarantee that you will be surprised

Perhaps something in this lecture surprised you. If not, you expected a surprise guaranteed by your lecturer, and your expectation wasn’t met. That was your surprise! Were you surprised?

Thank you for listening a.mann@gre.ac.uk @Tony_Mann