論理と集合を作った数学者8人、数学用語を徹底解説

数学には代数、幾何、解析という分野があります。
これらすべての数学の基礎で、数学の言葉として必須なのが、論理と集合です。
今回は、論理と集合を作った数学者8人と、数学用語を解説します。

0:00 イントロ
0:24 1人目：アリストテレス
2:12 2人目：ブール
3:48 3人目：デデキント
4:56 4人目：カントール
7:01 5人目：フレーゲ
8:20 6人目：ラッセル
9:36 7人目：ヒルベルト
10:50 8人目：ゲーデル
12:53 まとめ

【関連する本】
プリンストン 数学大全 https://amzn.to/46wBEnz
トルケル・フランセーン ゲーデルの定理――利用と誤用の不完全ガイド https://amzn.to/466jCaQ

【参考ページ】
History of logic https://en.wikipedia.org/wiki/History...
History of Logic from Aristotle to Gödel https://www.historyoflogic.com/great-...
「集合と位相をなぜ学ぶのか」レビュー https://math-fun.net/20180816/1224/
論理学の入門ロードマップ：大学数学に必要な論理学とは https://math-fun.net/20191223/4501/
集合論入門：集合の定義、数の集合、ラッセルのパラドックス https://math-fun.net/20180730/935/
無限集合の濃度とは？ 写像の全単射、可算無限、カントールの対角線論法 https://math-fun.net/20180801/1026/
「ゲーデルの不完全性定理」を誤解しないために、数学の歴史的流れを解説 https://math-fun.net/20180823/1258/

【関連動画】
大学数学の3大分野「代数・幾何・解析」を中学レベルから解説    • 大学数学の3大分野「代数・幾何・解析」を中学レベルから解説  
幾何学（図形）を創った数学者8人、数学用語を徹底解説    • 幾何学（図形）を創った数学者8人、数学用語を徹底解説  
代数学（文字と式）を生み出した数学者8人、数学用語を徹底解説    • 代数学（文字と式）を生み出した数学者8人、数学用語を徹底解説  
解析学（関数と微積分）を作った数学者8人、数学用語を完全解説    • 解析学（関数と微積分）を作った数学者8人、数学用語を完全解説  

【Twitter】
  / kimu3_slime