Inter-universal geometry と ABC予想 (応援スレ) 74 (976ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
628(1): 09/01(月)10:19 ID:gg6LcAZV(1/7) AAS
>>624
>述語論理は、
>・プログラミング（特に論理プログラミングや形式検証）
・葦の髄から天井を覗く
・【河野玄斗】プログラミングは●●しながら学べ！ 【プログラミング/IT/勉強】
・”その育児、時代遅れかも？AI活用に子どものデータで選ぶ習い事 これだけは外せない最新科学”
「運動が苦手な子どもにおすすめの習い事はプログラミングとしたのは、東北大学加齢医学研究所で准教授を務める細田千尋氏。最近の小学生の新しく習ってみたい習いごとでは1位だといい、小学校からプログラミングが必修化し、大学受験においても情報科目が採用されるなかで、現代の子どもにとっては当たり前の能力になりつつあるという」
省18
631(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/01(月)11:10 ID:gg6LcAZV(2/7) AAS
>>571 補足の補足
(引用開始)
１）未確認飛行 Cさんで 1つ無限集合 a を選び
a の「冪集合」P (a)で を作るところが面白い*)
つまり 無限公理 ∃a(∅∈a∧∀x(x∈a⇒(x∪{x})∈a)).（下記無限公理の集合Iをaに書き換えた）
だから、aは 帰納的な元の全てを含むので
例えば a={0,1,2,・・・,ω,S1,S2・・} （ここにω,S1,S2・・は無限順序数を表す>>566 ご参照）
省33
632(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/01(月)11:45 ID:gg6LcAZV(3/7) AAS
>>623
>今まで、君、仕事でガロア理論とか確率過程とか使った？
まあ、そういうセンスでは
オチコボレさんになる
要するに、人生で 自分の出会う問題に使えるだけの
最小限の勉強という態度では うまくいかない
正しい態度は、知の体系的を作る メンタルピクチャー(加藤文元)、＜“big picture”＞（Terence Tao） を持つこと
省23
633: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/01(月)11:51 ID:gg6LcAZV(4/7) AAS
>>632 タイポ訂正
正しい態度は、知の体系的を作る メンタルピクチャー(加藤文元)、＜“big picture”＞（Terence Tao） を持つこと
↓
正しい態度は、知の体系を作る メンタルピクチャー(加藤文元)、＜“big picture”＞（Terence Tao） を持つこと
644: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/01(月)14:07 ID:gg6LcAZV(5/7) AAS
ふっふ、ほっほ
「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ （学院長 川上貴裕）
百回音読しましょう！ｗ ；ｐ）
(参考)
外部ﾘﾝｸ:dic.pixiv.net
省21
650: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/01(月)17:34 ID:gg6LcAZV(6/7) AAS
>>639
>>面白いが、aが可算だと P (a)は非可算になる
ご苦労様です
ここは、中高一貫生の先取りくんも来る可能性があるので、補足をしておく
下記の有名な「カントールの定理」ですね
なお、証明は 見た範囲では 下記 東北大 尾畑研 9.1濃度の比較
”補題9.5集合Aに対してべき集合2^AからAへの単射は存在しない”
省19
651(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/01(月)17:46 ID:gg6LcAZV(7/7) AAS
>>645
>>aから直接 M(x)’を 分出公理で 部分集合として取り出せば それで終わりでしょ！
>それで終わりなら、なんでやらないの？
既出だが
中高一貫生も来る可能性があるので、下記を再録しておく ；ｐ）
>>531 再録
外部ﾘﾝｸ:ja.wikipedia.org
省51
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.102s*