Proving 1 + 1 = 2 using Peano axioms!

preview_player
Показать описание
How can we use Peano axioms to prove something as obvious as 1 + 1 = 2?

0:00 Introduction
0:45 Historical context
4:22 Peano axioms
11:22 Rule of Inference
12:52 The proof(finally)
14:21 Epilogue

Background Music: Reflection by Vincent Rubinetti

Writing/Drawing app: Xournall++

Screen Recorder: OBS Studio

Video Editor: Inshot

Reference Material:
Math Without Number by Milo Beckman
Logicomix: An Epic Search for Truth by Apostolos Doxiadis
Peano Axioms(Wikipedia page)

#mathematics #proof #history #foundation #number #mathematicallogic
Рекомендации по теме
Комментарии
Автор

At 10:55, the axiom will be, : "For all numbers..." instead of "For all Natural numbers..." Sorry for the error!

mathematiciansagony