【アルキメデスの原理】 当たり前をちゃんと証明してください

[@nokemoyajuu]

アルキメデスの原理って水の上に浮く氷のアレかと思った

[@NMR-271]

排除した流体の体積分の浮力を受けるってやつか

[@hitsuki_karasuyama]

これ単独だとそうなのかなと納得するけど、この後にグッドスタインの定理が出てきて整合性が理解できなくなる
どんな自然数より大きなωを仮定していいのか

[@山崎洋一-j8c]

順序数は加算・乗算・冪乗と大小関係と自然数に対応する部分集合をもつけど、「数」というより順序型を表すラベルだから……（震え声）

[@ikisugieeeee]

n→∞と書いてしまっているのがまずいやろこれ

[@puriyuki9334]

任意の条件pについて、p⇒pは真だから、lim[n→∞]n=∞も成り立つと思います。

[@英鶴半数えいかくはんすう]

一瞬小泉構文かと思った

[@マルチーズ先生のやさしい東大数]

面白い！

[@マスぺい]

最初の方は、a（n）＝n　としての説明ですよね。

[@沖田研司]

これは定義になるんじゃないですか?

[@proper_tajiri8175]

動画の想定視聴者層のことを考えると、「示す」という言葉を「書いておく」の意味で用いるのは控えた方がいいように思います。
通常数学では「示す」は「証明する」の意味で使うことが多いですから、話の流れに抵触する多義語になっていて、特に機械音声にはちょっと馴染まないかなと。
「書いておく」の意味には「記す」という、その通りにしか解釈できないであろう言葉もありますので、そういった言葉の使い分けを検討されてはいかがかと思います。

[@マルチーズ先生のやさしい東大数]

「記す」と「示す」ですね。ご指摘有難うございました。

[@sgrjoachim4046]

大学生になって、数学の授業で初めてε-δ論法の説明を聞いた時、そこまでして証明しないといけないものなのかと、悲しくなった事を思い出しました😢

[@自由律俳句とかいう無法地]

イプシロン-デルタ論法は、どちらかと言うと、ただ極限の概念を『無限小』『無限大』という言葉を用いずに定義するためのものだから、そこまで気にしなくても良いと思う。
高校数学の『異なる値を取りながら、差を無限小にしていくと、収束する』でも充分厳密な表現だよ。

[@たまゆ-i7e]

そうかなぁ？初めてε-N論法・ε-δ論法を聴いたとき、無限という曖昧な表現を一文で表現できて、しかもきっちり厳密になっていることにかなり感動したけどなぁ

[@kao7s]

集合論を学んでない学生にε-δ論法を学ばせるのは犯罪だと思ってる

[@雪見だいふく-y4v]

@@たまゆ-i7e世間一般でよく高校での無限小、無限大は曖昧な表現とされるけど実際どこら辺が曖昧なのかが知りたいです
高校範囲の定理とかを要請として認めるのならば高校の極限からイプシロンデルタ論法を導出することも可能ですし

[@人浪-t6q]

⁠​⁠​⁠@@雪見だいふく-y4v「限りなく」「近づく」みたいな表現よりは、「任意の」「存在する」のほうが厳密じゃない？

[@okim8807]

・・・・・
・・・・・・・
基礎的で大事なことなんだろうけれど、youtubeの数学動画ではもっと楽しいところを摘まみ喰いさせて欲しいと切に願う。

[@mrmack9311]

n→∞ってなんやねん

[@yamtan]

N := suc(ε)

[@Official-jf3ey]

長だる