[過去ログ] 純粋・応用数学(含むガロア理論)8 (942レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
486(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/26(水)20:29 ID:VMEh8nPz(6/7) AAS
>>485
ついでに、双対の帰納極限(順極限(余極限))(^^
外部リンク:ja.wikipedia.org
帰納極限
順極限(じゅんきょくげん)または直極限(ちょくきょくげん、英: direct limit)もしくは帰納極限(きのうきょくげん、英: inductive limit)は、「対象の向き付けられた族」の余極限である。本項ではまず群や加群などの代数系に対する帰納極限の定義から始めて、あらためて任意の圏において通用する一般的な定義を与える。
厳密な定義
代数系の帰納極限
省11
487(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/26(水)20:29 ID:VMEh8nPz(7/7) AAS
>>486
つづき
一般の定義
I と C を圏とする。C の固定された対象 X に対して cX: I → C を定値函手とする。任意の函手 F: I → C に対して、函手
略
例
F を位相空間 X 上の C-値層とする。X の点 x を固定して、x の開近傍の全体は包含関係を逆にする順序によって(つまり U ≦ V ⇔ U ⊇ V とおいて)有向半順序集合を成す。このとき、r を制限写像とする直系 (F(U), rU,V) が得られ、この系の直極限は x における F の茎 Fx と呼ばれる。x の各近傍 U に対して標準射 F(U) → Fx は F の U 上の切断 s を茎 Fx の元 sx へ対応させる。元 sx は切断 s の x における芽と呼ばれる。
省9
488: 2021/05/26(水)20:54 ID:IquxWPzU(1/3) AAS
無限列の場合の時枝解法は、有限列の場合の極限としては得られないのだから
まったく無意味ですね。用語を弄んでも数学の内容が分かってないセタ。
工学部以下。
489: 2021/05/26(水)20:57 ID:xPs0RSD9(14/25) AAS
>>485-487
劣等感をまぎらわすためにわかりもしない文章をコピペする
哀れなチョソンwwwwwwwwwwwwwwwwwwww
490: 2021/05/26(水)21:00 ID:xPs0RSD9(15/25) AAS
>>485
>・・・が面白い
わかりもしないのにわかったふうなウソついて
面白い!とムキになって絶叫する哀れなチョソン
wwwwwwwwwwwwwwwwwwwwww
全然わからないのが面白いとかマゾか?変態か?
wwwwwwwwwwwwwwwwwwwwww
491: 2021/05/26(水)21:01 ID:xPs0RSD9(16/25) AAS
>>484
いわずもがなだが
力の無さが明らかだな
朝鮮高級学校卒のチョソン君
wwwwwwwwww
492: 2021/05/26(水)21:02 ID:xPs0RSD9(17/25) AAS
チョソンのコピペはイタイタシイ
一字も理解できないからwww
493: 2021/05/26(水)21:02 ID:xPs0RSD9(18/25) AAS
チョソンには数学は一切教えない
教えたって理解できないから
wwwwwwwwwwwww
494: 2021/05/26(水)21:03 ID:xPs0RSD9(19/25) AAS
チョソンの💩コピペは流すに限る
wwwwwwwwwwwwwww
495: 2021/05/26(水)21:04 ID:xPs0RSD9(20/25) AAS
チョソンには数学の話は一切しない
しても理解できないから無駄
wwwwwwwwwwwww
496(2): 2021/05/26(水)21:04 ID:IquxWPzU(2/3) AAS
>>457
>>440はおっちゃんか。
モンテカルロ法や乱数、疑似乱数を形式的に持ち出せば
自論を正当化できると思ってる発想がセタと似すぎてて笑った
おサルと言ったり、(^^を多用してセタ感を出すとか、前より性格悪くなったなw
>>392は間違いなくおっちゃんだろ?
難しいこと語ろうとするとワカランチンが馬脚を現して
省1
497: 2021/05/26(水)21:05 ID:xPs0RSD9(21/25) AAS
チョソンはピョンヤンに帰れ!
wwwwwwwwwwwwww
498: 2021/05/26(水)21:06 ID:xPs0RSD9(22/25) AAS
>>496
乙ことハングクもソウルに帰れ
wwwwwwwwwwwwww
499: 2021/05/26(水)21:08 ID:xPs0RSD9(23/25) AAS
チョソンとハングクは数学が分かってない点で全く同類
同じ半島人同士なかよくしろよなwwwwwww
500: 2021/05/26(水)21:09 ID:xPs0RSD9(24/25) AAS
さて🐎🦌を焼く時間はおしまいだw
501(1): 2021/05/26(水)21:11 ID:IquxWPzU(3/3) AAS
「ただの工学部じゃない」てどういう意味だ?
数学とは縁の薄い材料工学じゃなかったっけ?
「ただの工学部じゃない」
→「卒業してから数学を勉強してきた」
という意味なら、その勉強身になってないからw
502: 2021/05/26(水)21:23 ID:xPs0RSD9(25/25) AAS
>>501
「ただの工学部じゃない」
→底抜けに🐎🦌な工学部卒www
大阪●●大学卒らしいwww
503(1): 2021/05/26(水)23:06 ID:rP5+L5xQ(7/9) AAS
そもそも決定番号は無限列に対し定義されたものなのに有限列を持ち出すこと自体ナンセンス
サルに数学は無理
504: 2021/05/26(水)23:13 ID:rP5+L5xQ(8/9) AAS
代表列 0,0,… が属す同値類の列 1,0,0,… の決定番号は1。
はい、決定番号=∞の反例。
505: 2021/05/26(水)23:32 ID:rP5+L5xQ(9/9) AAS
同値類が理解できないサルに時枝記事は理解できない。
だからIIDだの有限列だのまったく的外れな話に終始する。
506(6): 2021/05/27(木)04:43 ID:QMqHVgx9(1/4) AAS
>>496
>>>440はおっちゃんか。
>モンテカルロ法や乱数、疑似乱数を形式的に持ち出せば
>自論を正当化できると思ってる発想がセタと似すぎてて笑った
>おサルと言ったり、(^^を多用してセタ感を出すとか、前より性格悪くなったなw
>>>392は間違いなくおっちゃんだろ?
まあそうだが、ここに来たのは、>>457に書いたように瀬田君がおサルという人物(多分 ID:xPs0RSD9)に
省7
507(1): 2021/05/27(木)06:23 ID:yz85L3Je(1/14) AAS
>>506
>瀬田君がおサルという人物(多分 ID:xPs0RSD9)に
>私が他の件でバカといわれて(畜生!!!と罵られて)内容を否定された
文章が実に読みづらい
さすが日本語が不自由なハングク人w
上記の文章では
「瀬田君がおサルという人物(多分 ID:xPs0RSD9)に内容を否定された」とも
省6
508(1): 2021/05/27(木)06:26 ID:yz85L3Je(2/14) AAS
>>506
>時枝記事の正否を議論するためにここに来た訳ではない。
γは有理数だ!とかいうトンデモ証明を臆面もなく披露し
他人から誤りを指摘されても理解できない🐎🦌に
箱入り無数目の正否などわかりようもないw
やはり理科大は
一流の東大はもとより
省3
509: 2021/05/27(木)06:30 ID:yz85L3Je(3/14) AAS
>>506
>瀬田君のマネをすることで、誰だかわからないように、
>瀬田君がおサルと”呼ぶ”人物(多分 ID:xPs0RSD9)に
>そのことへの反撃をするためである。
「おつ」=ハングクは、セタ=チャット=チョソン同様
🐎🦌のくせに自分が賢いと自惚れる●違いのようだw
自分が🐎🦌にされると三歳児のごとく発●する
省3
510: 2021/05/27(木)06:33 ID:yz85L3Je(4/14) AAS
>>506
>私はかなり前に瀬田君向けに時枝記事の証明をここに書いた。
>今更時枝記事を否定する気はない。
おつ=ハングクもセタ=チョソン同様、論理が全然わからん🐎🦌である
証明とかいいつつ、●違いみたいなクソ文章しか書けない
どうせ統合失調症で幻聴に悩まされてるんだろう
こんな人間失格の虫ケラは山奥の病院で一生隔離されてればいい
省1
511: 2021/05/27(木)06:35 ID:yz85L3Je(5/14) AAS
>>506
>まあ、私の瀬田君のマネについて笑ってくれて何よりだ。
そのキモチワルイコメントの後ろにこれつけたほうがいいぞ
「ニチャア」
外部リンク:leisurego.jp
512(3): 2021/05/27(木)06:36 ID:QMqHVgx9(2/4) AAS
>>507-508
>>時枝記事の正否を議論するためにここに来た訳ではない。
>
>γは有理数だ!とかいうトンデモ証明を臆面もなく披露し
>他人から誤りを指摘されても理解できない🐎🦌に
>箱入り無数目の正否などわかりようもないw
γの有理性の件ではない。
省4
513(2): 2021/05/27(木)06:38 ID:yz85L3Je(6/14) AAS
おつのコメントは、日本に恨み事をいうハングク人のそれと同じ
いわゆる「人類みな平等」の社会公正に基づくものではなく
「幼稚な自己本位」によるもの だから🐎🦌にされる
日本は正義でもなんでもなく全くの悪徳だが
ハングク人も全く同レベルの悪徳野郎だから
目糞が鼻糞を笑う醜態でしかない
東アジアは地球上から無くなったほうがいいだろう
省1
514: 2021/05/27(木)06:40 ID:yz85L3Je(7/14) AAS
>>512
>γの有理性の件ではない。
なんだかしらんが、ハングクはソウルに帰れwwwwwww
515: 2021/05/27(木)06:41 ID:yz85L3Je(8/14) AAS
>>512
>理科大は確かにマトモな大学ではないが、
だったらあきらめろ
おつは人間失格のカスwww
516(1): 2021/05/27(木)06:43 ID:yz85L3Je(9/14) AAS
>>512
>今の東大が一流と思っていたら大間違い。
>今の東大は世界全体で見たら一流とはいえない。
その東大にもうからんおつは三流どころが五流、七流wwwwwww
517(1): 2021/05/27(木)06:52 ID:QMqHVgx9(3/4) AAS
>>513
歴史的には太平洋戦争中に日本が朝鮮半島を占領したとき、韓国や朝鮮に当時の日本人が定住した。
だから、現在の朝鮮民族の一部は当時の日本人の子孫にあたる。
逆に、現在の日本人はその昔朝鮮半島から来て朝鮮民族の遺伝子を受け継いでいる。
だから、現在の日本人は朝鮮民族の子孫でもある。
遺伝子的には、日本人の遺伝子と朝鮮人の遺伝子には共通する部分が多い。
日本史をかじったことがある人はその位のことはすぐ分かる。
518(1): 2021/05/27(木)06:56 ID:QMqHVgx9(4/4) AAS
>>516
私は試験や受験には興味が御座いませんのでw
東大は中高一貫校出身の人間が多く合格している。
519(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/27(木)07:07 ID:dKVKdotp(1/8) AAS
>>506
おっちゃん、どうも
スレ主です
私は、名前の議論には参加しない
第三者に迷惑をかける可能性があるからね
だが、正しいのは私であって
(それは、いま多くの人が認めるところだろうね、サル二匹を除いてね。おっちゃんも、それは分かってきたようだが)
省6
520(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/27(木)07:11 ID:dKVKdotp(2/8) AAS
>>519 追加
ついでに書いておくが
サル二匹
形勢が不利になると
ヘイトスピーチを始める
朝鮮および朝鮮人をバカにするヘイトスピーチを始める
人間としてどうなんかね?
省5
521(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/27(木)07:15 ID:dKVKdotp(3/8) AAS
メモ:21世紀の数学は”hol”(高階論理)ですね(^^
(旧ガロアすれにも貼った気がするが)
(参考)
外部リンク:staff.fnwi.uva.nl
Taichi Uemura
Introduction
PhD candidate at Institute for Logic, Language and Computation, University of Amsterdam.
省32
522(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/27(木)07:24 ID:dKVKdotp(4/8) AAS
>>503
>そもそも決定番号は無限列に対し定義されたものなのに有限列を持ち出すこと自体ナンセンス
そもそも、可算無限列は、有限列の極限と考えるべきものだろ?
有限列の極限と考えて何が悪い?
というか、有限列の極限と考えて何か悪いこと(矛盾)が出てくれば、
それは真剣に考慮すべきことだろ?w(^^
(参考)
省7
523(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/27(木)07:42 ID:dKVKdotp(5/8) AAS
>>520 追加
朝鮮および朝鮮人をバカにするヘイトスピーチを繰り返すサル二匹は
数学板を永久追放で良いんじゃない?
”東アジアは地球上から無くなったほうがいいだろう
おぞましい”(>>513より)
なんて、狂気としか思えない
数学やれる頭じゃないし、ヘイトスピーチを繰り返すのは日本人の恥、数学板の恥だ
524: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/27(木)07:44 ID:dKVKdotp(6/8) AAS
>>517
(引用開始)
遺伝子的には、日本人の遺伝子と朝鮮人の遺伝子には共通する部分が多い。
日本史をかじったことがある人はその位のことはすぐ分かる。
(引用終り)
おっちゃん、どうも
スレ主です
省1
525(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/27(木)11:42 ID:sAkN/2DQ(1/5) AAS
>>401 追加
旧ガロアスレで、確率論の専門家さんが来訪したときの記録を下記に引用する
彼は、二つの指摘をしていった
1)下記の519と522で、「それの証明ってあるかな? 100個中99個だから99/100としか言ってるようにしか見えないけど」
「二列で考えると、P(h(Y)>h(Z))=1/2であれば嬉しい.hが可測関数ならばこの主張は正しいが,hが可測かどうか分からないのでこの部分が非自明」
と指摘している。つまり、時枝記事を成り立たせている一番重要な部分に証明が無いってこと
ここを補足すると、>>451に書いたように、数列が有限長ならば、同値類は最後の箱nのみで殆ど決定されてしまうので、時枝氏の論法は使えない
省12
526(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/27(木)11:42 ID:sAkN/2DQ(2/5) AAS
>>525
つづき
(参考)
旧ガロアスレ20 (512 2016/07/03 確率論の専門家さん来訪 ID:f9oaWn8A と ID:1JE/S25W )
2chスレ:math
1)
519 名前:132人目の素数さん[] 投稿日:2016/07/03(日) 22:27:11.14 ID:f9oaWn8A [4/13]
省30
527: 2021/05/27(木)12:21 ID:l2D1bgDZ(1/16) AAS
>>519
>だが、正しいのは私であって
>(それは、いま多くの人が認めるところだろうね、サル二匹を除いてね。おっちゃんも、それは分かってきたようだが)
多くの人って誰?w
時枝成立派
時枝教授、Hart教授、Pruss博士、Dennis、このスレで少なくとも2名、数学セミナー編集部
時枝不成立派
省2
528(2): 2021/05/27(木)12:34 ID:l2D1bgDZ(2/16) AAS
>>526
だからそれは間違いだと何度言えば理解するのか?
サルは理解力が壊滅している。
>P(h(Y)>h(Z))=1/2であれば嬉しい.
時枝記事が全然読めてない。時枝先生はそんなこと一言も言ってない。
正しくは
P(a>b)=1/2(より正確にはh(Y)=h(Z)の場合を考慮して修正が要る)
省5
529: 2021/05/27(木)12:36 ID:l2D1bgDZ(3/16) AAS
何十回も教えてやっても理解できないサル畜生がなぜ数学板に来るのか?
餌でももらえると思ってるのか? サル畜生はサル山へ帰れ
530(1): 2021/05/27(木)12:40 ID:l2D1bgDZ(4/16) AAS
ランダム(一様分布)の定義から自明に正しいんだから、「可測性が保証されない」なる指摘は完全に間違い。
圧倒的に理解力が欠如しているサル畜生は数学語るな。サル山へ帰れ。
531: 2021/05/27(木)12:41 ID:l2D1bgDZ(5/16) AAS
言ったのは確率論の専門家?自分はコピペしただけ?
コピペしたのはおまえだろ、言い訳無用、責任を他者に擦り付けるな。
532: 2021/05/27(木)12:51 ID:l2D1bgDZ(6/16) AAS
P(h(Y)>h(Z))と誤解してるから「可測性が保証されない」と思ってしまう。
正しくはP(a>b)だからまったく的外れ。
なぜサル畜生はたったこれだけのことが理解できないのか?
答え サルは人間様の数学を理解する脳を持っていないから。
533: 2021/05/27(木)12:53 ID:l2D1bgDZ(7/16) AAS
>>520
数学とは何の関係も無いw
朝鮮人なんてヘイトスピーチどころか反日教育という国家をあげてのヘイト活動を行っている。
534(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/27(木)12:54 ID:sAkN/2DQ(3/5) AAS
>>526
おっと、上記のNo528に下記の訂正が入っていたね
追加しておく
確かに、この方が意味が取れるな
(参考)
旧ガロアスレ20
2chスレ:math
省6
535: 2021/05/27(木)12:55 ID:l2D1bgDZ(8/16) AAS
>>521
>メモ:21世紀の数学は”hol”(高階論理)ですね(^^
大学一年4月で落ちこぼれた落ちこぼれザルが21世紀の数学を語る滑稽さ
536: 2021/05/27(木)13:04 ID:l2D1bgDZ(9/16) AAS
>>522
>そもそも、可算無限列は、有限列の極限と考えるべきものだろ?
無限列の存在を前提にその収束や極限が定義されるのに、順序があべこべw
サルは大学数学を1?も分かってないw
>有限列の極限と考えて何が悪い?
>>464から逃げてるから
537: 2021/05/27(木)13:06 ID:l2D1bgDZ(10/16) AAS
>>522
>というか、有限列の極限と考えて何か悪いこと(矛盾)が出てくれば、
>それは真剣に考慮すべきことだろ?w(^^
決定番号=∞という矛盾が出たのでどこが間違いか真剣に考えろバカw
538: 2021/05/27(木)13:11 ID:l2D1bgDZ(11/16) AAS
>決定番号=∞という矛盾
サルは同値類が理解できないから矛盾であることも理解できないのだろう
サルはサル山へ帰れ
539(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/27(木)14:25 ID:sAkN/2DQ(4/5) AAS
>>534 補足
(参考)
1)mathoverflow
外部リンク:mathoverflow.net
Probabilities in a riddle involving axiom of choice Denis氏 Dec 9 '13
注:
もともとは、質問でDenis氏が、(研究所の)職場の同僚から、
省14
540: 2021/05/27(木)14:56 ID:B+lJwesV(1) AAS
相変わらずのゴミ屋敷スレ
541(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/27(木)15:02 ID:sAkN/2DQ(5/5) AAS
みんな一緒よ、5ch数学板
つーか、5chなんて、便所の落書きだろ?
便所の落書きと、ゴミ屋敷と
それは、全順序で比較できないかもな(どっちが上でどっちが下?w(^^; )
542: 2021/05/27(木)18:06 ID:l2D1bgDZ(12/16) AAS
>>539
>種明かしは、”axiom of choice”で非可測を使っているから
だからそれは間違いだと散々説明しただろ。サルに理解できないだけのこと。
>Denis氏は、計算機系のDRで、数学専門ではない。
数学Dr.Prussも時枝成立を認めますた。いまだ認められないのはサル一匹。
543: 2021/05/27(木)18:13 ID:l2D1bgDZ(13/16) AAS
>>539
>時枝記事否定派のAlexander Pruss先生とTony Huynhの二人の数学DRが、縷々説明するも、
>測度論に詳しくないDenis氏は、「最後まで理解できなかった」(測度論に無知と見た)というのがオチです
サルの妄想には何の根拠もありません。
こちらは妄想ザルと違いエビデンスを示します。
Pruss「we win with probability at least (n-1)/n. That's right.」
サルはサル山へ帰れ
544: 2021/05/27(木)18:16 ID:l2D1bgDZ(14/16) AAS
だいたい、無限列の定義に極限を用いようとするアホザルに数学が1?たりとも理解できようはず無かろう。
無限列の存在を前提にその極限が定義できるのにw アホにも程があるw
サルがやってることは数学ではなく妄想。
545: 2021/05/27(木)18:20 ID:l2D1bgDZ(15/16) AAS
正しい定義の順序
写像→無限列→無限列の極限
アホザルの順序
無限列の極限→無限列
↑
馬鹿過ぎとしか言い様が無いw
546(2): 2021/05/27(木)18:29 ID:HOtNiP9H(1/2) AAS
>>523
潔癖なだけでは?
潔癖さから、彼(彼女?)の考える“朝鮮人の偏り”だけでなく、“日本人の偏り”もまた、嫌っているという言辞のようですので、現実的に一貫して政治的意図を持っての、特定の民族をヘイトスピーチしていると言うより、現実的では無いかも知れませんが、極めて潔癖な理想主義的な世界観からの心情の吐露なのでは?
数学の国の人らしい無国籍ぶりだと思いますよ
豪放磊落、傍若無人、純粋と言うべきなのかもしれませんね…
具体的な民族名を出した言辞を目にして、気を悪くする人がいるだろう事は残念ですが、偏りが無い余り、人間嫌いに近い心情に至っているのでは?と推測します。
物凄く潔癖な性質をしている人(ちょっと現実的ではないくらい)で、現実社会では、強いストレスを感じやすい方なんじゃないかな?と思いました…
547: 2021/05/27(木)18:30 ID:l2D1bgDZ(16/16) AAS
サル畜生の脳は人間のそれと違うのだからどだい無理なんだよ
諦めなさい
548(1): 2021/05/27(木)18:35 ID:HOtNiP9H(2/2) AAS
人間社会は数学みたいにピュアには見えませんからね
プラグマティックな正しさを第一としたい人達にとっては、不条理と感じたり、理不尽に思う事が多くて傷付いたり、強いストレスを感じて悩みも多いのではないでしょうか
549: 2021/05/27(木)19:16 ID:9n8S5jLz(1) AAS
1の原始11乗根らしい
2chスレ:math
550(1): 2021/05/27(木)20:59 ID:KV5Pyvf0(1) AAS
>>541
ひろゆきによれば無能にも
使える無能と使えない無能とやる気ある無能
が居る。
使える無能の害悪性≪使えない無能の害悪性≪やる気ある無能の害悪性
お前はやる気ある無能、つまり最も害悪。
551: 2021/05/27(木)21:07 ID:yz85L3Je(10/14) AAS
>>546
そうね・・・他人を殺す自己中が大嫌い
そういう意味では西欧の白い豚どもも、この世から消えてなくなればいい
と心のそこから思う あいつらは悪魔
552: 2021/05/27(木)21:14 ID:yz85L3Je(11/14) AAS
>>548
だいたい国家馬鹿、宗教馬鹿がキライ
国家は殺人鬼の集まり 宗教は狂人の戯言
553: 2021/05/27(木)21:21 ID:yz85L3Je(12/14) AAS
>>525
似非専門家は単に
「箱の中身が確率変数なら、非可測だから確率は計算できない」
と🐎🦌でもわかることを絶叫してるだけ
箱の中身は確率変数ではないから、非可測なんて関係ないし
実に初等的な形で確率は計算できる 反論の余地もない
実際Prussも反論しなかった 当たり前だ 反論したら🐎🦌だw
554: 2021/05/27(木)21:23 ID:yz85L3Je(13/14) AAS
>>521
>21世紀の数学は”hol”(高階論理)ですね
なにをホルホルしてるんだ?
この自己愛チョソンはwwwwwww
555: 2021/05/27(木)21:29 ID:yz85L3Je(14/14) AAS
決定番号=∞はありえない
決定番号は当然自然数の値しかありえない
もしそうでないなら、その列は、列が属する同値類の代表元と同値でないことになるw
同値類の代表元は、当然同値類のどの元とも同値であるw
同値ということは決定番号が自然数の値をとるということであるw
もしそれが理解できないなら、そいつは日本語が読めない
チョーセンジン チューゴクジン ってことになる
省2
556(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/27(木)22:28 ID:dKVKdotp(7/8) AAS
>>521
HOL ”METAPHYSICS”だよ〜ん。 HOLは、数学独占じゃない!!(^^;
外部リンク[html]:tedsider.org
SEMINAR ON HIGHER ORDER METAPHYSICS
Rutgers Philosophy Department, 106 Somerset St, 5th floor, Fridays, 9:50-12:50, Spring 2020
Ted Sider, Room 526, office hours TBA and by appointment
Syllabus
省34
557(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/27(木)22:30 ID:dKVKdotp(8/8) AAS
>>546
>潔癖なだけでは?
何を言っているんだ
見る目がないね
潔癖だ?
こいつは、腐った魚以下
ただのサル
省1
558(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/28(金)08:18 ID:RuIG2yEj(1/3) AAS
>>556 追加
higher-order logic topos で検索すると
高名な 下記のSteve Awodey先生がヒット
Kohei Kishida Who?
” sheaf semantics, models are built on presheaves ”
なるほど、層や圏から、higher-order logicへ繋がっていくのか(^^
参考
省17
559: 2021/05/28(金)08:54 ID:atLpTL2R(1/7) AAS
>>556-558
チョソン わかりもしないのにholをホルホルw
チョンリマに乗ってどっかへ飛んでけw
外部リンク:kotobank.jp
560: 2021/05/28(金)08:59 ID:atLpTL2R(2/7) AAS
そもそも
「ωから0に至る無限降下列が存在する!」(ドヤ顔)
で語って恥ずる色もない🐎🦌のチョソンは
整列順序(というか整礎関係)はもちろん
そもそも論理が全く理解できてないw
561: 2021/05/28(金)09:01 ID:atLpTL2R(3/7) AAS
>>557
>こいつは、腐った魚以下
>ただのサル
>けものだよ
虫ケラ、チョソン わめきちらすwwwwwww
562: 2021/05/28(金)09:08 ID:atLpTL2R(4/7) AAS
そもそもωからの降下列は
まず、ω∋xとなるxを示す必要がある
そしてω∋xとなるxはすべて自然数である
自然数xから0に至る降下列は皆有限長
したがって、ωから0にいたる降下列は有限長
こんな初歩も分からないチョソンが
やれholとかホルホルしても
省2
563: 2021/05/28(金)10:02 ID:zRagxKXt(1/6) AAS
ω∋xのxが自然数でないなら、ωの定義「0 を含むあらゆる帰納的集合の共通部分」に反する。
よってωの∈下降列は有限列。
ω以下の順序数すべてが含まれる∈下降列は作れない。ω∋xのxがどんな自然数でもそれより大きい自然数が存在するから。
サルはサル山へ帰れ。
564(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/28(金)10:48 ID:uSGdl6YO(1/4) AAS
サルは実数Rの全順序が分かっていないアホ
(参考 >>309より)
外部リンク:www.math.is.tohoku.ac.jp
東北大学大学院情報科学研究科 システム情報科学専攻 尾畑研究室
外部リンク[pdf]:www.math.is.tohoku.ac.jp
GAIRON-book : 2018/6/21(19:23)
第12章 順序集合
省29
565: 2021/05/28(金)11:01 ID:uSGdl6YO(2/4) AAS
>>550
>ひろゆきによれば無能にも
>使える無能と使えない無能とやる気ある無能
>が居る。
なんか、勘違い
1.5chなんて、しょせん便所の落書きとかチラシの裏と言われるところ
2.ここに来るのは、半分は気晴らしだろ?
省10
566(1): 2021/05/28(金)12:11 ID:zRagxKXt(2/6) AAS
>>564
おまえはいったい誰と会話してるの?
サルはサル山へ帰れ
上下前次1-新書関写板覧索設栞歴
あと 376 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.031s