Trojan horse Quote by John D. Barrow
““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 Russell 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. Russell 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.””
About This Quote
Source Lecture: Foundations of Mathematics, 1990, university talk
Introducing a contradiction into a logical system makes it possible to prove any statement, illustrating the danger of inconsistency.
In simple terms: A single contradiction lets any claim be proved.
Key Takeaway
Maintain logical consistency to preserve meaningful proof.
Themes
logic
philosophy
mathematics
paradox
proof theory
Mood
cautious
inquisitive
Type
theoretical
practical
When to use this quote
- formal verification
- software engineering
- legal reasoning
- critical thinking
Key Concepts
principle of explosion
axiomatic systems
Questions to Reflect On
- Can controlled contradictions ever be useful?
- How do we detect hidden inconsistencies?
A Different Perspective
In practice, some systems tolerate minor inconsistencies for practicality.
![“Contradictions have always existed in the soul of [individuals]. But it is only when we prefer analysis to silence that they become a constant and insoluble problem. We are not meant to resolve all contradictions but to live with them and rise above them and see them in the light of exterior and…” quote by Thomas Merton](https://sms4smile.com/quotes/img-quotes/ee9/thomas-merton-231_analysis_contradictions-have-always-existed-in-th_1336538.jpg)
![“Most incredibly, because to me this is unbelievable, we have no idea who these [immigrants] are, where they come from. I always say Trojan Horse.” quote by Donald Trump](https://sms4smile.com/quotes/img-quotes/a4c/donald-trump-18_horse_most-incredibly-because-to-me-this-is-un_20860.jpg)
