>>127
>>厳密の代表として ”数学的”と書いただけで 深い意味ないのだがｗ（＾＾
>なんじゃそりゃ？ｗ

そういうな
下記より 新井敏康パパの動画より文字起し
百回音読してね

＜文字起し＞
11:49
論理学と集合の革新というのは
次の ブルバキの言葉に最もよく表れてるなぁと思ってこれを持ってまいりましたす
ブルバキというのはですね20世紀の 確かフランスの数学者の集団ですね一人の個人ではなしに
集団が自分たちはブルバキという風に名乗った その集団の名前ですけれど彼らの言葉に次のものがあります
12:28
ギリシャ人以来
数学とはすなわち証明である ある人々によれば証明というものは
この言葉がギリシャ人から付与されたところのそしてまた我々がここでそれに与えよう
としている 正確にしてかつ厳密なある意味においては数学以外に見出し得ないものなのではある
まいかとさえ考えられている
13:05
翻訳後もかなり硬い 格調高いものになっていて
1文が長くてすぐには一回読んだだけで理解し難いですが
まずとにかく言っていることは 数学とはすなわち証明である証明のない数学は
考えられない そしてその証明という数学における証明というものは
正確でかつ厳密なものなんだよということを言ってるんだろうと思います

https://rio2016.5ch.io/test/read.cgi/math/1781354251/384
https://youtu.be/G5NKC6XizMc?t=1
新井敏康「数学を論理で読む」ー公開講座「論理」2020
UTokyo Channel
37,879回視聴 2021/06/21
東大TV（ https://todai.tv/ ）で公開中の一部のコンテンツをこちらのYouTubeチャンネルでもご覧いただけます。
==========
数学は論理的に組み立てられた学問ですが、その組み立てはどのようになされているのでしょうか？ここでは数学での最も基本的な対象である自然数を例にとって、組み立てられていくさまを垣間見てみます。
03:10　数学と論理
17:42　微分積分学（無限小解析）
25:49　自然数の公理
33:42　加法の定義
36:22　帰納法による写像の定義
★ 東京大学公開講座について
https://www.u-tokyo.ac.jp/publiclectu...
トマ・ピケティ氏、マイケル・サンデル氏、アウンサンスーチー氏らの講演をはじめとして、YouTubeでは見られない動画がたくさんあります！！
★★★動画はこちらから→ https://todai.tv/ （東大TVウェブサイト）★★★
東大TV Twitter： / utokyotv
東大TV Facebook： / todai.tv
運営：東京大学 大学総合教育研究センター