和の令

テーマ「令和」として、ZFの公理の1つである和集合の公理を紹介しました。
半分以上ダジャレです。

Transcript

1. 和の令 2019年11月16日 ねりあ(@nerianighthawk)
2. 自己紹介 • 氏名：ねりあ(@nerianighthawk) • 略歴： ◦ 学部＋修士 6年間数学をやる ◦ 都内のパッケージベンダーに就職 ◦ プログラマー歴＝職歴＝ 2年半 • 分野：数学、関数型言語(の本を読むこと) • 趣味・活動：飲酒、ゲーム(主に任天堂)、スノーボード、LT参加、 　　　　　　Teratailの質問者と回答者
3. 今日は・・・ 令和に相応しい数式を紹介します
4. 和 ①やわらぐ。おだやか。のどか。 ②なかよくする。争いをおさめる。 ③合わせる。合う。ととのう。 ④あえる。まぜる。 ⑤二つ以上の数を加えたもの。 令 ①いいつける。命じる。いいつけ。 ②のり。きまり。おきて。 ③おさ。長官。 ④よい。りっぱな。 ⑤他人の親族に対する敬称。
5. 令和の数式 和集合の公理
6. • そもそも数学は公理と推論規則から、定理を導く分野 • じゃあ、数学全体における公理って？ → 現代数学で扱う対象のほとんどは集合論上で構築可能である → したがって、ZF（集合論の公理）が数学全体の公理と見ることが出来る • 和集合の公理はZFに含まれる公理の一つ • つまり令和は数学の一部
7. おしまい