Inter-universal geometry と ABC予想 (応援スレ) 74

Inter-universal geometry と ABC予想 (応援スレ) 74 (892ﾚｽ)
上下前次 1-新

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

118: 08/24(日)16:49 ID:jDvM1F2N(10/11) AAS
公理的集合論でも圏論でも、無限操作を直接実行してるわけではない、という点では同じ

無限は存在しないとする安達某・・・偏狭ではあるが、動機は分かる
有限の範囲内でできることを拡張する現代数学
無限を直接実現しようとする◆yH25M02vWFhPは・・・ただの中二病のトンデモ　マジ●ってる（笑）

119(4): 現代数学の系譜雑談 ◆yH25M02vWFhP 08/24(日)16:57 ID:+A9mxT/6(2/9) AAS
>>95
>N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}
>が読めずに発狂してたじゃん

あたま固そう
それ下記 ja.wikipedia ペアノの公理 ”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}ここでAは無限公理により存在する集合を任意に選んだもの”
だね(未確認飛行 C さんもついでに引用しておく)

さて、ZFC公理として自然数の集合Nを公理的に構築する立場から批判する
省45

120(2): 現代数学の系譜雑談 ◆yH25M02vWFhP 08/24(日)16:58 ID:+A9mxT/6(3/9) AAS
つづき

外部ﾘﾝｸ:ja.wikipedia.org
無限公理
定義
一階述語論理の原始的な記号だけを用いて、この公理を表記すると
略
集合を構築する記法を用いた場合は
省29

121(1): 08/24(日)17:17 ID:jDvM1F2N(11/11) AAS
>和集合の公理はあるが、集合積∩の公理なし！
>つまり、集合積∩については、他の公理から導く必要がある

x∈(A∩B) ⇔ x∈A ⋀ x∈B
x∈∩(Ay) ⇔ ∀y(x∈Ay)

あああ、あほくさ
こんな初歩も分からんって
集合演算も述語論理も分からんナイーブ高卒やん

122(1): 08/24(日)17:18 ID:rTm6xTpy(6/11) AAS
>>119
>ZFC公理系で集合積∩をZFC上で定義したうえで
既に10回くらい示してる
バカが理解できないだけ

>　あなたの”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”が、下記の無限公理 ja.wikipedia の
>　”無限集合Iから自然数を抽出する”と同様にやれればいいが・・ｗｗｗ
既に同じ集合であることを証明済み
省4

123(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 08/24(日)17:35 ID:+A9mxT/6(4/9) AAS
>>117
ご苦労様です

>一階述語論理

多分 ”一階述語論理”しばりなのが、だれも実務の数学で
ZFCとか公理的集合論を使わなくなった理由だろう
いまどきの数学は、複雑化しているから ”一階述語論理”しばりでといわれてもね　；ｐ）
書く方も読む方もたまらんでしょ
省25

124: 現代数学の系譜雑談 ◆yH25M02vWFhP 08/24(日)17:38 ID:+A9mxT/6(5/9) AAS
>>122
>いいからバカは消えろ

ふっふ、ほっほ
バカはおまえ
おまえは、運営でもなんでもないよ
なんの権限もないんだよ

おれ？
省1

125: 08/24(日)17:41 ID:rTm6xTpy(7/11) AAS
>>123
一階述語論理をなにも知らんアホが一階述語論理見下してて草

なにも知らんことバレてないと思った？　バレてるよ　おまえ論理式まったく読めないじゃん

126(1): 08/24(日)17:43 ID:rTm6xTpy(8/11) AAS
>>123
N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}
は∩の添え字範囲が書かれてないから不明確だあああああ
と喚くアホが述語論理分かってる訳無いじゃんｗ　とっくにバレてんだよアホ

127: 現代数学の系譜雑談 ◆yH25M02vWFhP 08/24(日)18:32 ID:+A9mxT/6(6/9) AAS
>>121
>x∈(A∩B) ⇔ x∈A ⋀ x∈B
>x∈∩(Ay) ⇔ ∀y(x∈Ay)

ふっふ、ほっほ
ZFC公理のどれを使うかを明示しないとダメ
それと、記号∩は ZFC公理じゃないから ”⇔”はダメ
まず、記号∩を ZFC公理を使って定義しないよｗｗ　；ｐ）

128: 現代数学の系譜雑談 ◆yH25M02vWFhP 08/24(日)18:34 ID:+A9mxT/6(7/9) AAS
>>126
必死で
口先で誤魔化そうとしている
丸わかりだよｗｗ　；ｐ）

129: 08/24(日)18:51 ID:rTm6xTpy(9/11) AAS
すげーよな
自分がバカってことが判ってないんだから

130(1): 08/24(日)18:53 ID:rTm6xTpy(10/11) AAS
こいつは大の勉強嫌いなので勉強したことが無い　だから自分がいかにバカかに気付けず今に至ってるんだろうね

131: 08/24(日)18:54 ID:rTm6xTpy(11/11) AAS
高校生に無限級数は無限回の足し算ですって言ってみな？　鼻で笑われるから

132: 現代数学の系譜雑談 ◆yH25M02vWFhP 08/24(日)22:27 ID:+A9mxT/6(8/9) AAS
>>123 追加
>認知科学 2021 Volume 28 Issue 1 Pages 57-69
>特集：圏論は認知科学に貢献できるか

ホイヨ

外部ﾘﾝｸ:www.jstage.jst.go.jp
28 巻, 1 号
認知科学
省9

133(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 08/24(日)22:45 ID:+A9mxT/6(9/9) AAS
>>130
>高校生に無限級数は無限回の足し算ですって言ってみな？　鼻で笑われるから

　>>96より
(引用開始)
「可算無限個ある箱に任意に実数を入れる」のどこにもひと箱ずつとは書かれていない。書かれていないことが見えるのは病気。
上記「」内は ∀s∈R^N を意味しており、無限操作を考える必要はまったく無い。
(引用終り)
省28

134: 08/25(月)00:20 ID:O3poJvHG(1/8) AAS
>>133
まだ言ってて草

>無限級数でありそれは『無限回の足し算です』よ
はい、大間違いです。
何度も何度も何度も何度も言ってるが、無限級数は有限部分和列の極限。無限回の足し算なるものは well-defined でない。
違うと言うならなんで無限回の足し算なるものの定義を示さないの？　君は三歳児かい？　駄々こねが許されるのは三歳までだよ。

135: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)04:44 ID:1MD2qx+9(1/28) AAS
確かに叩き罵り合うと落ちこぼれはいなくなるかもしれないけど数学には意図や用途があって競い合うためのカリキュラムではないのではないかな。

136: 08/25(月)06:04 ID:iXlQT2JW(1/7) AAS
>>113
>”infinite decimal expansion 0.x1x2...xn...,”
>は極限ではなく真の無限小数展開を考えているんだよね
>真の無限小数展開とは、無限級数でありそれは『無限回の足し算です』よ

『無限回の足し算です』は違うけど

◆yH25M02vWFhP、大学１年の微分積分学全然分かってないから最初からやり直せよ

無限小数展開は自然数ｎから小数のｎ桁目の値への写像
省5

137: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)06:29 ID:1MD2qx+9(2/28) AAS
数学はわかるとか理解するという現実感覚より直感ではないかな。あと振り返ってみれば数学者は順番に学んで行ってない。

138: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)06:31 ID:1MD2qx+9(3/28) AAS
興味があるところから学んでいってみませんか。順序立てて学ぶと理解できるわけでもないでしょう。

139: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)06:33 ID:1MD2qx+9(4/28) AAS
無限とかに遊離するより一定の堅い量が良いと思う。

140: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)06:43 ID:1MD2qx+9(5/28) AAS
教科書やテストが違う高校からでもできる人は大学で皆できるじゃん。

141: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)06:44 ID:1MD2qx+9(6/28) AAS
だから数学の理解に連続性は関係ない。

上下前次 1-新書関写板覧索設栞歴

あと 751 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.039s