タグ第2回ソフトウェアトーク理工サイド交流祭を含む動画:1件 1ページ目を表示
2024年5月14日 06時21分に生成された05時00分のデータです
2023-09-09 00:00:00
【理工サイド交流祭】雫と蕾の『グロタンディーク宇宙』の話大遅刻(1ヶ月)
投稿遅れた理由は期末と某分散型SNSと帰省です。
雫ちゃんと蕾ちゃんが宇宙の話をします。
高校数学知ってる人向けに作ったので詳しい方からすると物足りないかもしれませんがご了承ください。また機会があれば証明不能性や到達不能基数、高次な宇宙などのもう少し踏み込んだ話もすると思います。(いつになるかな...)
間違いや誤植、編集ミスなどあればコメントで指摘お願いします。
雫蕾を推せ!!!!!!
twitter: https://twitter.com/Psi0PsiOmega0これも冪集合の繰り返しで到達できない限界が来るんだっけ、ちょうど有限と無限の間みたいな なるほど 想像できん {1}は暗黙的に集合と認めてるのかな? ルール2を無限回使って無限個の有限集合を作ってルール3で無限個の集合の和集合を作るとかはできないんだ...
- 2,250
- 964.3
- 673.0
- 40.2