パプリカ2020の部屋

YOUTUBEをみると、様々なジャンルをアップされています。
勉強系も多いです。

ヨビノリという『予備校のノリで学ぶ「大学の数学・物理」』という動画は、
かなり面白いです。

その中で、「１＋１＝２」の証明を紹介していました。
何をいっているの？　意味分かりません。

１＋１が２になるのは、そう定義したんだから
ルールを証明するってありえないでしょ。

と、ぶつぶつ言いながら見てました。

この中で「ペアノの公理」が１＋１＝２を証明するための仕掛けということを知りました。

このペアノの公理がやっていることは
１　自然数の厳密な定義
２　たし算の厳密な定義

１と２をしっかり定義すると、１＋１＝２が自動的にでてきます。

自然数の定義では、０以外の自然数自体は出てきません。
たし算の定義では、０以外の自然数自体は出てきません。

それでいて、１＋１＝２になるのです。

ペアノの公理の原文は数学的表記であるので、素人が見てもさっぱり分からないでしょう。

でも、YOUTUBEで「そんな証明してるの」ということを、ある程度直観的に分からせてくれます。

お得です。

https://youtu.be/6XUNqeiJmrg