[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2ch.scのread.cgiへ]
Update time : 07/28 01:42 / Filesize : 566 KB / Number-of Response : 1056
[このスレッドの書き込みを削除する]
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

ガロア第一論文と乗数イデアル他関連資料スレ16



1 名前:132人目の素数さん [2025/04/17(木) 23:15:42.72 ID:a3KzsPE4.net]
前スレが1000近く又は1000超えになったので、新スレを立てる

https://rio2016.5ch.net/test/read.cgi/math/1741617540/1-
前スレ ガロア第一論文と乗数イデアル他関連資料スレ15

このスレは、ガロア第一論文と乗数イデアル他関連資料スレです
関連は、だいたい何でもありです(現代ガロア理論&乗数イデアル関連他文学論・囲碁将棋まであります)

資料としては、まずはこれ
https://sites.google.com/site/galois1811to1832/
ガロアの第一論文を読む
渡部 一己 著 (2018.1.28)
PDF
https://sites.google.com/site/galois1811to1832/galois-1.pdf?attredirects=0

<乗数イデアル関連>
ガロア第一論文及びその関連の資料スレ
https://rio2016.5ch.net/test/read.cgi/math/1615510393/785 以降ご参照
https://en.wikipedia.org/wiki/Multiplier_ideal Multiplier ideal
https://mathoverflow.net/questions/142937/motivation-for-multiplier-ideal-sheaves motivation for multiplier ideal sheaves asked Sep 23, 2013 Koushik

<層について>
https://ja.wikipedia.org/wiki/%E5%B1%A4_(%E6%95%B0%E5%AD%A6)
層 (数学)
https://en.wikipedia.org/wiki/Sheaf_(mathematics)
Sheaf (mathematics)
https://fr.wikipedia.org/wiki/Faisceau_(math%C3%A9matiques)
Faisceau (mathématiques)

あと、テンプレ順次

つづく

552 名前:132人目の素数さん mailto:sage [2025/05/01(木) 17:29:49.54 ID:t71U7aGU.net]
>>489,>>491はシュールな会話だな。
「loglogじゃないか」というツッコミは鋭いが、「loglogの何か?」
が示されていない。
正確に何を引けばいいかはメルテンスの定理から分かる。
https://ja.wikipedia.org/wiki/%E3%83%A1%E3%83%AB%E3%83%86%E3%83%B3%E3%82%B9%E3%81%AE%E5%AE%9A%E7%90%86
収束する数は、Meissel–Mertens定数として知られる。

553 名前:132人目の素数さん mailto:sage [2025/05/01(木) 17:30:19.43 ID:t71U7aGU.net]
おっちゃんが考える程度のことは、既に誰かが考えている。
世界中で「おっちゃんしか考えないこと」は、当然間違っている。

554 名前:132人目の素数さん [2025/05/01(木) 17:30:33.37 ID:OARgC/YG.net]
>>527
>”Πが存在しなくても”とか、イミフw
存在するならそもそも定義不要ということが分からないおバカさんに数学は無理なので諦めましょう

555 名前:132人目の素数さん mailto:sage [2025/05/01(木) 17:37:03.15 ID:osGwRbJ7.net]
>>529
>>530
数論を持ち込んで考えれば当たり前の話で考える価値がない

556 名前:132人目の素数さん mailto:sage [2025/05/01(木) 17:46:59.18 ID:t71U7aGU.net]
ちなみに、双子素数(p,p+2)に対して
すべての双子素数に渡る逆数和
Σ(1/p+1/(p+2))
は収束することが知られている。
ブルンはこのことを「ブルンの篩」という
素朴な(しかし誰も思いつかなかった)手段によって証明した。

557 名前:132人目の素数さん mailto:sage [2025/05/01(木) 17:57:48.36 ID:osGwRbJ7.net]
>>533
そういう数論の話ではなくて昔は何の裏付けも

558 名前:なく、
数論やフーリエ級数に対しても発散級数の操作が
根拠や理論がない状態で取り扱われていて、
それらに対する様々な理論的操作の裏付けを与えることに意味がある
だから、数論の理論をモロに持ち込んだら意味がなくなるといっている
[]
[ここ壊れてます]

559 名前:132人目の素数さん mailto:sage [2025/05/01(木) 17:58:23.80 ID:osGwRbJ7.net]
>>533
そういう数論の話ではなくて昔は何の裏付けもなく、
数論やフーリエ級数に対しても発散級数の操作が
根拠や理論がない状態で取り扱われていて、
それらに対する様々な理論的操作の裏付けを与えることに意味がある
だから、数論の理論をモロに持ち込んだら意味がなくなるといっている

560 名前:132人目の素数さん mailto:sage [2025/05/01(木) 17:59:40.59 ID:osGwRbJ7.net]
あ、どういう訳か2回同じレスしてる



561 名前:132人目の素数さん [2025/05/01(木) 18:08:11.73 ID:o3yqBDUr.net]
>>529
loglogではないかというツッコミは
何のloglogかがわかる者にしか意味をなさない

562 名前:132人目の素数さん mailto:sage [2025/05/01(木) 18:13:11.13 ID:t71U7aGU.net]
「Divergent Series(発散級数) 」という本を書いたのはハーディですが。
「任意の正数εで命題が成立するなら、ε=0でも成立だろう」
と惚けたことを言っていた(つまり解析の初歩から間違えている)
おっちゃんには、(級数に関する)「アーベルの定理」は理解できないだろう。
アーベルの定理の逆を考えることから「タウバー型の定理」というものが生まれ
それが発散級数論の主題の一つである。

563 名前:132人目の素数さん [2025/05/01(木) 18:16:21.65 ID:o3yqBDUr.net]
>根拠や理論がない状態で
個別に、直接的な根拠以外の一般的な理論がない状態で

564 名前:132人目の素数さん mailto:sage [2025/05/01(木) 18:18:23.73 ID:osGwRbJ7.net]
>>538
>アーベルの定理の逆を考えることから「タウバー型の定理」というものが生まれ
>それが発散級数論の主題の一つである。
フーリエ解析の礎を気付いたウィーナーはそれに貢献しているが

565 名前:132人目の素数さん mailto:sage [2025/05/01(木) 18:21:59.88 ID:osGwRbJ7.net]
>>539
オイラーなど昔の人はそういう危険な操作をしていたが、正しい結果を出した

566 名前:132人目の素数さん [2025/05/01(木) 18:30:24.22 ID:o3yqBDUr.net]
>>541
いつの時代にも本物の数学者がいて
そういう仕事を残してきた

567 名前:132人目の素数さん mailto:sage [2025/05/01(木) 18:34:40.41 ID:t71U7aGU.net]
>>541
生存バイアスがないとは言えないだろう。
「生存バイアスとは、成功した事例や生き残ったものに注目し、失敗や脱落した事例を無視する認知バイアスです。成功事例だけを見ることによって、全体像を誤って認識するリスクを伴います。」

もっともヴェイユによると、「オイラーが級数の発散・収束など気にせずに
まったく形式的に考えていたというのは大嘘」だという。
が、それは大数学者の話。

今日解析学があっても、初歩から間違えているのが おっちゃん。

568 名前:132人目の素数さん mailto:sage [2025/05/01(木) 18:50:40.09 ID:osGwRbJ7.net]
>>543
私の批判しか出来ない君の話は聞いてもムダだから聞かないことにする
ま、数論関係者などに悪いイメージを与えかねない
から他人の批判とかそういうことは止めとけ

569 名前:132人目の素数さん mailto:sage [2025/05/01(木) 18:51:53.84 ID:osGwRbJ7.net]
それじゃ、おっちゃんもう寝る

570 名前:現代数学の系譜 雑談 [2025/05/01(木) 20:40:52.65 ID:CF0szZUA.net]
>>506
(引用開始)
>3→3.1→3.14→3.141→3.1415→3.14159→3.141592→3.1415926→3.1415265→・・・
>と 小数点以下を一桁ずつ 増やす数列で π に収束する 数列が作れるよ
Πが存在しなければ作れないよ
Πを定義したいのにΠの存在を前提にするバカ
(引用終り)

ふっふ、ほっほ 下記の
en.wikipedia Cauchy sequence In real numbers
で ”For any real number r, the sequence of truncated decimal expansions of r forms a Cauchy sequence. For example, when
r=π, this sequence is (3, 3.1, 3.14, 3.141, ...). The mth and nth terms differ by at most
10^(1−m) when m < n, and as m grows this becomes smaller than any fixed positive number ε.”
と 全く同じ記述があるぞw

君は、私の書いたことが 理解できていないだけ
”For example, when
r=π, this sequence is (3, 3.1, 3.14, 3.141, ...). The mth and nth terms differ by at most
10^(1−m) when m < n, and as m grows this becomes smaller than any fixed positive number ε.”

について 君が 理解できてないってこと
無理数の小数展開の意味が分ってないのか?
さすが、数学科 1年で詰んだ オチコボレのサル>>7だな

(参考)
https://en.wikipedia.org/wiki/Cauchy_sequence
Cauchy sequence
In real numbers
For any real number r, the sequence of truncated decimal expansions of r forms a Cauchy sequence. For example, when
r=π, this sequence is (3, 3.1, 3.14, 3.141, ...). The mth and nth terms differ by at most
10^(1−m) when m < n, and as m grows this becomes smaller than any fixed positive number ε.

https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%97
コーシー列は、数列などの列で、十分先の方で殆ど値が変化しなくなるものをいう
コーシー数列
無限数列 (xn) について lim n,m→∞|xn−xm|=0



571 名前:
が成り立つとき、数列 (xn) はコーシ−列である という
実数におけるコーシー列
実数の重要な性質の一つとして、実数全体の集合 R におけるどのようなコーシー列も必ず R 内に極限値を持つことが挙げられる
実数からなるどんなコーシー数列も収束列であるという事実は、歴史的な事情で「実数の連続性」と呼ばれる
実数列あるいは実ユークリッド空間内の点列のみに関して言うならば、それが収束することとコーシー列であることは同値となる
この場合、コーシー列は必ず収束するので、|xn − xm| を評価してコーシー列か判定すれば、極限値を仮定することなく収束性が判定できる

数学史における位置付け
19世紀後半には実数を算術的に定義する方法が盛んに研究され、その中で現在コーシー列と呼ばれる概念を導入したのがカントールである
カントールがこの成果を発表したのは1872年で、1821年に発表されたコーシーの収束判定法を満たす数列を用いて実数を定義しようという、当時一般的だった考え方に基づいている。このコーシーの収束判定法を満たす数列としてコーシー列が用いられ、実数はコーシー列の極限として定義された
[]
[ここ壊れてます]

572 名前:現代数学の系譜 雑談 [2025/05/01(木) 20:42:53.63 ID:CF0szZUA.net]
>>545
おっちゃん、ありがとう
スレ主です
また、来てね (^^

573 名前:132人目の素数さん [2025/05/01(木) 20:59:38.09 ID:OARgC/YG.net]
>>546
>と 全く同じ記述があるぞw
それ、実数が定義済みの前提ねw
実数を定義しようとしてるんだから未定義の前提に立たないとダメだろw 頭悪いね君

>無理数の小数展開の意味が分ってないのか?
いや、無理数を定義しようとしてるのになんで存在してる前提なんだよw 存在してるなら定義不要じゃんw 頭だいじょうぶ?

>君は、私の書いたことが 理解できていないだけ
君の頭が絶望的に悪いだけ
嘘だと思うなら御大に聞いてみ? 彼は最初から分かってるぞ 分かってないのはおサルの君ひとり

574 名前:132人目の素数さん [2025/05/01(木) 21:02:47.18 ID:OARgC/YG.net]
>>546
>と 全く同じ記述があるぞw
同じ記述があるから正しいとの思い込みはまさにコピペ癖の弊害
だからコピペ癖は治しなさいと言ってるのに聞く耳持たないサルはヒトになれません

575 名前:132人目の素数さん mailto:sage [2025/05/02(金) 03:02:01.12 ID:9gkavRJe.net]
>実数列 {p_n} を素数列としたとき、極限
>lim_{n→+∞}(1/(p_1)+…+1/(p_n)−log(p_n))
>はオイラーの定数γと同様に収束するか?という興味深い問題や

改めて見ると、おっちゃんてマジで池沼だな。
log(p_n)というのは、オイラーの定数の定義式において
有限個の最後の数がp_nだったら、と考えれば、同じ大きさの数を
引いているわけで、直感的にも「収束するわけない」ことは明らか。
つまり「引きすぎ」なのである。
これに対して、「loglog(p_n)だろう」と正しい答えで即座にツッコミ
を入れたOTはさすがにボケてはいなかった。

576 名前:132人目の素数さん mailto:sage [2025/05/02(金) 03:06:27.05 ID:9gkavRJe.net]
おっちゃんは絶望的に数学センスがない。
そんなおっちゃんとセタは同じ穴の狢。
購入しても目次しか読めてない数学書について
二人で良し悪しを論じる「掛け合い漫才」をやるのが
お似合いであり、二人にとっても幸せなのではなかろうか。

577 名前:132人目の素数さん mailto:sage [2025/05/02(金) 07:12:19.61 ID:c0PHcIpZ.net]
>>551
>おっちゃんは絶望的に数学センスがない。
一体どこの誰だか知らないが、仮にそういう感覚が存在するとしてそれが備わっていれば、
>実数列 {p_n} を素数列としたとき、極限
>lim_{n→+∞}(1/(p_1)+…+1/(p_n)−log(p_n))
>はオイラーの定数γと同様に収束するか?という興味深い問題

>実数列 {p_n} を素数列としたとき、極限
>lim_{n→+∞}(1+1/(p_1)+…+1/(p_n)−log(p_n))
>はオイラーの定数γと同様に収束するか?という興味深い問題
に簡単に訂正出来る
訂正した式は形が汚いから、最初は1を加えて考える気はなかったが

578 名前:132人目の素数さん mailto:sage [2025/05/02(金) 07:27:19.15 ID:c0PHcIpZ.net]
>>551
数学センスという言葉は高校以下の人がよく使ってた
センスという言葉で一括りにして片付く程、数学は単純でない

579 名前:現代数学の系譜 雑談 [2025/05/02(金) 07:43:58.41 ID:/rPcBrOx.net]
>>497
>収束列はコーシー列だがコーシー列は収束列とは限らない。

580 名前:実際、有理数全体の集合上で一般にコーシー列は収束列ではない。

>>506
>>3→3.1→3.14→3.141→3.1415→3.14159→3.141592→3.1415926→3.1415265→・・・
>>と 小数点以下を一桁ずつ 増やす数列で π に収束する 数列が作れるよ
>Πが存在しなければ作れないよ
>Πを定義したいのにΠの存在を前提にするバカ

スレ主です
赤ペン先生します
2025/05/01のID:OARgC/YG さん、書いていること 全部間違いですね

 >>546より (引用開始)
https://en.wikipedia.org/wiki/Cauchy_sequence
Cauchy sequence
In real numbers
For any real number r, the sequence of truncated decimal expansions of r forms a Cauchy sequence. For example, when
r=π, this sequence is (3, 3.1, 3.14, 3.141, ...). The mth and nth terms differ by at most
10^(1−m) when m < n, and as m grows this becomes smaller than any fixed positive number ε.

https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%97
コーシー列は、数列などの列で、十分先の方で殆ど値が変化しなくなるものをいう
コーシー数列
無限数列 (xn) について lim n,m→∞|xn−xm|=0
が成り立つとき、数列 (xn) はコーシ−列である という
実数におけるコーシー列
実数の重要な性質の一つとして、実数全体の集合 R におけるどのようなコーシー列も必ず R 内に極限値を持つことが挙げられる
実数からなるどんなコーシー数列も収束列であるという事実は、歴史的な事情で「実数の連続性」と呼ばれる
実数列あるいは実ユークリッド空間内の点列のみに関して言うならば、それが収束することとコーシー列であることは同値となる
この場合、コーシー列は必ず収束するので、|xn − xm| を評価してコーシー列か判定すれば、極限値を仮定することなく収束性が判定できる
(引用終り)

この en.wikipediaと ja.wikipediaとを、百回音読しましょう!w ;p)
[]
[ここ壊れてます]



581 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/05/02(金) 08:13:26.55 ID:D62ALkS8.net]
若い頃は賞にも賞金にも執着があったけれど年取ると育成が大事だと思うようになったな。高校生なんかに文学板読ませてたけど効果は母国語で世界トップ、最低レベルを下げない教育についてきてくれたよ。流石に数学は専門じゃないけど補助的なアシストの役目ぐらいは数学教官室でしたいものだ。付属校に勤務しているからそのへんは自由だ。

582 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/05/02(金) 08:14:20.62 ID:D62ALkS8.net]
最低限レベルを下げないという意味ね。

583 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/05/02(金) 08:17:39.91 ID:D62ALkS8.net]
数学教育を理論と記述に分けてみるとか。俺はキャリアが大事だから数式は書かないけど経済理論なんかはやると生徒たちが大きい仕事任されるだろう。

584 名前:現代数学の系譜 雑談 [2025/05/02(金) 09:43:57.55 ID:s/7BO1KV.net]
>>555-557
死狂幻調教大師S.A.D.@月と六ベンツ さん
ありがとうございます
スレ主です
今後ともよろしくね

585 名前:132人目の素数さん [2025/05/02(金) 09:51:23.20 ID:BylR5fio.net]
>>554
>赤ペン先生します
君は先生ではなくヒトですらなくサル サルにできるのはコピペという猿回し芸だけ

>2025/05/01のID:OARgC/YG さん、書いていること 全部間違いですね
有理数を完備化したものが実数なんだから実数においてコーシー列が収束列であるのは当たり前 まったく分かってないね君は

で、御大に聞いてみろと言ったのになんで聞かないの? 君が媚びへつらう御大から間違い認定されるのが恐いから? 頭悪いだけでなく根性も捻じ曲がってるね君は

586 名前:トイレのうんち mailto:sage [2025/05/02(金) 10:00:31.30 ID:gUNjSKXL.net]
>>559
KKKはトランプ御大に聞く気がない  数学なんて実は全然興味ないから
トランプ御大はKKKに教える気がない こいつには理解できないと見下してるから

興味がないなら数学板から失せたほうがいい
検索コピペでマウンティング?この数年間で一度も成功してないだろ もうあきらめろ
トランプ御大も他人に数学教える気がないなら数学板から失せたほうがいい
自分ではいいこと書いてるとうぬぼれてるようだが、KKKも含めて誰もそうおもってないよw

587 名前:132人目の素数さん [2025/05/02(金) 10:04:10.78 ID:vNHpJXVQ.net]
ヨミが足りないのかもしれない

588 名前:現代数学の系譜 雑談 ◆yH25M02vWFhP [2025/05/02(金) 10:20:09.49 ID:s/7BO1KV.net]
>>559
5ch 数学便所板には
へんなやつがいるなw ;p)

こんな場末の便所板で、実数論を白紙の状態から議論する態度がおかしくね?
例えば、>>446より再録

https://www.math.is.tohoku.ac.jp/~obata/student/subject/
東北大 尾畑研 「集合・写像・数の体系 数学リテラシーとして」の草稿(pdf)
https://www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_16.pdf
TAIKEI-BOOK :2019/1/1(22:21)
第16章整数・有理数・実数
前章では順序数を用いて自然数を定義しペアノの公理によって自然数を特徴づけたさらに自然数に加法・乗法・順序を導入して代数系としての基本的な性質を証明した本章では代数系の観点から自然数を拡大して整数と有理数を導入しデデキントの切断を用いて実数を構成する
(引用終り)

ここにあるように、実数論は約150年の歴史がある
歴代のトップの数学者たちがそれぞれ数十年の心血をそそいで
実数とは何かを 論じたのです

その上澄みが 尾畑研 ”第16章整数・有理数・実数”
例えば、これを土台に議論すれば良いだろう
(便所板で、素人同士で 数日ないし数週間限りのヨタった議論をしても 時間の無駄)

さて、尾畑研 ”第16章整数・有理数・実数”
P247 16.3 実数
とあって
・デデキントの切断
P255
・実数の連続性
定理16.20(デデキントの連続性定理)
P256
・極限
定理16.22 (有界な単調列の収束)
定理16.23(区間縮小法の原理)
P258
・実数の無限小数展開
とつづくのです

さて
デデキントの切断 をコーシー列に置き換える議論は
 >>446より
https://www2.math.kyushu-u.ac.jp/~hara/index-j.html
https://www2.math.kyushu-u.ac.jp/~hara/lectures/07/realnumbers.pdf
実数の構成に関するノート∗原 隆 (九州大学数理学研究院)
九州大学2006,2007年春学期「数学II」「微分積分学・同演習A」への補足
これで
3実数の構成ふたたび(有理数の完備化による)22
3.2コーシー列による実数の定義. . . . . . . 22
4実数の2つの構成法の同等性44
5実数の一意性53

などを補えばいいっぺ
落ちコボレさんは、上記を百回音読してねw ;p)

589 名前:トイレのうんち mailto:sage [2025/05/02(金) 10:26:42.23 ID:gUNjSKXL.net]
>>562
> 実数論を白紙の状態から議論する態度がおかしくね?
 KKK、全然わかってないんだから、白紙の状態から定義を理解する態度が必要だろ
 何でそこ避ける?君こそおかしくね?

590 名前:トイレのうんち mailto:sage [2025/05/02(金) 10:29:28.02 ID:gUNjSKXL.net]
>>562
> 実数論は約150年の歴史がある
> その上澄みが ・・・
> 例えば、これを土台に議論すれば良いだろう

 御託はいいから、土台を具体的にここに書きなよ

 それが、大学1年の微積で落第した君が
 実数を理解するためにまっさきになすべきこと
 ほかにやることなんかないよ さあ、やりな



591 名前:現代数学の系譜 雑談 [2025/05/02(金) 10:30:48.91 ID:s/7BO1KV.net]
>>560
>KKKはトランプ御大に聞く気がない  数学なんて実は全然興味ないから
>トランプ御大はKKKに教える気がない こいつには理解できないと見下してるから

KKKとトランプ?
君の連想ゲームは 難しいな
下記かなw ;p)

(参考)
https://www.bbc.com/japanese/54384121
【米大統領選2020】 トランプ氏、白人至上主義団体を一転して全面非難
2020年10月2日 bbc
トランプ氏は1日夜の米フォックスニュースのインタビューで、司会者ショーン・ハニティ氏に対し、「何度も言っているが、改めてはっきりさせる。KKK(白人至上主義団体クー・クラックス・クラン)を非難する。すべての白人至上主義団体を非難する。(白人至上主義団体の)プラウド・ボーイズを非難する」と話した。

https://jp.reuters.com/world/us/KXED5DETQVMQBHYAAZZVT7VFNI-2025-03-31/
米ニューメキシコ州共和党本部に放火、「ICE=KKK」と落書き
Andrew Hay
2025年3月31日 ロイター
[30日 ロイター] - 米ニューメキシコ州にある共和党本部が30日朝、何者かに放火され、建物にスプレーで「ICE=KKK」と落書きされた。党は「計画的な放火行為」と見なしている。

592 名前:トイレのうんち mailto:sage [2025/05/02(金) 10:35:19.25 ID:gUNjSKXL.net]
そもそもデデキントの切断とコーシー列による定義の同値性とかいう以前に
君、ほんとに「コーシー列による定義」を正しく理解してる?

1つの有理コーシー列が1つの実数に対応するわけではないぜ

「そんなこたぁ、いわれなくてもわかってる!」と君はキレるだろうが

じゃ、どういう場合に、2つの異なる有理コーシー列が同じ実数を表すか、正確に言える?

そんな些末なこと、というなら、君には数学は絶対に理解できないから、今この瞬間諦めな
「神は細部に宿る」んだよ 粗雑な精神の持ち主は神を見ることなく死ぬ

593 名前:132人目の素数さん [2025/05/02(金) 10:41:10.09 ID:BylR5fio.net]
>>562
>こんな場末の便所板で、実数論を白紙の状態から議論する態度がおかしくね?
こんな場末の便所板で、コピペでマウント取ろうとする態度がおかしくね?

>便所板で、素人同士で 数日ないし数週間限りのヨタった議論をしても 時間の無駄
ヨタってるのはおサルの君

>落ちコボレさんは、上記を百回音読してねw ;p)
いくら音読しても実数で実数を定義するという君の持論はどこにも書かれてない。残念!

594 名前:132人目の素数さん [2025/05/02(金) 10:51:31.76 ID:BylR5fio.net]
>>563
>何でそこ避ける?
己の無知から目を背けたいから
自己愛性パーソナリティ障害のおサルは己の無知を直視できない

595 名前:132人目の素数さん [2025/05/02(金) 10:56:17.50 ID:BylR5fio.net]
>>566
>君、ほんとに「コーシー列による定義」を正しく理解してる?
いいえ、おサルさんは理解してません。
理解してたら「任意実数は 有理数からなる コーシー列の収束先として定義できる」(>>331)のような大間違いは言いません。

596 名前:現代数学の系譜 雑談 [2025/05/02(金) 10:57:34.76 ID:s/7BO1KV.net]
>>559-561
>ヨミが足りないのかもしれない

なるほど
囲碁で、教えてもらうとは・・
実際に一番打ってもらうことを指す

まあ、数学で言えば ゼミをやって 発表にツッコミを入れてもらうってことですかね
別に、大局観がある 下記 Terence Tao ”3.The “post-rigorous” stage”の
”intuition, and the “big picture””ですね
これは、一般にテキストには書かれない場合が多い

どちらにせよ、この便所板で ゼミ風とか ”intuition, and the “big picture””の指導は難しいだろう
ただ、たまに ポロと漏らす プロ数学者の一言に 聞く方が 反応できるかどうかだろう

”ヨミ”は、(数学も囲碁も)普通は自分で鍛えるしかない
詰め碁や 手筋の問題を解く。数学では、テキストの練習問題や、いろんなテキスト(囲碁なら棋譜)を読む

”ヨミ”の力を強くする本 なんてのもあります
強い人の対局を そばで見ているだけでも ”ヨミ”の力があがり、筋が良くなるものですよ
数学も類似では?

なんか、私見だが 初段にもならない オチコボレさんの初級者がグダグダと言っているだけの気がするのは
私だけだろうか?w ;p)

(参考)
https://rio2016.5ch.net/test/read.cgi/math/1745503590/6
下記を あっちのスレに書いておきましたが
https://rio2016.5ch.net/test/read.cgi/math/1744330968/77
「マセマはなぜ批判されるのか」
>マセマぐらいのことしかやってないアメリカの学部卒に院であっというまに追い抜かされるのが日本の高等教育。
従来の日本の数学高等教育は、厳密病だった
米では、Terence Taoなどが 「3.The “post-rigorous” stage」を提唱している
「3.The “post-rigorous” stage」を意識して成長するか
それとも レベル2の”厳密”(rigorous”)で成長が止まるか
の違いでは?
(参考)
https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/
By Terence Tao


597 名前:There’s more to mathematics than rigour and proofs July 2016 (1)
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.
(引用終り)
[]
[ここ壊れてます]

598 名前:トイレのうんち mailto:sage [2025/05/02(金) 11:00:31.06 ID:gUNjSKXL.net]
>>568
まあ、KKKは単純にこう思ってるんだろうな
「俺が知りたい数学はそれじゃない
 新しい計算方法という”魔法”が知りたいんだ」

数学に対する根本的な誤解があるのだが
数学を真面目に学ばないからその誤解に気づけない

例えば、方程式のガロア群が巡回群の場合の
ラグランジュ分解式を使った方程式のべき根解表示の求め方
はべき根を使うところ以外はただの線形代数である

要するに魔法なんてものはない
既に分かっている方法を使ってどう解くかしかない
だから理屈を理解する必要がある

理屈を理解する気がないんなら、数学なんて意味ないからやめときな
囲碁将棋だけやって勝ち負けに一喜一憂してればいいだろう、と思う

599 名前:トイレのうんち mailto:sage [2025/05/02(金) 11:03:26.04 ID:gUNjSKXL.net]
>>570
> 初段にもならない オチコボレさんの初級者がグダグダと言っているだけの気がする

 うん、「初段にもならない オチコボレさんの初級者」の君一匹が
 グダグダと検索結果をコピペして悦に入ってるだけって、
 君以外の全員がそう思ってみてますけど、何か?

600 名前:132人目の素数さん [2025/05/02(金) 11:05:09.67 ID:BylR5fio.net]
>>570
>なんか、私見だが 初段にもならない オチコボレさんの初級者がグダグダと言っているだけの気がするのは私だけだろうか?w ;p)
はい、おサルだけです
おサル以外は皆おサルの間違いを理解しています



601 名前:トイレのうんち mailto:sage [2025/05/02(金) 11:10:23.52 ID:gUNjSKXL.net]
>>570
>従来の日本の数学高等教育は、厳密病だった
 
 日本だけでなく他のどこでも数学高等教育は厳密
 それは「病」ではなく、必要な段階

1.前厳密段階:計算主体
2. 厳密段階:論理の理解
3.後厳密段階:理解に基づいた試行錯誤

2を経ることなく3に行くことはできない
2は枝刈りなのであって、1から3にいくと
膨大な無駄が生じて有用な結論に辿りつく可能性が激減する

グダグダ言い訳する暇があったら
文章を読む力をつけたほうがいい

KKKは全然文章が読めてない
一つに食いつくと他の条件を全部捨てる
そういう粗雑病を克服しないうちは、大学数学は学べない

602 名前:トイレのうんち mailto:sage [2025/05/02(金) 11:18:02.69 ID:gUNjSKXL.net]
KKKがいくら検索結果をコピペして
「私、数学わかってます」とアピールしても
すぐボロがでる

しかもあきれたことに大学1年前期のレベルでもうグダグダ

その理由までもう明らか 結局教科書に書いてある文章が読めてない
1センテンスの中に書かれているすべての条件をそのまま理解するという
簡単なことすらできてない 肝心な条件が次から次へと抜け落ちる
これじゃ大学1年の数学で落第するのも無理ないし
ガロア理論の本をいくら読んでも可解性の条件の意味すら理解できない

いっとくけど別に皆が皆一発で数学書を読めるようになるなんていってないよ
みんな苦労してんだよ わざわざそんなみっともない黒歴史を口に出さないだけで

君は自分が落ちこぼれた事実を認めず、故に落ちこぼれた理由すら気づかずに
ひたすらそれを回避する邪道ばっかり探してるから、いつまでも数学が分からない

坂道を上ることなく山の頂上に行きつくなんて無理なんだが
君はなぜかそれが可能だと思ってる
そして、高さが変わらない道を延々と彷徨する 実に無駄

真っ先に目の前の坂を上れよ!

603 名前:トイレのうんち mailto:sage [2025/05/02(金) 11:20:05.24 ID:gUNjSKXL.net]
まあ、全然進歩がなかった、とは言わない
行列の件も、やっと階数が大事と気づいたらしいから

文章が読めれば、そんなことにもっと早く気づけた筈
急がばまわれ まず文章の読解力を鍛えな 話はそれからだ

604 名前:トイレのうんち mailto:sage [2025/05/02(金) 11:21:53.34 ID:gUNjSKXL.net]
>1.前厳密段階:計算主体
>2. 厳密段階:論理の理解
>3.後厳密段階:理解に基づいた試行錯誤
>1から3にいくと膨大な無駄が生じて有用な結論に辿りつく可能性が激減する

その典型例がおっ・・・

605 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/05/02(金) 11:38:03.08 ID:D62ALkS8.net]
俺は痔だからトイレの血だな。仲間。

606 名前:132人目の素数さん mailto:sage [2025/05/02(金) 11:48:33.42 ID:9gkavRJe.net]
>>552
1加えても収束性にはまったく関係ないことが分からないから「池沼」と言われる。
こんなことは、高校生でも即座に分かる話。

607 名前:132人目の素数さん mailto:sage [2025/05/02(金) 12:02:18.18 ID:9gkavRJe.net]
もともとなぜ log(n)が出てくるかというと
∫[1,n] dx/x=log(n)だからであり
この積分を∫[1,2] dx/x+∫[2,3] dx/x+…+∫[n-1,n] dx/x
と分割して、1+1/2+…+1/(n-1) の各項から引いてやれば
n→∞において、収束級数になるから。

この級数を1/p(素数分の1)の部分級数で考えた場合
各項から ∫[p,p+1]dx/x を引いてやれば収束するはずだが
Σ_{p≦n}}∫[p,p+1]dx/x は簡単な値にはならない。
そこで、xの近くで素数の密度は1/log(x)であることを利用して
∫[c,n] dx/(xlog(x)) (cは適当な定数)としてやればよいのではないか
ということになる。c=1としないのは被積分函数の特異点だからであり
c=e(ネイピア数)とすれば、上記積分値は首尾よく loglog(n)となる。

608 名前:132人目の素数さん [2025/05/02(金) 12:27:12.19 ID:40u3serF.net]
>任意実数は 有理数からなる コーシー列の収束先として定義できる
特に変ではないと思うが

609 名前:132人目の素数さん [2025/05/02(金) 12:35:13.21 ID:BylR5fio.net]
>>581
有理数空間上でコーシー列は一般に収束しないわけだが、では収束先とは何か?
(言わずもがな実数を定義しようとしているのだから実数の存在は前提できない)
君、頭だいじょうぶ?

610 名前:132人目の素数さん mailto:sage [2025/05/02(金) 12:39:51.23 ID:c0PHcIpZ.net]
>>579
私は君が提示したメルテンスの定理の第一定理を基にして考えている



611 名前:132人目の素数さん [2025/05/02(金) 12:40:23.53 ID:40u3serF.net]
>収束先とは何か?
それに意味を持たせるために実数を定義する

612 名前:132人目の素数さん [2025/05/02(金) 12:49:52.61 ID:BylR5fio.net]
>>584
堂々巡りって分からん?

613 名前:132人目の素数さん [2025/05/02(金) 12:52:19.69 ID:40u3serF.net]
自然数の定義
整数の定義
有理数の定義
そして
実数の定義
その結果
有理コーシー列の収束先は実数
ということになる

614 名前:132人目の素数さん [2025/05/02(金) 12:55:01.01 ID:BylR5fio.net]
>>584
君の持論「「実数を有理コーシー列の収束先として定義する」に意味を持たせるために実数を定義する」
を要約すると
「実数を定義するために実数を定義する」
となる訳だが、いつになったら実数が定義できんの?

615 名前:132人目の素数さん [2025/05/02(金) 13:43:43.93 ID:BylR5fio.net]
どうせ答えられないだろうからこちらで答えますね

>有理数空間上でコーシー列は一般に収束しないわけだが、では収束先とは何か?
そんなものは無い。だから新たに定義する。

有理コーシー列全体の集合X上にa〜b⇔lim[n→∞](a-b)=0なる二項関係〜を定義したとき〜は同値関係である。
有理コーシー列aの収束先をlim[n→∞]a:=[a]∈X/〜で定義すればX/〜上で収束列となる。
このような構成無しに

616 名前:u有理コーシー列の収束先」とか言ったらバカ。

因みに、0.9,0.99,0.999,・・・〜1,1,1,・・・だから0.999・・・=1。
[]
[ここ壊れてます]

617 名前:132人目の素数さん [2025/05/02(金) 14:09:56.64 ID:s/7BO1KV.net]
>>581-587
>>任意実数は 有理数からなる コーシー列の収束先として定義できる
>特に変ではないと思うが
>君の持論「「実数を有理コーシー列の収束先として定義する」に意味を持たせるために実数を定義する」
>を要約すると
>「実数を定義するために実数を定義する」
>となる訳だが、いつになったら実数が定義できんの?

なんか勘違いしている人がいる
多分 ID:40u3serF は、御大(OT)だよ

プロ数学者に インネンつけるバカがいるw ;p)
しかも、そのプロ数学者は、東大に入学して

ワープしてまた京大入学して 二つ目の教養課程を取った 三四郎を読む教養人だよ
その上、囲碁7段格です(ここが一番重要かもしれんww ;p)

”君の持論”とか
勘違いでしょ? プロ数学者相手にw

618 名前:132人目の素数さん [2025/05/02(金) 14:22:40.72 ID:BylR5fio.net]
>>589
東大? 京大? プロ?
だから?

>なんか勘違いしている人がいる
それが君

619 名前:132人目の素数さん [2025/05/02(金) 14:25:02.94 ID:BylR5fio.net]
>>589
で、おサルはなんで御大に聞かないの?
君、いつも御大に媚びへつらってるからワンチャン聞いてくれるかもよ 聞いてみなよ

620 名前:132人目の素数さん [2025/05/02(金) 14:50:51.87 ID:yItOT8mJ.net]
>「実数を定義するために実数を定義する」
>となる訳だが

「有理コーシー列の収束先」
というものに意味を持たせるために
「新たに」実数というものを定義する。



621 名前:132人目の素数さん [2025/05/02(金) 15:01:54.31 ID:gUNjSKXL.net]
>>589
数学の世界に権威は存在しない

622 名前:132人目の素数さん [2025/05/02(金) 15:04:09.68 ID:yItOT8mJ.net]
>>593
それより、592に対して何か文句は?

623 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/05/02(金) 15:20:57.33 ID:D62ALkS8.net]
京大はプロ 東大はブラッキー。部落率が。

624 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/05/02(金) 15:21:52.21 ID:D62ALkS8.net]
信仰は一つです。

625 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/05/02(金) 15:25:10.62 ID:D62ALkS8.net]
最初の一つは東京専門学校つまり早稲田系プリンストン経由。早稲田政経の政治にも数学が必要。プリンストンより楽しいと評判のキャンパス。

626 名前:132人目の素数さん [2025/05/02(金) 15:25:19.08 ID:BylR5fio.net]
>>594
「実数」と「有理コーシー列の収束先」の定義が循環してると言ってるのだが分からん? 頭悪いね

627 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/05/02(金) 15:27:57.33 ID:D62ALkS8.net]
政政、経経は慶早三田。経営数学は立教管理研究科。

628 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/05/02(金) 15:28:42.36 ID:D62ALkS8.net]
ソクラテス、セネカの知。

629 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/05/02(金) 15:29:53.72 ID:D62ALkS8.net]
法は選択でいいのに。教職法規の。

630 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/05/02(金) 15:30:31.92 ID:D62ALkS8.net]
法看護。



631 名前:トイレのうんち [2025/05/02(金) 15:33:11.36 ID:gUNjSKXL.net]
実数=有理コーシー列の同値類
このとき、有理数もまた実数の中に埋め込む場合「有理コーシー列の同値類」とせねばならない
もちろん大したことではないが、KKKが「細けぇこたぁ、いいんだよ」といってる限り間違いつづける

632 名前:トイレのうんち [2025/05/02(金) 15:36:40.30 ID:gUNjSKXL.net]
0に収束する有理コーシー列は、実数としては0という扱いだが
0/0を有理コーシー列の同値類の割り算として実行した場合、
0としてどういう有理コーシー列をとるかで値は全然異なる
したがって0/0はwell-definedでなく、やはり定義できない

633 名前:現代数学の系譜 雑談 [2025/05/02(金) 16:05:22.35 ID:s/7BO1KV.net]
>>593
>数学の世界に権威は存在しない

うむ
”数学の世界に権威は存在しない”ね

さて 下記の
ゲーデルの不完全性定理 第二不完全性定理より
"初等的な自然数論"を含む理論 Tが無矛盾ならば,
Tの無矛盾性を表す命題 Con(T) がその体系で証明できない
(引用終り)

つまり 間違いを示すことの方が、簡単な場合が多い
証明や理論が正しいことの証明は、以外と難しいものだ

(正しい場合の)証明の真偽の検証は しばしば 時間が解決するもの(望月IUTとかね)
別に 下記 ”枯れた技術(かれたぎじゅつ)”とか言われる
『広く使われることで信頼性が高くなった技術のこと』だ

御大が正しいことの証明は、難しくてできないがw
多変数複素関数論は、1変数複素関数論が使われ、それには複素数が使われ、実解析が使われ、実数が使われる らしいw
また 東大での教養課程と京大での教養課程と 2度 基礎数学の単位を取ったろうし

さらに、N大で教鞭をとったそうな
つまりは、プロの御大には”実数の構成”など、”枯れた技術(かれたぎじゅつ)”だってことだろう

そこに突っかかるのは、取れない石を取りかけるみたいな話になるだろうよ
ちょっと、形成判断が狂っている気がするけどねww ;p)

(参考)
https://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86
ゲーデルの不完全性定理
第二不完全性定理 ―
"初等的な自然数論"を含む理論 Tが無矛盾ならば,
Tの無矛盾性を表す命題 Con(T) がその体系で証明できない。

https://ja.wikipedia.org/wiki/%E6%9E%AF%E3%82%8C%E3%81%9F%E6%8A%80%E8%A1%93
枯れた技術(かれたぎじゅつ)は、広く使われることで信頼性が高くなった技術のこと。多くのケースや実用でテストされているため、安心して使用することができる。

634 名前:132人目の素数さん [2025/05/02(金) 16:11:23.44 ID:40u3serF.net]
>「実数」と「有理コーシー列の収束先」の定義が循環してると言ってるのだが
実数の定義は何通りかある。
どれをとってもそれらは有理コーシー列の収束先となる。
これのどこが循環している?

635 名前:132人目の素数さん [2025/05/02(金) 16:15:54.98 ID:BylR5fio.net]
>>605
>ちょっと、形成判断が狂っている気がするけどねww ;p)
君の判断はまったく当てにならないから書かなくてよろしい

ところでなんで御大に聞かないの?
君、いつも媚びへつらってるからワンチャン聞いてくれるかもよ 聞いてみなよ

636 名前:132人目の素数さん [2025/05/02(金) 16:18:26.44 ID:BylR5fio.net]
>>606
実数を有理コーシー列の収束先で定義してるところ

>1)下記の通り 任意実数は 有理数からなる コーシー列の収束先として定義できる(>>331)

637 名前:132人目の素数さん [2025/05/02(金) 16:31:56.78 ID:BylR5fio.net]
1.「有理コーシー列の収束先に意味を持たせるために実数を定義する」すなわち「有理コーシー列の収束先は実数が無ければ意味を持たない」
2.「実数を有理コーシー列の収束先で定義する」

これらを統合すると

3.「『実数が無ければ意味を持たないもの』で実数を定義する」

となる。

さて問題です。この定義はいつ終わるでしょうか?

638 名前:132人目の素数さん [2025/05/02(金) 16:35:34.99 ID:40u3serF.net]
>1)下記の通り 任意実数は 有理数からなる コーシー列の収束先として定義できる

「下記の通り」はさておき
「任意実数は 有理数からなる コーシー列の収束先として定義できる」
これのどこが循環している?

639 名前:トイレのうんち [2025/05/02(金) 16:36:35.22 ID:gUNjSKXL.net]
>>605
> ゲーデルの不完全性定理 第二不完全性定理より
> "初等的な自然数論"を含む理論 Tが無矛盾ならば,
> Tの無矛盾性を表す命題 Con(T) がその体系で証明できない
> つまり 間違いを示すことの方が、簡単な場合が多い
> 証明や理論が正しいことの証明は、以外と難しいものだ
 全くトンチンカン 頭大丈夫?

 ちなみにゲーデルの第二無矛盾性定理は
「自然数論の無矛盾性って難しいよ」
 っていう主張ではなく
「自然数論の無矛盾性を表す命題が
 自然数論の中で表すことができかつ
 自然数論の中で証明できたとすると
 自然数論から矛盾を証明することができる」
 という主張
 したがってこの対偶は以下
「もし、自然数論から矛盾が証明できないとすると
 自然数論の無矛盾性を表す命題が自然数論で証明できない、もしくはそもそも
 自然数論の無矛盾性を表す命題が自然数論で表現できない」

そもそも第一不完全性定理から以下がいえる
1.自然数論の命題についてそれが自然数論で証明できる場合、
そのことが証明できるような述語は自然数論で表現可能である
2.しかし、逆に自然数論の命題についてそれが自然数論で証明できない場合、
そのことが証明できるような述語は自然数論で表現可能でない
つまり1.の述語は、証明不能命題を入れた場合には証明不能である

640 名前:132人目の素数さん [2025/05/02(金) 16:39:05.35 ID:40u3serF.net]
>「有理コーシー列の収束先に意味を持たせるために実数を定義する」すなわち「有理コーシー列の収束先は実数が無ければ意味を持たない」
「有理コーシー列の収束先に意味を持たせるために実数を定義する」すなわち「有理コーシー列の収束先は実数が定義された後で意味が確定する」
これのどこが循環している?



641 名前:トイレのうんち [2025/05/02(金) 16:41:42.26 ID:gUNjSKXL.net]
>>605
> 御●が正しいことの証明は、難しくてできないが
 そもそもできない

 御●の主張
「KKKの主張は、実数論により正当化できる」
 これに対する反論
「KKKの主張は、実数論を理解した上でのものではないので
 実数論による正当化はできない」

> (御●に)突っかかるのは、取れない石を取りかけるみたいな話になるだろうよ
 御●はそもそも存在しない地を守っている
> ちょっと、形成判断が狂っている気がする
 KKKは数学が分かっているはず、という御●の判断は誤っている

642 名前:トイレのうんち [2025/05/02(金) 16:47:04.84 ID:gUNjSKXL.net]
>>610
>>「下記の通り」はさておき

コピペしただけで中身を理解できていない人の主張は
コピペの記載では正当化できない

大学院の口頭試問で
「それは「・・・」の・・・ページに書いてある」
としか言えない人を合格させないだろう?

643 名前:現代数学の系譜 雑談 [2025/05/02(金) 16:48:43.29 ID:s/7BO1KV.net]
>>611
(引用開始)
ちなみにゲーデルの第二無矛盾性定理は
「自然数論の無矛盾性って難しいよ」
 っていう主張ではなく
「自然数論の無矛盾性を表す命題が
 自然数論の中で表すことができかつ
 自然数論の中で証明できたとすると
 自然数論から矛盾を証明することができる」
 という主張
(引用終り)

分かっているよ
「風呂屋の湯」だ(いう(湯)だけ只)
単なるダジャレです
ともかく、間違いを指摘するのは簡単で
間違がないことを検証する方が大変 は、正しい

644 名前:トイレのうんち [2025/05/02(金) 16:51:17.20 ID:gUNjSKXL.net]
KKKのやってることは以下の通り

大学1年で習う

645 名前:微分積分と線形代数を
自分の頭で理解することを完全にあきらめて
「それはこのページに書いてある」
「それはAIに聞けばいい」
といってごまかす

要するに筆算をあきらめて電卓を使えばいいと嘯く小学生と同じ
電卓がAIになり、小学生が大学生もしくは社会人になったと思えばいい

大学で落ちこぼれたKKKが正則行列の定義も言えないのは、
小学校で落ちこぼれた奴が九九の七の段が言えないのと同じ
[]
[ここ壊れてます]

646 名前:132人目の素数さん [2025/05/02(金) 16:51:49.76 ID:40u3serF.net]
>ちょっと、形成判断が狂っている気がする
 >KKKは数学が分かっているはず、という御●の判断は誤っている
形勢判断はしていない
「数学がわかっているはず」ではなく
「有理コーシー列に述べていることは別に変なことではない」
と言っている

647 名前:132人目の素数さん [2025/05/02(金) 16:53:09.00 ID:40u3serF.net]
訂正
「有理コーシー列に述べていることは別に変なことではない」
ーー>
「有理コーシー列について述べていることは別に変なことではない」

648 名前:トイレのうんち [2025/05/02(金) 16:54:17.34 ID:gUNjSKXL.net]
電卓を使う小学生が中学高校の数学を理解できるかといえばできない
まあその気もないだろうが

AIを使う大卒が新しい数学の定理を証明できるかといえばできない
まあその気もないだろうが

その気がないなら数学について語るのはやめろよ みっともないだけだから
別に数学が分からなくても、人間として生きる資格がないなんて 誰もいわんから

649 名前:トイレのうんち [2025/05/02(金) 16:56:52.59 ID:gUNjSKXL.net]
>>617-618
>「有理コーシー列について述べていることは別に変なことではない」
 それは偶然であって、
 「実数の定義について自分の頭で理解せずとも常にAIに聞けばいい」
 というKKKの態度を正当化するものではない

 「筆算を覚えなくとも常に電卓を叩けばいい」
 というオチコボレ小学生の態度が正当化できないのと同じ

650 名前:トイレのうんち [2025/05/02(金) 17:00:40.92 ID:gUNjSKXL.net]
いずれ、こんな時代が来るかもしれん
「定理の証明なんて自分で考えなくてもAIに考えさせればいい」
それは数学の終焉である

まあ、人間が考える労苦から解放されたともいっていいが
文章を読む労苦からも計算をする労苦からも解放されたら
思う存分、食ってクソして●●Xして寝るんだろう
まあ、人が動物の本態に帰るという意味ではいいかもしれんな うむ



651 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/05/02(金) 17:05:52.35 ID:D62ALkS8.net]
エレメンタル デジタル ラジオ。

652 名前:トイレのうんち [2025/05/02(金) 17:06:24.66 ID:gUNjSKXL.net]
「数学なんて自分で証明しなくてもAIに証明させればいい」
「音楽なんて自分で演奏しなくてもロボットに演奏させればいい」
「絵画なんて自分で描かなくてもロボットに描かせればいい」
「スポーツなんて自分でプレイしなくてもロボットにプレイさせればいい」

実におかしな話である
そのうち
「子供なんて親が生まなくても人工子宮に生ませればいい」
「子供なんて親が育てなくてもロボットに育てさせればいい」
「●●Xなんてお互いに交わらなくても、それぞれがVRの理想の相手と交わればいい」
「食事も排泄も、自動的にできる仕掛けを作ればいい」
恐ろしい時代だ・・・






[ 続きを読む ] / [ 携帯版 ]

前100 次100 最新50 [ このスレをブックマーク! 携帯に送る ] 2chのread.cgiへ
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧](;´Д`)<566KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef