Inter-universal geometry と ABC予想 (応援スレ) 74 (895ﾚｽ)
上下前次1-新
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
ご苦労さまです
おもしろいね それ
82: 08/23(土)22:53 ID:18cyucpd(12/17) AAS
>>80
>さらには、一般の数学は 普通の数学論文やテキストは、自然言語が主で
いやいや、wikipediaですら論理式バリバリ使ってますけど？
君、論理式読めないじゃん
だから「∩の添え字範囲が書かれてないから不明確」とか超絶アホなこと言ってたじゃん もう忘れたの？ 都合良い記憶だなｗ
83: 08/23(土)22:54 ID:9HEcSdR7(1/2) AAS
まぁこいつが唯一役に立ってるのはこいつ以外の信者の頭に「こんなアホと俺同じこと言ってるのか」と一歩立ち止まるチャンスを与えてることだけやな。
もう殆ど信者ものこってないけど残ってないけど
84: 08/23(土)23:01 ID:18cyucpd(13/17) AAS
>>80
>AI時代は、形式論理の公理的集合論の部分には コンピューター処理が入ってくるだろう
君はAIマンセーだけど、実数の整列順序についてのAI回答ズタボロだったやん。
と、言ったところで君には分からんか、バカはバカをバカと見抜けないんだから。
85(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)23:10 ID:KYsCHIBD(14/17) AAS
>>75
>「有理コーシー列の極限で実数を構成する」
>これがどれほどバカ発言か分かってないのが痛い
>有理数Qが完備でないからこそ実数の構成が必要なのに、根本から分かってない
それ、君だろ？（下記）ｗｗ ；ｐ）
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
省13
86: 08/23(土)23:13 ID:18cyucpd(14/17) AAS
>>80
>いま、コンピュータの利用で 300兆桁に到達しているごとし
>おサルさん、君でも数学研究ができるかもよｗ ；ｐ）
300兆桁が3000兆桁になることにどんな意義があるか考える知能の無いサルがいかにも言いそうな発言で草
87(1): 08/23(土)23:15 ID:18cyucpd(15/17) AAS
>>85
>それ、君だろ？（下記）ｗｗ ；ｐ）
サル発狂
とうとう自分と他人の区別もつかなくなったかｗ
88(1): 08/23(土)23:26 ID:18cyucpd(16/17) AAS
サル「有理コーシー列の極限で実数を構成する」
有理コーシー列は有理数Qにおいて一般に収束せず実数Rにおいて収束するのだから、
有理コーシー列の極限で実数を構成するには実数が構成されている必要がある。
さて、実数の構成はいつ終わるでしょうか？
はい、サル死亡ｗ
89(1): 08/23(土)23:29 ID:9HEcSdR7(2/2) AAS
色々資料をコピペしてくるけどそもそも意味がわかってないから必要なところを切り抜くこともできず文章全体をコピペすることしかできない。
しかも基礎論絡みのコピペは出てくる単語の日本語訳が共通してる全然関係ない話が殆ど。
正直chatGPT以下
90(1): 08/23(土)23:32 ID:18cyucpd(17/17) AAS
サルは数学を語らぬことだ
サルの分際で人間様並みの知能があると自惚れるから痛い目に合う
最初から分をわきまえていれば数学を語る愚は犯さぬだろう
91(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)23:44 ID:KYsCHIBD(15/17) AAS
>>37 補足
(引用開始)
外部ﾘﾝｸ:ja.wikipedia.org
素朴集合論
形式論理を用いて定義される公理的集合論とは異なり、素朴集合論は非形式的に自然言語で定義される
方法
「素朴集合論」という意味での素朴論は、形式化されていない理論、つまり、自然言語を使用して集合と集合の操作を述べる理論である
省34
92(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)23:44 ID:KYsCHIBD(16/17) AAS
つづき
P2
A similar result, but now without using the Axiom of Choice.2 Consider the following two-person game game2: • Player 1 chooses a rational number in the interval [0,1] and writes down its infinite decimal expansion 0.x1x2...xn..., with all xn ∈ {0,1,...,9}. • Player 2 asks (in some order) what are the digits xn except one, say xi; then he writes down a digit ξ ∈ {0,1,...,9}. • If xi = ξ then Player 2 wins, and if xi= ξ then Player 1 wins. By choosing i arbitrarily and ξ uniformly in {0,1,...,9}, Player 2 can guarantee a win with probability 1/10. However, we have: Theorem 2 For every ε > 0 Player 2 has a mixed strategy in game2 guaranteeing him a win with probability at least 1 − ε.
Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing
the xi independently and uniformly on [0, 1] and {0, 1,..., 9}, respectively.
(引用終り)
省1
93(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)23:51 ID:KYsCHIBD(17/17) AAS
>>87-90
>有理コーシー列は有理数Qにおいて一般に収束せず実数Rにおいて収束するのだから、
>有理コーシー列の極限で実数を構成するには実数が構成されている必要がある。
>さて、実数の構成はいつ終わるでしょうか？
ふっふ、ほっほ
(参考)>>85より再録
外部ﾘﾝｸ:ja.wikipedia.org
省7
94: 08/24(日)00:04 ID:/+HkFcts(1/2) AAS
自分はよんでもわからないものを「読め」ということに一ミリも恥ずかしさを感じることができない。
もう人間として壊れてしまってるよ。
95(1): 08/24(日)00:05 ID:rTm6xTpy(1/11) AAS
>>91
>日常の殆どの数学の場面が、自然言語を使用して 述べられる
殆どじゃダメだね
だって君一番肝心な
N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}
が読めずに発狂してたじゃん
96(1): 08/24(日)00:33 ID:rTm6xTpy(2/11) AAS
>>93
>詰んだな、おサルさん(>>5) ｗｗ ；ｐ）
ん？ 君、自分が死んだことに気付かなかったのかい？
君は無限ループに嵌って死んだんだよ だって君のやり方で実数を構成するには実数が構成されてないとダメだからね
97: 08/24(日)00:37 ID:/+HkFcts(2/2) AAS
そもそもwikipedia の素朴集合論の項めちゃくちゃやなw
多分英語版の直訳なんだろうけど英語版の方もメッチャクチャw
なにが native で何が axiomatic なのか完全に取り違えとるわ。
まぁ素人の文章なんかこんなもんなんやろうけど。
98(1): 08/24(日)01:27 ID:rTm6xTpy(3/11) AAS
>>91
>３）さて、日常の数学では 無限集合を扱う場合に 自然言語で 無限操作を考えることはよくある
> 例えば、下記の「箱入り無数目」”可算無限個ある箱に 実数を入れる”など
自然言語と無限操作は関係無い。
「可算無限個ある箱に任意に実数を入れる」のどこにもひと箱ずつとは書かれていない。書かれていないことが見えるのは病気。
上記「」内は ∀s∈R^N を意味しており、無限操作を考える必要はまったく無い。
>要するに、日常の数学では 無限集合を扱う場合に 自然言語で 無限操作を考えることはよくあるってことよｗ ；ｐ）
省2
99: 死狂幻調教大師S.A.D.@月と六ベンツ 08/24(日)06:17 ID:IPNUU5t7(1/7) AAS
演劇化やコーランのようなストーリー化しないから意味がわからないわけでそういうのは俺ら書き手で責任を取るべきだ。わからない方に問題があるわけでないからそれを攻めるのはよくない。
100: 死狂幻調教大師S.A.D.@月と六ベンツ 08/24(日)06:17 ID:IPNUU5t7(2/7) AAS
責める。
101(1): 死狂幻調教大師S.A.D.@月と六ベンツ 08/24(日)06:20 ID:IPNUU5t7(3/7) AAS
相手に無理な要求することに無自覚なものに数学者になる資格はない。
102(1): 08/24(日)07:39 ID:jDvM1F2N(1/11) AAS
◆yH25M02vWFhP のトンデモ数学用語
「素朴集合論」
36
>”素朴集合論”というか自然言語を援用する論理
37
>素朴集合論は非形式的に自然言語で定義される。
>素朴集合論は多くの目的に十分であると同時に、
省35
103: 08/24(日)08:01 ID:jDvM1F2N(2/11) AAS
◆yH25M02vWFhP のトンデモ数学用語
「無限操作」
>>91 ◆yH25M02vWFhP
>無限集合を 自然言語で扱う以上、無限操作を考えることは当然ありだ
>（極限？ およびじゃない）
>要するに、
>日常の数学では 無限集合を扱う場合に 自然言語で 無限操作を考えることはよくある
省28
104: 08/24(日)08:08 ID:jDvM1F2N(3/11) AAS
いかなる数学者も◆yH25M02vWFhP が考えるような「無限操作」を実現していない
空集合から要素を１つずつ追加する操作を無限回実行して無限集合を作ったわけでもなく
1に1/n!を１つずつ加える操作を無限回実行してexp(1)を作ったわけでもない
できないことを魔法でやったと思い込む馬鹿が、大学１年の一般教養の数学で落第する
自分の根本的誤解にきづかず、意識改革を怠るから、万年１８歳のまま還暦を迎えるのである
日本の大卒なんて、文系はもちろんのこと、理系ですらこんな誤解に気づかないままの
無知蒙昧な輩なので、インテリとかエリートとか持ち上げるようなものではないとわかる
省1
105: 08/24(日)08:13 ID:jDvM1F2N(4/11) AAS
>>101
数学者は人格者ではない（笑）
数学がわかったからといって優れた人格が得られるわけではない
とはいえ、人格者には数学が分からないというのも嘘である
◆yH25M02vWFhP のような
数学にロマンを感じる輩は
数学を初歩から誤解してるから
省5
106: 08/24(日)08:17 ID:jDvM1F2N(5/11) AAS
数学をちょっとでも理解すると
数学は所詮「趣味」であり
数学者は所詮「ヲタク」にすぎない
と分かる
だから数学者の非常識なパワハラを目撃してもこう思えばいい
「ああ、数学しかできない障害者が大学という施設で問題行動おこしてんな」
大学のセンセイとやらが偉いと思ってるから
省4
107: 08/24(日)08:26 ID:jDvM1F2N(6/11) AAS
大学１年の微分積分学の最初で
カントールによる実数の定義を教わったとき
学生がまず考えることはこれ
「なぜこんなことを考えるのか？」
別のうまい方法があるのではないかと
不遜にも（笑）考えるのは、
若気の至りとして許されるが、
省7
108(1): 08/24(日)09:51 ID:jDvM1F2N(7/11) AAS
Q.５ｃｈ数学板でこんな書き込みを見つけた
「21世紀では自然言語を援用する論理が復権している気がする
その中で、集合論より 圏論が使われる場合が増えている気がする
”圏は対象とその間の射からなる構造”であり、
自然言語を使わずに 形式論理などを避ける圏論は
”意味論的な柔軟性をもち高階論理との親和性がある”」
この発言の主に何かいう言葉はありますか？
省15
109(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/24(日)10:59 ID:+A9mxT/6(1/9) AAS
>>108
そのAIはGrokだね
さて、マイクロソフトのCopilot くんの回答
Q.５ｃｈ数学板でこんな書き込みを見つけた 「21世紀では自然言語を援用する論理が復権している気がする その中で、集合論より 圏論が使われる場合が増えている気がする ”圏は対象とその間の射からなる構造”であり、 自然言語を使わずに 形式論理などを避ける圏論は ”意味論的な柔軟性をもち高階論理との親和性がある”」 この発言の主に何かいう言葉はありますか？
A.これはなかなか鋭い観察ですね。発言者の視点に対して、以下のような応答が考えられます：
🧠 「興味深い指摘ですね」
21世紀に入ってから、形式主義一辺倒ではなく、意味論や自然言語との接続を重視する傾向が強まっているのは確かです。とくに圏論は、対象と射という抽象的な枠組みで構造を捉えるため、言語的な曖昧さを排しつつも、柔軟な意味論を許容する点が魅力です。
省8
110: 08/24(日)12:15 ID:rTm6xTpy(4/11) AAS
>>102
>ツェルメロの公理的集合論ではこの矛盾をなくすために
>「集合とはものの集まり」と考えるのをやめた
>例えば
>「ある性質を満たす集合全体の集まりは集合である」（内包公理）をやめて
>「集合の集合の中で、ある性質を満たす集合全体の集まりは集合である」（分出公理）とした
例えばというか、内包公理から分出公理への置き換えそのものだね。
省7
111: 08/24(日)12:18 ID:rTm6xTpy(5/11) AAS
まあ、分出公理に代えて置換公理でもよいという意味での「例えば」ならその通りだね。
112: 死狂幻調教大師S.A.D.@月と六ベンツ 08/24(日)13:26 ID:IPNUU5t7(4/7) AAS
圏論を境界例人格障害のような文脈で読んでみたら。
113(1): 死狂幻調教大師S.A.D.@月と六ベンツ 08/24(日)13:28 ID:IPNUU5t7(5/7) AAS
なにか異界と接していると思うほうが興味が持てないだろうか。
114: 死狂幻調教大師S.A.D.@月と六ベンツ 08/24(日)13:31 ID:IPNUU5t7(6/7) AAS
一般社会の秩序であるような数学は精神障害のような特殊な世界では成り立たず、迫害者のような働きをするだろう。今こそ方程式を書き直さなければならない。
115: 死狂幻調教大師S.A.D.@月と六ベンツ 08/24(日)13:34 ID:IPNUU5t7(7/7) AAS
生物学では旧精神分裂症、統合失調症を理解できない天才と捉えていて非常に見通しが肯定的で明るい。
116: 08/24(日)16:38 ID:jDvM1F2N(8/11) AAS
>>109
◆yH25M02vWFhPがイラっと来たGrokの発言
「まず、発言のポイントを整理し、敬意を持って建設的な対話を促す形で応答します。」
「発言を肯定しつつ、具体的な質問や補足を求めることで、
対話を広げつつ相手の意図をより明確にできます。」
こういわれることで「下に見られてるな」と僻む
◆yH25M02vWFhPがほくそ笑んだCopilotの回答
省3
117(1): 08/24(日)16:44 ID:jDvM1F2N(9/11) AAS
◆yH25M02vWFhPへの、Grokのツッコミ
「形式論理を「避ける」というより、
圏論が独自の形式化を提供している側面もある
と思うのですが、どのようにお考えでしょうか？」
◆yH25M02vWFhPへのCopilotのツッコミ
「「形式論理を避ける圏論という表現について」
ここは少し補足したくなります。
省7
上下前次1-新書関写板覧索設栞歴
あと 778 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.025s