Every Time Mathematicians Created a Logic Paradox Explained

Thanks for watching!

Full paradox playlist:    • Paradoxes  

Timestamps:
0:00 The Ring of Gyges (Plato)
1:44 The Heinz Dilemma (Lawrence Kohlberg)
3:24 The Paradox of the Ravens (Carl Hempel)
5:50 The Liar Paradox (Epimenides. Inspired Kurt Gödel’s incompleteness theorems)
7:01 The Barber Paradox (Bertrand Russel)

Further explanation of each chapter:

1. The Ring of Gyges - Deals with The implications on morality of unaccountable power.

2. The Heinz Dilemma - Game theory, decision theory, utility maximization models.

3. The Paradox of the Ravens - Logic, probability, and statistics. "All ravens are black” can be written formally as: ∀x(R(x)→B(x))
Its contrapositive: ∀x(¬B(x)→¬R(x))

4. The Liar Paradox - Gödel’s Incompleteness Theorems proved that some true statements cannot be proven within consistent formal systems.

5. The Barber Paradox - Created by Betrend Russel, the Barber Paradox is a simplified illustration of Russell’s Paradox in set theory. See:    • Every Weird Paradox in Set Theory  

References:
Gödel’s Incompleteness Theorems
https://plato.stanford.edu/entries/go...
Bertrand Russel and Self-Reference Paradoxes https://plato.stanford.edu/entries/se...

— DISCLAIMER —

This video is intended for entertainment and educational purposes only. It should not be your sole source of information. Some details may be oversimplified or inaccurate. My goal is to spark your curiosity and encourage you to conduct your own research on these topics.