Inter-universal geometry と ABC予想 (応援スレ) 74 (895ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
50: 死狂幻調教大師S.A.D.@月と六ベンツ 08/23(土)14:03:33.79 ID:XZ6J116Y(8/15) AAS
言語つまり古典哲学古典文学古典神学×数学。
101(1): 死狂幻調教大師S.A.D.@月と六ベンツ 08/24(日)06:20:15.79 ID:IPNUU5t7(3/7) AAS
相手に無理な要求することに無自覚なものに数学者になる資格はない。
172: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)14:48:56.79 ID:1MD2qx+9(16/28) AAS
狂人もすでに解放したのがナジャ。
194: 08/25(月)17:55:26.79 ID:iXlQT2JW(3/7) AAS
>>192
数学で定義する無限集合が実無限かどうかは知らんが
「無限回繰り返しが完了した結果」でないことは確かである
従って、出⼝康夫のいうナイーブな実無限でなく
ソフィスティケートされた実無限であり
したがって、連続体仮説すら非決定的であるわけだ
417(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/27(水)18:37:00.79 ID:lxYE416P(6/6) AAS
多項式環は、可算無限次元だが
”形式的べき級数の空間は実数体上で可算無限次元を持つと予想していました しかし、そうではないようです”by reddit.com
(参考)
外部ﾘﾝｸ:researchmap.jp
都築 暢夫 ツヅキ ノブオ (Nobuo Tsuzuki)
所属東北大学 大学院理学研究科 数学専攻 教授
博士(数理科学)(東京大学)
省22
528: 08/30(土)16:42:56.79 ID:dKFmS13a(23/30) AAS
>>524
>ここで >>483 川崎徹郎流 で
>可算無限列 a0, a1X, a2X^2, ・・・
>を構成して 間に和の記号 + を挿入
>”極限の操作を経ずに、いっぺんに定まる”>>483
君は字が読めないのかい？ 川崎なんとかは集合の合併・共通部分について言ってるんだが。
>”Σ_n=0〜∞ an X^n=a0+a1X+a2X^2+・・・”
省2
560: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/31(日)09:07:45.79 ID:lylF2dxQ(4/10) AAS
つづき
外部ﾘﾝｸ:hibiyastudy.ｈａｅｎａblog.com/entry/math/infinite/04
日比谷高校のススメ
2018-04-02
【数学小話】無限と有限のお話?
自然数と同じくらい多くあるものについては、1つ2つ3つ...と番号を付けてすべてを網羅できれば証明完了です。
※中学生、高校生向けなので少し厳密さに欠いたり、あいまいな表現が使われています。
省20
625(1): 09/01(月)09:49:03.79 ID:El7aECWD(2/3) AAS
>>624
２．無限集合論
仕事で役立つ可能性：ほぼない、けどニッチで光る場合あり
■どんな場面？
無限集合論は数学や理論計算機科学の基礎で、
アルゴリズムの複雑さや計算可能性の理論（チューリングマシンとか）を
深く理解するのに役立つ。
省9
706: 09/03(水)08:13:17.79 ID:avb5LD2g(1) AAS
>>694
>IUTは 圏論使っていると宣言しているでしょ
>そして 圏論は、一階述語論理しばりではない
１．圏論で一階述語論理上の理論で決して書けないことって具体的に何か示せる？
>正しい数学理論は、大体は 形式論理で書けて自動証明なども適用できる
>しかし、現状では 数学定理の自動証明の敷居は高い
>全部の投稿論文の証明には適用できない
省15
716: 09/03(水)15:33:20.79 ID:heCdaCcy(3/3) AAS
天才望月
天才国産LLM
天才ひやっしー
お前らにお似合いだわww
872: 死狂幻調教大師S.A.D.@月と六ベンツ 09/08(月)05:35:54.79 ID:w+sJt2kU(10/11) AAS
こういうところも人格がおかしいのがいくらでもいるがそれは数学でバレるよ。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s