Inter-universal geometry と ABC予想 (応援スレ) 74 (881ﾚｽ)
上下前次1-新
1(5): 08/21(木)22:58 ID:/FwGOxIP(1/11) AAS
（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 73
2chｽﾚ:math
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
2chｽﾚ:math
＜IUT最新文書＞
省25
2(2): 08/21(木)22:59 ID:/FwGOxIP(2/11) AAS
つづき
math_jinさん 情報早いな
外部ﾘﾝｸ:x.com
math_jin
ICM2030招致委員会
ICM2030 (International Congress of Mathematicians 2030) の招致・開催に向けて設置されました．本ページでは招致に向けた活動について情報共有を行います．
外部ﾘﾝｸ:mathsoc.jp
省18
3(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)22:59 ID:/FwGOxIP(3/11) AAS
つづき
(参考)
応援スレ67 2chｽﾚ:math
>【検証】どうして望月新一はICM2022で何の賞もなかったの？
>「100%の自信をもって」アクセプトしたんだよね？
>「アリの這い出る隙間もないほど完璧な」査読を行ったんだよね？
１）下記のフィールズ賞スレで囲碁将棋の話題がでているけど
省25
4: 08/21(木)23:00 ID:/FwGOxIP(4/11) AAS
つづき
外部ﾘﾝｸ:mainichi.jp
望月教授「ABC予想」証明 斬新理論で数学界に「革命」 京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日
(抜粋)
画像ﾘﾝｸ[jpg]:cdn.mainichi.jp
会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。
2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、（ショルツ教授からの）再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。
省17
5(2): 08/21(木)23:01 ID:/FwGOxIP(5/11) AAS
つづき
参考
外部ﾘﾝｸ[html]:www.maths.nottingham.ac.uk
宇宙際タイヒミューラー理論への誘い（いざない）2021-08-31?2021-09-03
Confirmed participants include:
Atsushi Shiho (Univ. Tokyo, Japan),
外部ﾘﾝｸ[html]:www.maths.nottingham.ac.uk
省9
6(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)23:01 ID:/FwGOxIP(6/11) AAS
つづき
＜過去スレより再録＞
スレ46 2chｽﾚ:math
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレが アンチでお願いしますよ
ここでは、大人の議論をしましょうね
省21
7(1): 08/21(木)23:02 ID:/FwGOxIP(7/11) AAS
つづき
動画ﾘﾝｸ[YouTube]
【世界で2番目のIUT理論研究拠点 誕生】新しいオンライン大学「ZEN大学」設立に関する発表会｜IUGC 宇宙際幾何学センター
N高等学校・S高等学校 2023/06/06
公益財団法人日本財団と株式会社ドワンゴは、新しいオンライン大学「ZEN大学」を設立します。
2023年6月6日（火）に発表された『IUT理論研究拠点の設立』をご紹介する動画です。
◆Inter Universal Geometry Center
省14
8(10): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)23:03 ID:/FwGOxIP(8/11) AAS
つづき
＜厳密だけが、数学ではない＞
＜数学と厳密＞
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
外部ﾘﾝｸ:www.amazon.co.jp
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
省33
9(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)23:05 ID:/FwGOxIP(9/11) AAS
つづき
＜“big picture”＞
外部ﾘﾝｸ:terrytao.wordpress.com
There’s more to mathematics than rigour and proofs Terence Tao
3. The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond.
外部ﾘﾝｸ:terrytao.wordpress.com
Career advice Terence Tao
省20
10(5): 08/21(木)23:06 ID:/FwGOxIP(10/11) AAS
つづき
なお、
おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然“維新〜！”と絶叫したりするからです（＾＾； ）
( 外部ﾘﾝｸ:textream.yahoo.co.jp 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
（＊＊）注；外部ﾘﾝｸ:en.wikipedia.org Hyperboloid
Hyperboloid of two sheets ：画像ﾘﾝｸ[png]:upload.wikimedia.org
省10
11(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)23:07 ID:/FwGOxIP(11/11) AAS
つづき
＜サイコパスのおサルのバカ発言＞
過去スレ55 2chｽﾚ:math
813 名前：１３２人目の素数さん[sage] 投稿日：2021/06/24(木) 20:41:12.45 ID:mlJli1k0 [7/7]
>>789-790
(引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
省31
12: 08/21(木)23:58 ID:1ejVsqNi(1) AAS
精神の発達が思春期でとまってる発達障害がなんかいってるよ
13: 08/22(金)02:40 ID:EqzHJSfS(1) AAS
妄想野郎が妄想全開で妄言はきまくってるだけさ
14: 08/22(金)06:40 ID:DmmS/CLT(1/11) AAS
>>1 クソスレ立てんな 高卒
15: 08/22(金)06:41 ID:DmmS/CLT(2/11) AAS
>>2
＞従来の数学では実現出来ないことが望月の圏論幾何で実現できているってことでしょ
ホラ吹きのホラを真に受ける国粋高卒
16: 08/22(金)06:43 ID:DmmS/CLT(3/11) AAS
>>3
＞中島氏は、査読編集委員として、数年にわたる時間をかけて、ようやく理解したんじゃないの？
専門外の編集委員が理解したと妄想する国粋高卒
17: 08/22(金)06:45 ID:DmmS/CLT(4/11) AAS
>>6
＞「ちゃんと査読された」ということを認める
未開土人ばかりの島国にある三流大学の研究機関RIMSの不正査読を盲信する国粋高卒
18: 08/22(金)06:48 ID:DmmS/CLT(5/11) AAS
>>7
＞『IUT理論研究拠点の設立』
IUGCがなくなったことも知らん情弱高卒
外部ﾘﾝｸ:zen.ac.jp
19: 08/22(金)06:51 ID:DmmS/CLT(6/11) AAS
>>8
＞”厳密性を数学と取りちがえるという勘違い”
＞なぜ微分積分学は不完全なのか？
大学１年の一般教養「微分積分学」の
実数の定義がチンプンカンプンで落ちこぼれた
神戸の公立高出身のカス高卒
20: 08/22(金)06:53 ID:DmmS/CLT(7/11) AAS
>>10
＞サイコパスのピエロ、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男のアホ男です。
自己紹介が完璧な、国粋ファシストの高卒
21(6): 08/22(金)07:01 ID:DmmS/CLT(8/11) AAS
>>11
＞「数学における日本とかいう野蛮な島のジコチュウ●チガイ…」
＞てめえ、何様のつもりだ？
＞5ｃｈ数学板で便所の落書きしている数学落ちこぼれさんでしょ
＞何をえらそうに！
大学１年の一般教養の微積で落ちこぼれた分際で
日本をバカにされると●チガイのごとくムキになって
省12
22: 08/22(金)07:06 ID:DmmS/CLT(9/11) AAS
12 ＞精神の発達が思春期でとまってる発達障害
13 ＞妄想野郎
神戸のド●ッタ国粋君は、高校までは数学の秀才だったらしい
まあ、高校までの数学は、論理抜きで計算法丸暗記すれば解けるから、サルでもわかる（笑）
しかし、大阪の大学に行ったら、一般教養の微分積分のしょっぱな、実数の定義で
「全然、何言ってるのかわからん」状態になり、落第
要するに論理が分からんから
省6
23: 08/22(金)07:09 ID:DmmS/CLT(10/11) AAS
IUは、2022のICMでも全く無風だった 2026でも同様
国粋馬鹿は諦められないらしいが無駄
日本とは東の意味 中国人が自分たちから見て東にある土人の島をそう呼んだだけ
生き残りたかったら中国語勉強しな
你好 謝謝
24: 08/22(金)07:12 ID:DmmS/CLT(11/11) AAS
このクソスレでは、スレ立てた国粋高卒君が理解できなかった
大学１年の一般教養の微分積分学および線形代数学の基本についてのみ
彼にしつこく指導いたします
大学の数学科を卒業した諸君
協力 ４６４９
25: 08/22(金)21:35 ID:C+rJoDfa(1) AAS
動画ﾘﾝｸ[YouTube]
26: 死狂幻調教大師S.A.D.@月と六ベンツ 08/23(土)10:28 ID:XZ6J116Y(1/15) AAS
俺は高校年代は博士課程後期。高校のような低学歴じゃないよ。人をよく調べるのもマナーでは。
27(1): 死狂幻調教大師S.A.D.@月と六ベンツ 08/23(土)10:32 ID:XZ6J116Y(2/15) AAS
大学の一年の時期は公務員教養と研究過程。その後独立行政職員で研究続けながら専門の師範など。専攻は文学。攻め。
28(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)10:47 ID:KYsCHIBD(1/17) AAS
2chｽﾚ:math
前スレ
>>998 タイポ訂正
もう一つは、カントールの対角線論法で 無限 二進数展開を使う
↓
もう一つは、カントールの対角線論法で 無限 小数数展開を使う
29(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)10:49 ID:KYsCHIBD(2/17) AAS
>>27
死狂幻調教大師S.A.D.@月と六ベンツ さん
ありがとうございます
スレ主です
今後も宜しくお願い致します。
30(1): 08/23(土)11:12 ID:18cyucpd(1/17) AAS
前スレ985
>”算数・数学教育において、0.999… = 1 という関係（または類似の関係）が正しいことを教えることは一つの課題となっている”
Qを有理数全体、Xを有理コーシー列全体、Rを実数全体の集合とする。
R上の有理コーシー列の極限は、∀x∈Xに対してlim[n→∞]x:=[x] と定義されている。
無限小数0.999…なるものを、0.999…∈R 且つ 0.999…:=lim[n→∞](0.9,0.99,0.999,・・・) と定義する。R上で0.999…=[0.9,0.99,0.999,・・・]。
X上で1,1,1,・・・-0.9,0.99,0.999,・・・={1/10^n}→0 だから 1,1,1,・・・〜0.9,0.99,0.999,・・・。よってR上で0.999…=[0.9,0.99,0.999,・・・]=[1,1,1,・・・]
一方Q上でlim[n→∞](1,1,1,・・・)=1だからR上で[1,1,1,・・・]=1。
省2
31: 08/23(土)11:15 ID:18cyucpd(2/17) AAS
前スレ986
>無限小数を排除するのは勝手だが、自然数から有限小数への写像は否定できまい。
だから自然数の全体も有限小数の全体も否定してるんだって。無限集合は存在しないって書いてるじゃん。
32: 08/23(土)11:22 ID:18cyucpd(3/17) AAS
前スレ986
>極限もまた、数列である
有理コーシー列xの極限はxが属す同値類：lim[n→∞]x:=[x]
これがRの構成におけるlim[n→∞]xの定義。
33: 08/23(土)11:30 ID:18cyucpd(4/17) AAS
前スレ988
>有理数1/3 が、巡回小数表現を持つことは、小学生レベルだろう
>だが、これを 極限だの なんだのと グダグダしい説明をする必要はない！
有理数はね。無理数は？
34: 08/23(土)12:50 ID:18cyucpd(5/17) AAS
前スレ998
>多分違うよ
>あなたの受けた 1980年代の日本の数学科は、そういう厳密病の教育だった気がする
>その後、数学も進歩して ノンスタ（超準）などが出て、21世紀の数学は結構自由なのだとなった
有理コーシー列の極限で実数を定義するとか超絶バカ発言してしまったオチコボレがまったくトンチンカンなこと言ってますね
>ここでは 極限だの収束だの へったくれを いう必要なし！
そのような不遜な態度だから君は実数の完備性を理解できないんだよ
35(1): 08/23(土)13:03 ID:18cyucpd(6/17) AAS
>これを 極限だの なんだのと グダグダしい説明をする必要はない！
オチコボレが「グダグダ」と言いがかりつけるのは、自分が理解できないのを体よくごまかして自尊心を保とうとするため
36(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)13:23 ID:KYsCHIBD(3/17) AAS
>>30
ふっふ、ほっほ
君のアタマは20世紀（1980年代の旧型だね）
いま21世紀。下記を(参考)を 全文百回音読してねｗ ；ｐ）
とくに、”数学通信第１５巻第２号目次 2010
高木貞治に見る数学思想の変遷 足立 恒雄”をね ；ｐ）
21世紀では ”素朴集合論”というか
省19
37(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)13:24 ID:KYsCHIBD(4/17) AAS
つづき
外部ﾘﾝｸ:ja.wikipedia.org
素朴集合論
形式論理を用いて定義される公理的集合論とは異なり、素朴集合論は非形式的に自然言語で定義される。離散数学で馴染み深い数学的集合の側面（たとえば、 ベン図やブール代数に関する記号の取り扱い）を説明するものであり、現代の数学における集合論の概念を日常的に扱うのに十分なものである[4]。
集合は数学において非常に重要である。現代の形式的な扱いでは、ほとんどの数学的対象（数、関係、関数など）は集合の観点から定義される。素朴集合論は多くの目的に十分であると同時に、より形式的な取り扱いへの足がかりとしても有効である。
方法
「素朴集合論」という意味での素朴論は、形式化されていない理論、つまり、自然言語を使用して集合と集合の操作を述べる理論である。かつ (and)、または (or)、もし〜ならば (if ... then)、〜でない (not)、 ある〜に対して(for some)、すべての〜に対して (for every) は、通常の数学と同様に扱われる。便利であるため、素朴集合論とその形式主義は、集合論自体のより形式的な設定を含め、より高度な数学でも用いられている。
省11
38(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)13:24 ID:KYsCHIBD(5/17) AAS
つづき
外部ﾘﾝｸ:ja.wikipedia.org
自然数
外部ﾘﾝｸ:ja.wikipedia.org
ペアノの公理
自然数の集合論的構成
具体的な自然数は
省18
39(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)13:25 ID:KYsCHIBD(6/17) AAS
つづき
外部ﾘﾝｸ[html]:www.mathsoc.jp
数学通信第１５巻第２号目次 2010
高木貞治に見る数学思想の変遷 足立 恒雄 ６
外部ﾘﾝｸ[pdf]:www.mathsoc.jp
高木貞治に見る数学思想の変遷
足立恒雄(早稲田大学理工学術院)
省15
40(1): 08/23(土)13:27 ID:18cyucpd(7/17) AAS
>>36
>21世紀では ”素朴集合論”というか
>自然言語を援用する論理が復権している気がする
ああ、こいつぜんぜん分かってねー
41: 08/23(土)13:30 ID:18cyucpd(8/17) AAS
>>36
>であり、自然言語を使わずに 形式論理などのグダグダを避ける
ほらね、>>35の通りでしょ
42: 08/23(土)13:34 ID:18cyucpd(9/17) AAS
>>38
自然数もペアノの公理もぜんぜん分かってないオチコボレが長々とコピペしても無駄
43(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)13:44 ID:KYsCHIBD(7/17) AAS
>>38 補足
>外部ﾘﾝｸ[pdf]:www.math.tsukuba.ac.jp
>Boolean valued higher order logics
>池上大祐 東京電機大学 平成27年11月28日
外部ﾘﾝｸ[html]:www.mathsoc.jp
数学基礎論若手の会
2015年 筑波大学館山研修所 竹内耕太
省14
44(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)13:53 ID:KYsCHIBD(8/17) AAS
>>36 追加
(引用開始)
望月IUTは、圏論のキカだという
（下記 ”ABC予想を解く要件[1]の考察により、遠アーベル幾何などを拡大した圏の宇宙際 (IU) 幾何を構想した数学理論である[2]”）
圏論のキカに持ち込むと、グダグダの推論規則は不要で、それは圏論の規則に吸収される
(引用終り)
(参考)
省10
45: 死狂幻調教大師S.A.D.@月と六ベンツ 08/23(土)13:54 ID:XZ6J116Y(3/15) AAS
フレーゲクワインなんかはよく出来てるな。しかしボロボロの成績じゃないのかな。
46: 死狂幻調教大師S.A.D.@月と六ベンツ 08/23(土)13:57 ID:XZ6J116Y(4/15) AAS
言語分析哲学、言語分析数理哲学の執筆なんてどうだろ。ここのログも。
47: 死狂幻調教大師S.A.D.@月と六ベンツ 08/23(土)13:57 ID:XZ6J116Y(5/15) AAS
言語と数学の関係。
48: 死狂幻調教大師S.A.D.@月と六ベンツ 08/23(土)14:00 ID:XZ6J116Y(6/15) AAS
数学はランチに一品追加じゃないけど趣味でするものじゃない食うていけるかが大事さ。
49: 死狂幻調教大師S.A.D.@月と六ベンツ 08/23(土)14:01 ID:XZ6J116Y(7/15) AAS
兵糧計算から軍資金の調達やはり数学者は使いますよね。
50: 死狂幻調教大師S.A.D.@月と六ベンツ 08/23(土)14:03 ID:XZ6J116Y(8/15) AAS
言語つまり古典哲学古典文学古典神学×数学。
51: 08/23(土)14:08 ID:EjBWM/LE(1/6) AAS
ゴミが圏論を持ち出せば言語理論や推論規則がなくてもなんとかなるという妄想にたどりついたようだ。そんなわけがないのがなんでこのクズにはわからんのかね？知能を司る部分では理解できてるんやろうが、それを認めると自分が不愉快に感じるという感情の部分がそれを許さないんやろ
人間的な知性的判断より自分の感情のほうを優先する
もう脳が完全に故障してしまっとる。
52: 死狂幻調教大師S.A.D.@月と六ベンツ 08/23(土)14:11 ID:XZ6J116Y(9/15) AAS
認知記憶障害と認知症、認知心理学関連とか大学病院でもやってるんだけど。
53: 08/23(土)14:11 ID:EjBWM/LE(2/6) AAS
それとも知性的な判断の部分ですらそんなはずないと考えてしまうほど知世的判断ができない位ポンコツなのかもしれんが
54: 死狂幻調教大師S.A.D.@月と六ベンツ 08/23(土)14:13 ID:XZ6J116Y(10/15) AAS
老人ホームや刑務所、精神病院に老後繋がれるより大学病院女子老人科はいかが。麻薬もある。
55: 死狂幻調教大師S.A.D.@月と六ベンツ 08/23(土)15:08 ID:XZ6J116Y(11/15) AAS
真空の牙馬で心臓丸呑みされたのは怪我や魔創だけど。心臓魔力で継いでもらって戦ったがが統合失調症はどうやら神経障害圏にすぎないけど。
56: 死狂幻調教大師S.A.D.@月と六ベンツ 08/23(土)15:10 ID:XZ6J116Y(12/15) AAS
真空の牙 。
57: 死狂幻調教大師S.A.D.@月と六ベンツ 08/23(土)15:10 ID:XZ6J116Y(13/15) AAS
サイレンススズカと死したよ。
58: 死狂幻調教大師S.A.D.@月と六ベンツ 08/23(土)15:11 ID:XZ6J116Y(14/15) AAS
後を継ぐ者がいたからな。魔人大戦。
59: 死狂幻調教大師S.A.D.@月と六ベンツ 08/23(土)15:14 ID:XZ6J116Y(15/15) AAS
東京タワーだったな4F阿修羅龍の檄襲は。
60(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)15:58 ID:KYsCHIBD(9/17) AAS
>>39 補足
>フレーゲの論理学は現今の言葉で言えば，2階述語論理である(しかし当時は１階も２階もなかった)
１）下記『二階述語論理は一階述語論理よりも表現能力が高い』
が ラッセルのパラドックスなどの問題から
20世紀前半は、一階述語論理限定が主流だった
２）『近年、二階述語論理は一種の回復の途上にある』（下記）
３）『ゲーデルの加速定理』（下記）があって
省20
61: 08/23(土)17:15 ID:XQOxXTSd(1/6) AAS
>>28
N：＝{0,1,2,・・・} は、…あくまで 上限の無い 有限集合でしかない
2chｽﾚ:math
とかほざくトンデモ●違いの ◆yH25M02vWFhP が
何をいっても笑われるだけ
>>29
「現代数学の落伍者 ◆yH25M02vWFhP」な（笑）
62: 08/23(土)17:23 ID:XQOxXTSd(2/6) AAS
>>36
>21世紀では
>”素朴集合論”というか自然言語を援用する論理が
>復権している気がする
⋀も⋁も∀も∃も読めない高卒 ◆yH25M02vWFhPの妄想
>勿論、自然言語→形式論理に翻訳できることを確認しながらね
自然言語を論理式に翻訳できない高卒 ◆yH25M02vWFhP（笑）
省12
63: 08/23(土)17:27 ID:XQOxXTSd(3/6) AAS
>>43-44
◆yH25M02vWFhPが何をコピペしようと、彼の数学の最高峰は
三角関数の加法定理 と オイラーの公式 止まり
今は２１世紀だが、彼の数学は１８世紀止まり
64(1): 08/23(土)17:38 ID:XQOxXTSd(4/6) AAS
>>60
外部ﾘﾝｸ:ja.wikipedia.org
二階述語論理
■意味論
二階述語論理では2種類の意味論 standard semantics と Henkin semantics がある。
どちらの意味論でも、一階述語論理の範囲内の意味論（一階の量化、論理和や論理積など）は一階述語論理と同じである。
異なるのは、二階の変項への量化の解釈である。
省18
65: 08/23(土)17:39 ID:XQOxXTSd(5/6) AAS
>>64のつづき
■二階論理とメタ論理学の成果
ゲーデルの不完全性定理の系の1つとして、以下の3つの属性を同時に満足するような二階述語論理の推論体系は存在しないとされた。
（健全性）証明可能な二階述語論理の文は常に真である。すなわち standard semantics に従ったあらゆるドメインで真である。
（完全性）standard semantics において常に妥当な二階述語論理の論理式は、全て証明可能である。
（実効性）与えられた論理式の並びが妥当な証明かどうかを正しく決定できる証明検証アルゴリズムが存在する。
この系を言い換えると、二階述語論理は完全な証明理論に従わない、とも言える。
省8
66(1): 08/23(土)18:17 ID:EjBWM/LE(3/6) AAS
そして未だにこれだけ一階述語論理についての資料を読んでもまだその意味がとれてない。
この部分についてはそもそも「知的判断では意味がとれてるが感情的判断がそれを邪魔してる」のではなく「知的にそもそも意味をくみ取ることができていない」なのだから知的判断の部分のポンコツさが起因してるようだな。
頭悪すぎて話にならん
67(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)18:25 ID:KYsCHIBD(10/17) AAS
>>60 追加
・高階直観主義論理とトポス 荒武永史（下記）
『高階直観主義理論に対応する圏のクラスがトポスである。高階直観主義
論理とトポスについても、構文圏・函手的意味論・トポス値意味論を議
論できるがここでは扱わず、内部論理のみを扱う。以下の説明で
▶トポスの圏構造があれば高階直観主義論理を解釈できる』
・『位相空間上の層』
省36
68: 08/23(土)18:29 ID:EjBWM/LE(4/6) AAS
こんなネットで拾ってきた初心者向けの情報だけでそれを専門にしてる人間と議論ができると思ってる時点でまともな知能指数を有していなことがわかる。
そしてそれを自覚する知能すらない。
69(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)18:34 ID:KYsCHIBD(11/17) AAS
>>66
>そして未だにこれだけ一階述語論理についての資料を読んでもまだその意味がとれてない。
なんだ？
これは これは ヒキコモリ数学者の 基礎論研究くんか？
お元気そうでなによりだ
ところで、一階述語論理は あくまで 叩きのネタだ
主張していることは、望月IUTは 圏論のキカだから
省4
70(1): 08/23(土)18:40 ID:EjBWM/LE(5/6) AAS
>>69
だから一階述語論理という概念自体がお前のポンコツの知能では理解できないということ位は理解しろよ能無し。
それすら理解できないお前が圏論もトポスも理解できるはずもない。
せいぜいそういう単語が関連する文章のなかに出てくるということしかわからないポンコツが人並みのことば喋るな。
71(1): 08/23(土)18:50 ID:18cyucpd(10/17) AAS
>>67
>要するに、グロタンディークは 圏論使いの達人だった
へぇ そうなの？
でも君は論理の初歩の初歩も分かってないよね
分かってるなら∩は公理から導けないから使えないとか超絶アホなこと言わないですから 残念！
72(1): 08/23(土)18:52 ID:18cyucpd(11/17) AAS
>>69
>ところで、一階述語論理は あくまで 叩きのネタだ
ネタも何も君、一階述語論理何も分かってないじゃん
現になにで勉強したかすら君答えられなかったじゃん
73(1): 08/23(土)19:04 ID:EjBWM/LE(6/6) AAS
こいつがダメなのはもちろん一階述語論理という概念が理解できる知能がないという部分に現れてるが、もっと根源的な部分としてそもそも「じぶんがわかってない」ことが理解できていない。
わからないけど「関連してる単語をちりばめてそれっぽい日本語になってるから反論になってるだろ」という信じられない結論に到達してる。
こんな結論導き出す「人語として読めるが意味ない文章を作り出すうんこ製造機」でしかない。
74(1): 08/23(土)19:21 ID:XQOxXTSd(6/6) AAS
そもそも、◆yH25M02vWFhP は、圏論ガー、高階論理ガーと吠えるが
なぜ、実数を無限小数ではなく有理コーシー列の同値類と定義するか
が全然分かってない
もし、実数を無限小数として定義したとしよう
この場合、ある式の値が実数であると示すために
それが無限小数となることを示さねばならない
のみならず二つの式の値が等しいことを示すのに
省13
75(2): 08/23(土)21:09 ID:DzOtJqUP(1) AAS
「有理コーシー列の極限で実数を構成する」
これがどれほどバカ発言か分かってないのが痛い
有理数Qが完備でないからこそ実数の構成が必要なのに、根本から分かってない
コピペバカに数学は無理
76(1): 08/23(土)21:13 ID:KfxzMKVc(1/4) AAS
htt
動画ﾘﾝｸ[YouTube]
htt
外部ﾘﾝｸ:youtube.com
77(1): 08/23(土)21:17 ID:KfxzMKVc(2/4) AAS
お前今チンチラのことチラッチラ観てただろ。
78(1): 08/23(土)21:18 ID:KfxzMKVc(3/4) AAS
ハリネズミに踏まれたセロテープみてえに
ねっとりねっとりｽﾙﾙｴに粘着しやがってよぉ…
79(1): 08/23(土)21:27 ID:KfxzMKVc(4/4) AAS
もっと高級な粘着してﾎﾗﾎﾗﾎﾗ（挑発）
80(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)22:15 ID:KYsCHIBD(12/17) AAS
>>70
これは これは ヒキコモリ数学者の 基礎論研究くんか？
お元気そうでなによりだ
まあ、がんばれよ
>>71-75
こっちは、数学科オチコボレさんのおサルさんかい？（>>10 ）
>>36-37 に書いたが
省33
81: 08/23(土)22:20 ID:KYsCHIBD(13/17) AAS
>>76-79
ご苦労さまです
おもしろいね それ
上下前次1-新書関写板覧索設栞歴
あと 800 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s