John D. Barrow quote ✍️

Quote

Turing attended Wittgenstein's lectures on the philosophy of mathematics in Cambridge in 1939 and disagreed strongly with a line of argument that Wittgenstein was pursuing which wanted to allow contradictions to exist in mathematical systems. Wittgenstein argues that he can see why people don't like contradictions outside of mathematics but cannot see what harm they do inside mathematics. Turing is exasperated and points out that such contradictions inside mathematics will lead to disasters outside mathematics: bridges will fall down. Only if there are no applications will the consequences of contradictions be innocuous. Turing eventually gave up attending these lectures. His despair is understandable. The inclusion of just one contradiction (like 0 = 1) in an axiomatic system allows any statement about the objects in the system to be proved true (and also proved false). When Bertrand Russel pointed this out in a lecture he was once challenged by a heckler demanding that he show how the questioner could be proved to be the Pope if 2 + 2 = 5. Russel replied immediately that 'if twice 2 is 5, then 4 is 5, subtract 3; then 1 = 2. But you and the Pope are 2; therefore you and the Pope are 1'! A contradictory statement is the ultimate Trojan horse.
John D. Barrow The Book of Nothing: Vacuums, Voids, and… logic math mathematics philosophy russel

Similar Crossword Answers

Answer Clues
ART 2083 clues
MATH 344 clues
LOGIC 221 clues
COURAGE 148 clues
EQUALITY 88 clues
LIBERTY 63 clues
JUSTICE 59 clues
DIVERSITY 50 clues
MARRIAGE 41 clues
PHILOSOPHY 31 clues
MATHEMATICS 19 clues
RUSSEL 11 clues
TURING 8 clues
Poet’s word, with inverted comma, for the end of the day
?
E
?
E
?
N
Hint 1 meaning
The old plural of Eye.
Hint 2 anagram
ENE
Hint 3 another clue
AND STILL ___
7 +1

New Crossword Suggestion

Clue
Answer (solution)