前スレが1000近く又は1000超えになったので、新スレを立てる
https://rio2016.5ch.net/test/read.cgi/math/1744899342/
前スレ ガロア第一論文と乗数イデアル他関連資料スレ16
このスレは、ガロア第一論文と乗数イデアル他関連資料スレです
関連は、だいたい何でもありです(現代ガロア理論&乗数イデアル関連他文学論・囲碁将棋まであります)
資料としては、まずはこれ
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)
あと、テンプレ順次
つづく
ガロア第一論文と乗数イデアル他関連資料スレ17
■ このスレッドは過去ログ倉庫に格納されています
1132人目の素数さん
2025/05/07(水) 14:56:08.85ID:w6tWvnRz232現代数学の系譜 雑談 ◆yH25M02vWFhP
2025/05/12(月) 21:26:51.62ID:8FwRldJy >>229 コピー抜け訂正
層の概念の原型は岡潔の多変数関数論にすでに現れるが,以下に述べるような使いやすい形で述べたのはである。
↓
層の概念の原型は岡潔の多変数関数論にすでに現れるが,以下に述べるような使いやすい形で述べたのはLerayである。
層の概念の原型は岡潔の多変数関数論にすでに現れるが,以下に述べるような使いやすい形で述べたのはである。
↓
層の概念の原型は岡潔の多変数関数論にすでに現れるが,以下に述べるような使いやすい形で述べたのはLerayである。
233死狂幻調教大師S.A.D.@月と六ベンツ
2025/05/12(月) 21:30:35.09ID:ex4TpqzQ 有能であることをお金で反比例してるようなところが学者にあって、Fランは有能とお金の尺度で考えることには考えさせられる。
234現代数学の系譜 雑談 ◆yH25M02vWFhP
2025/05/12(月) 21:38:56.66ID:8FwRldJy >>231
死狂幻調教大師S.A.D.@月と六ベンツ さん、ありがとうございます。
スレ主です
20世紀後半から21世紀にかけて、フランスは数学大国なのです
(下記 河東氏 ”フィールズ賞にはフランス人枠がある”説 ご参照)
フランス人たちは、ナポレオンの昔から
数学=国力のように、数学力を重視している感がありますね
(参考)
https://www.ms.u-tokyo.ac.jp/~yasuyuki/
https://www.ms.u-tokyo.ac.jp/~yasuyuki/suri1408.pdf
数理科学 NO.614,AUGUST 2014
特集/フィールズ賞で語る現代数学 河東 泰之
ドイツ語で書かれた数学論文は現在めったに見ないが,フランス語で論文を書く大物数学者は現在もいる.
フィールズ賞受賞者で言えばラフォルグがそうである.
フランス人は冗談で,フィールズ賞にはフランス人枠があるんだというくらいである.
グロタンディークは活躍の主舞台はフランスだったが無国籍であったので,普通フランスのカウントに入れない.
https://ja.wikipedia.org/wiki/%E3%82%B8%E3%83%AB%E3%83%BB%E3%83%89%E3%82%A5%E3%83%AB%E3%83%BC%E3%82%BA
ジル・ドゥルーズ(Gilles Deleuze, 本名:Gilles Louis René Deleuze、1925年1月18日 - 1995年11月4日[1])は、フランスの哲学者。パリ第8大学で哲学の教授を務めた。20世紀のフランス現代哲学を代表する哲学者の一人であり、ジャック・デリダなどとともにポスト構造主義の時代を代表する哲学者とされる[2]。ただし、同時代のあらゆる哲学者にとって他称でしかない「ポスト構造主義」というカテゴライズについて、ドゥルーズ本人は否定している(本頁「哲学史上の意義」の節を参照)。
概説
ドゥルーズは、数学の微分概念を哲学に転用して、差異の哲学を構築し、スコトゥスの存在の一義性(これについては、アラン・バディウのドゥルーズ論に詳しい)という視点から、ヒューム、スピノザ、ベルクソンらの著作を読み解いた。ただし、アラン・ソーカルからは『知の欺瞞』において数学的概念の用い方のいい加減さを批判された(詳しくはソーカル事件を参照)。
死狂幻調教大師S.A.D.@月と六ベンツ さん、ありがとうございます。
スレ主です
20世紀後半から21世紀にかけて、フランスは数学大国なのです
(下記 河東氏 ”フィールズ賞にはフランス人枠がある”説 ご参照)
フランス人たちは、ナポレオンの昔から
数学=国力のように、数学力を重視している感がありますね
(参考)
https://www.ms.u-tokyo.ac.jp/~yasuyuki/
https://www.ms.u-tokyo.ac.jp/~yasuyuki/suri1408.pdf
数理科学 NO.614,AUGUST 2014
特集/フィールズ賞で語る現代数学 河東 泰之
ドイツ語で書かれた数学論文は現在めったに見ないが,フランス語で論文を書く大物数学者は現在もいる.
フィールズ賞受賞者で言えばラフォルグがそうである.
フランス人は冗談で,フィールズ賞にはフランス人枠があるんだというくらいである.
グロタンディークは活躍の主舞台はフランスだったが無国籍であったので,普通フランスのカウントに入れない.
https://ja.wikipedia.org/wiki/%E3%82%B8%E3%83%AB%E3%83%BB%E3%83%89%E3%82%A5%E3%83%AB%E3%83%BC%E3%82%BA
ジル・ドゥルーズ(Gilles Deleuze, 本名:Gilles Louis René Deleuze、1925年1月18日 - 1995年11月4日[1])は、フランスの哲学者。パリ第8大学で哲学の教授を務めた。20世紀のフランス現代哲学を代表する哲学者の一人であり、ジャック・デリダなどとともにポスト構造主義の時代を代表する哲学者とされる[2]。ただし、同時代のあらゆる哲学者にとって他称でしかない「ポスト構造主義」というカテゴライズについて、ドゥルーズ本人は否定している(本頁「哲学史上の意義」の節を参照)。
概説
ドゥルーズは、数学の微分概念を哲学に転用して、差異の哲学を構築し、スコトゥスの存在の一義性(これについては、アラン・バディウのドゥルーズ論に詳しい)という視点から、ヒューム、スピノザ、ベルクソンらの著作を読み解いた。ただし、アラン・ソーカルからは『知の欺瞞』において数学的概念の用い方のいい加減さを批判された(詳しくはソーカル事件を参照)。
235132人目の素数さん
2025/05/12(月) 22:05:39.64ID:f97fsta7 今日もコピペがとまらない縁なき衆生
236132人目の素数さん
2025/05/13(火) 05:44:08.43ID:GKwIbjR9 >>234
>国力
また🐎🦌が🐎🦌語を話してる
>グロタンディークは活躍の主舞台はフランスだったが
>無国籍であったので,普通フランスのカウントに入れない.
アレクサンダー・グロタンディク
父親は、ユダヤ系ロシア人でアナーキストのサーシャ・シャピロ
母親は、オランダ系ドイツ人のハンカ・グロテンディク
>国力
また🐎🦌が🐎🦌語を話してる
>グロタンディークは活躍の主舞台はフランスだったが
>無国籍であったので,普通フランスのカウントに入れない.
アレクサンダー・グロタンディク
父親は、ユダヤ系ロシア人でアナーキストのサーシャ・シャピロ
母親は、オランダ系ドイツ人のハンカ・グロテンディク
237132人目の素数さん
2025/05/13(火) 06:04:31.79ID:plBJTxjQ 知り合いのフランス人数学者が
「数学は言葉だ」と言っていた
「数学は言葉だ」と言っていた
238132人目の素数さん
2025/05/13(火) 06:23:14.86ID:GKwIbjR9 だったらあんたが1に言葉を教えてやりな
碁友なんだろ?
碁友なんだろ?
239132人目の素数さん
2025/05/13(火) 06:25:26.12ID:plBJTxjQ 囲碁は言葉かどうか
240132人目の素数さん
2025/05/13(火) 06:39:17.62ID:GKwIbjR9 碁の話はしていない
1が匿名で自分の分からんことを質問できるようになるまで
投稿の仕方の誤りを指摘し矯正するのが、他の読者の仕事
1が匿名で自分の分からんことを質問できるようになるまで
投稿の仕方の誤りを指摘し矯正するのが、他の読者の仕事
241132人目の素数さん
2025/05/13(火) 07:16:19.39ID:plBJTxjQ242132人目の素数さん
2025/05/13(火) 08:11:23.75ID:cdGJGlcD >>241 今貴様は匿名で書いただろう その瞬間貴様が自ら決めたんだよw 貴様自身がな!
243132人目の素数さん
2025/05/13(火) 08:18:05.26ID:plBJTxjQ >>242
何を決めた?
何を決めた?
244132人目の素数さん
2025/05/13(火) 08:40:51.67ID:OJz/xbYY >>242 匿名での書き込み
245132人目の素数さん
2025/05/13(火) 09:38:48.92ID:plBJTxjQ246132人目の素数さん
2025/05/13(火) 09:50:38.89ID:Bi0sZUeI 「誰が」あなたが
「ここが匿名質問板であると決めた」ここに匿名で書きこむことで匿名掲示板だと決めた
質問しか書き込んではいけない、とはいっていない
質問に対するハードルを下げるために、匿名での書き込みが許容されている、といった
日本語分かるか? 分からんなら日本語の学習からやり直せ
「ここが匿名質問板であると決めた」ここに匿名で書きこむことで匿名掲示板だと決めた
質問しか書き込んではいけない、とはいっていない
質問に対するハードルを下げるために、匿名での書き込みが許容されている、といった
日本語分かるか? 分からんなら日本語の学習からやり直せ
247132人目の素数さん
2025/05/13(火) 09:52:58.95ID:QqW/1ejd 朝から徘徊しもみ消しですかね、
一般的にまだらぼけが原因なら時間が経てば
解決するといわれてるが、コピペ貼り中毒は困難かも、、
一般的にまだらぼけが原因なら時間が経てば
解決するといわれてるが、コピペ貼り中毒は困難かも、、
248132人目の素数さん
2025/05/13(火) 10:01:01.25ID:aIhuTnYM249247
2025/05/13(火) 10:26:32.64ID:3RggKW08 まあ、実数論で
>同値類”概念は 必須でなく、本質でもない
と断言するコピペ貼り専門の>1には近づきたくない
>同値類”概念は 必須でなく、本質でもない
と断言するコピペ貼り専門の>1には近づきたくない
250132人目の素数さん
2025/05/13(火) 10:31:42.83ID:NOmDeVHF251132人目の素数さん
2025/05/13(火) 10:47:10.99ID:ovHSSYEu 結局、無限小数と同値類の同値性も示せないままだしな
御大に嘘つき・ホラ吹き呼ばわりされるのも仕方無い
御大に嘘つき・ホラ吹き呼ばわりされるのも仕方無い
252132人目の素数さん
2025/05/13(火) 11:26:02.34ID:FYa2pJ0/ 名誉教授は、1の発言は素人の明白な誤りだから指摘の必要なくスルーすべき、といって弁解してるが
残念ながら、大学教授様が明白と考えることの9割くらいは、
世間にとっては全然明白でないので、いちいち指摘してさしあげることが必要
理系といえども数学科以外では、大学1年の微積、線型代数もあやしい
そういうものを放置することは、大学の存在意義を否定することに等しい
まあ、当人は大学から給料さえもらえれば、
バカが理解しようがしまいが知っちゃこっちゃねえ
と思ってるんだろうけどw
残念ながら、大学教授様が明白と考えることの9割くらいは、
世間にとっては全然明白でないので、いちいち指摘してさしあげることが必要
理系といえども数学科以外では、大学1年の微積、線型代数もあやしい
そういうものを放置することは、大学の存在意義を否定することに等しい
まあ、当人は大学から給料さえもらえれば、
バカが理解しようがしまいが知っちゃこっちゃねえ
と思ってるんだろうけどw
253132人目の素数さん
2025/05/13(火) 14:14:24.92ID:QqW/1ejd 数学科で同値関係の概念を深く理解した教員
名誉教授が何人いるのだろうか?
「明らかに」は空気感で明らかだろうか
名誉教授が何人いるのだろうか?
「明らかに」は空気感で明らかだろうか
254132人目の素数さん
2025/05/13(火) 16:51:22.61ID:h4GEETgu 必要十分さえあやしい
255現代数学の系譜 雑談 ◆yH25M02vWFhP
2025/05/13(火) 23:58:14.89ID:XUAoQ/gK >>252
>名誉教授は、1の発言は素人の明白な誤りだから指摘の必要なくスルーすべき、といって弁解してるが
>まあ、当人は大学から給料さえもらえれば、
>バカが理解しようがしまいが知っちゃこっちゃねえ
すまんが
名誉教授には、大学からの給料は出ないぞw ;p)
”バカが理解しようがしまいが知っちゃこっちゃねえ”は、正解だね
大学は、手取り足取り教えるところではない
義務教育じゃあるまいに
大学で 合格レベルに達しないなら 単位出さないだけでしょw ;p)
大学外で 教えるのは
よほど見込みのあるやつに限る
おれなんかに教えても
なんにもならんぞ w ;p)
>名誉教授は、1の発言は素人の明白な誤りだから指摘の必要なくスルーすべき、といって弁解してるが
>まあ、当人は大学から給料さえもらえれば、
>バカが理解しようがしまいが知っちゃこっちゃねえ
すまんが
名誉教授には、大学からの給料は出ないぞw ;p)
”バカが理解しようがしまいが知っちゃこっちゃねえ”は、正解だね
大学は、手取り足取り教えるところではない
義務教育じゃあるまいに
大学で 合格レベルに達しないなら 単位出さないだけでしょw ;p)
大学外で 教えるのは
よほど見込みのあるやつに限る
おれなんかに教えても
なんにもならんぞ w ;p)
256132人目の素数さん
2025/05/14(水) 00:29:10.36ID:/bgw+LwX257132人目の素数さん
2025/05/14(水) 00:31:08.00ID:/bgw+LwX258132人目の素数さん
2025/05/14(水) 00:32:50.29ID:/bgw+LwX259132人目の素数さん
2025/05/14(水) 00:34:49.36ID:/bgw+LwX まあ実数が存在しないから構成しようってのに、有理コーシー列の収束先だの無理数だのを持ち出しちゃうようなバカだから、どう考えても無理だよね
君に大学数学は
君に大学数学は
260132人目の素数さん
2025/05/14(水) 05:03:30.82ID:ie/HwPwA >>255
> 名誉教授には、大学からの給料は出ないぞ
給料は現役教授の頃の話だろ あいかわらず日本語読めない🐎🦌野郎だな、貴様は
> ”バカが理解しようがしまいが知っちゃこっちゃねえ”は、正解だね
> 大学は、手取り足取り教えるところではない
とくにおめえみてえな日本語も読めねえ🐎🦌はな なんで大学入ってきた?
> 大学で 合格レベルに達しないなら 単位出さないだけでしょ
大学で単位貰ったから、その科目が分かったということにもなんねぇがな
微積でも線形代数でも計算だけできりゃ単位は出す
工学部の🐒なんかに数学の理解なんか求めねぇよ
おめえら論理的思考ができねぇんだから
> おれなんかに教えてもなんにもならんぞ
そうとも、わかってるじゃねえか
おめえみてぇな、文章も読めねぇ書けねぇ🐒が数学語ろうとしても何にも語れねぇよ
だからいってるだろ 一生、碁でも打ってろって
> 名誉教授には、大学からの給料は出ないぞ
給料は現役教授の頃の話だろ あいかわらず日本語読めない🐎🦌野郎だな、貴様は
> ”バカが理解しようがしまいが知っちゃこっちゃねえ”は、正解だね
> 大学は、手取り足取り教えるところではない
とくにおめえみてえな日本語も読めねえ🐎🦌はな なんで大学入ってきた?
> 大学で 合格レベルに達しないなら 単位出さないだけでしょ
大学で単位貰ったから、その科目が分かったということにもなんねぇがな
微積でも線形代数でも計算だけできりゃ単位は出す
工学部の🐒なんかに数学の理解なんか求めねぇよ
おめえら論理的思考ができねぇんだから
> おれなんかに教えてもなんにもならんぞ
そうとも、わかってるじゃねえか
おめえみてぇな、文章も読めねぇ書けねぇ🐒が数学語ろうとしても何にも語れねぇよ
だからいってるだろ 一生、碁でも打ってろって
261132人目の素数さん
2025/05/14(水) 05:21:29.90ID:wIQenK2M 今年は昭和の爆笑王と呼ばれた林家三平と
伊藤清先生が端正そのものと評した楠幸男先生の
生誕100周年
伊藤清先生が端正そのものと評した楠幸男先生の
生誕100周年
262132人目の素数さん
2025/05/14(水) 05:39:04.44ID:ie/HwPwA >>261
今年は、学徒出陣で満州に送られ
戦後シベリア抑留から命からがら帰ってきた
母方の伯父の生誕100周年
ことあるごとに露介と言ってたが
まあひどい目にあってきたから
そういうのもわからんでもない
でも軍隊の奴らはどこでもあんなもんだ
民族以前に軍隊の野蛮性の問題
今年は、学徒出陣で満州に送られ
戦後シベリア抑留から命からがら帰ってきた
母方の伯父の生誕100周年
ことあるごとに露介と言ってたが
まあひどい目にあってきたから
そういうのもわからんでもない
でも軍隊の奴らはどこでもあんなもんだ
民族以前に軍隊の野蛮性の問題
263132人目の素数さん
2025/05/14(水) 07:29:50.33ID:rU7zhysk https://rio2016.5ch.net/test/read.cgi/math/1746580795/176
(引用始)
「父は小松勇作といって、旧制金沢医大から東大数学科に進んだ数学者で、専門書も多数著しています。
東工大の教授になり、図書館を初めて造ってその館長も勤めました。
母親の兄は矢野健太郎といって、やはり数学者で数学の入門書を多く書いてます」
(引用終)
http://kitnetblog.kitnet.jp/koizumi/2011/08/post-51.html
別にええやん 数学が苦手でも生きていけるって
な!現代数学の系譜 雑談 ◆yH25M02vWFhP
もうわけわかんないHNでコピペ荒らしとかやめろよな
只の自傷行為だから
(引用始)
「父は小松勇作といって、旧制金沢医大から東大数学科に進んだ数学者で、専門書も多数著しています。
東工大の教授になり、図書館を初めて造ってその館長も勤めました。
母親の兄は矢野健太郎といって、やはり数学者で数学の入門書を多く書いてます」
(引用終)
http://kitnetblog.kitnet.jp/koizumi/2011/08/post-51.html
別にええやん 数学が苦手でも生きていけるって
な!現代数学の系譜 雑談 ◆yH25M02vWFhP
もうわけわかんないHNでコピペ荒らしとかやめろよな
只の自傷行為だから
264132人目の素数さん
2025/05/14(水) 08:27:53.05ID:C7rralYA 「ちゃんころ」
https://ja.wikipedia.org/wiki/%E3%81%A1%E3%82%83%E3%82%93%E3%81%93%E3%82%8D
>東条英機はこれに加えてちゃんころは人間の姿をしたゴキブリのようなものだという発言をした。(原文ママ)
https://ja.wikipedia.org/wiki/%E3%81%A1%E3%82%83%E3%82%93%E3%81%93%E3%82%8D
>東条英機はこれに加えてちゃんころは人間の姿をしたゴキブリのようなものだという発言をした。(原文ママ)
265132人目の素数さん
2025/05/14(水) 08:35:10.72ID:C7rralYA 韓国右派系の掲示板を見ていると、このゴキブリ発言が時々出てくるので
ホントにそんなこと言ったのか? と思って調べたら、本当に言っていた。
しかも韓国人は、「そんなこと言うなんて酷い!」という文脈ではなく
「よくぞ言った!」という文脈の中で用いている。
ホントにそんなこと言ったのか? と思って調べたら、本当に言っていた。
しかも韓国人は、「そんなこと言うなんて酷い!」という文脈ではなく
「よくぞ言った!」という文脈の中で用いている。
266132人目の素数さん
2025/05/14(水) 09:06:55.23ID:x8dZ3x3z どこの国でもジコチュウはいますよ
ジコチュウ同士がののしり合ってるだけ
そのくせあいつらは直接殴り合わない
チキンだよなw
ジコチュウ同士がののしり合ってるだけ
そのくせあいつらは直接殴り合わない
チキンだよなw
267132人目の素数さん
2025/05/14(水) 09:09:48.38ID:+TtL1lxS 古代の日本は ヤマトに従わない地方の連中を土蜘蛛とか呼んでた
https://ja.wikipedia.org/wiki/%E5%9C%9F%E8%9C%98%E8%9B%9B
https://ja.wikipedia.org/wiki/%E5%9C%9F%E8%9C%98%E8%9B%9B
268132人目の素数さん
2025/05/14(水) 09:50:41.68ID:ckJ79ZRm やはり、腑に落ちないことがあるので聞きたい
一般に一意に正則無限連分数展開された実数を無理数という
(実際に杉浦 解析入門Tでは無理数をそのように定義している)
と定義したとき、この定義に基づいてオイラーの定数γを無理数と仮定したら、矛盾が導ける
だから、背理法によりγは有理数であるといえる
この論理のどこに落とし穴があるんだ?
一般に一意に正則無限連分数展開された実数を無理数という
(実際に杉浦 解析入門Tでは無理数をそのように定義している)
と定義したとき、この定義に基づいてオイラーの定数γを無理数と仮定したら、矛盾が導ける
だから、背理法によりγは有理数であるといえる
この論理のどこに落とし穴があるんだ?
269132人目の素数さん
2025/05/14(水) 11:19:08.68ID:/bgw+LwX つまり有限連分数展開可能と? 有限って具体的にいくつ?
270132人目の素数さん
2025/05/14(水) 11:35:48.48ID:ckJ79ZRm271132人目の素数さん
2025/05/14(水) 11:36:45.99ID:6twIBAah >>268
> 一般に一意に正則無限連分数展開された実数を無理数というと定義したとき、
> この定義に基づいてオイラーの定数γを無理数と仮定したら、矛盾が導ける
そこがそもそも間違いなんじゃね?
あんた理科大応用数学科卒の乙だろ?
わるいけど、あんたの過去の証明はみんな初歩レベルで誤解があったんで
あんたがいくら「矛盾が導ける」っていっても、
みんなその言葉をそのまま信用できないんだよな
あんたは自分が天才で絶対間違わないと思ってるみたいだけど
それ、あんたの勝手な思い込みであって、みんなそうは思ってないから
悪いな あんたを馬鹿にするつもりは全くないんだ
でも、正直なことを書かせていただいた
おれたちも馬鹿じゃないんでな あんたがどう思うかは勝手だけどさ
> 一般に一意に正則無限連分数展開された実数を無理数というと定義したとき、
> この定義に基づいてオイラーの定数γを無理数と仮定したら、矛盾が導ける
そこがそもそも間違いなんじゃね?
あんた理科大応用数学科卒の乙だろ?
わるいけど、あんたの過去の証明はみんな初歩レベルで誤解があったんで
あんたがいくら「矛盾が導ける」っていっても、
みんなその言葉をそのまま信用できないんだよな
あんたは自分が天才で絶対間違わないと思ってるみたいだけど
それ、あんたの勝手な思い込みであって、みんなそうは思ってないから
悪いな あんたを馬鹿にするつもりは全くないんだ
でも、正直なことを書かせていただいた
おれたちも馬鹿じゃないんでな あんたがどう思うかは勝手だけどさ
272132人目の素数さん
2025/05/14(水) 11:40:22.54ID:xk+1IqNA >>270
> 無理数の定義に基づいた議論に論理的な落とし穴がなければ、
はっきりいうよ またいつものように落とし穴に落ちてるんじゃね?
おれ達も毎度毎度こんなことはいいたくないんだよ
でもいつもこの展開なんでな
あんたは自分が天才でもなんでもなくて
大体どこかしら間違ってきたっていう過去の失敗を
いちいち忘れるんじゃなくて、じっくりかみしめてほしいんだよな
あんたは馬鹿じゃないとは思うけど、所詮おれら同様ただの人なんだよ
あんたは決してみとめたくないだろうけどさ
> 無理数の定義に基づいた議論に論理的な落とし穴がなければ、
はっきりいうよ またいつものように落とし穴に落ちてるんじゃね?
おれ達も毎度毎度こんなことはいいたくないんだよ
でもいつもこの展開なんでな
あんたは自分が天才でもなんでもなくて
大体どこかしら間違ってきたっていう過去の失敗を
いちいち忘れるんじゃなくて、じっくりかみしめてほしいんだよな
あんたは馬鹿じゃないとは思うけど、所詮おれら同様ただの人なんだよ
あんたは決してみとめたくないだろうけどさ
273132人目の素数さん
2025/05/14(水) 11:42:13.02ID:ckJ79ZRm274132人目の素数さん
2025/05/14(水) 11:47:23.34ID:xk+1IqNA275132人目の素数さん
2025/05/14(水) 11:47:25.68ID:ckJ79ZRm >>272
杉浦 解析入門Tでは、一般に無理数が正則無限連分数表示された式の形で定義されている
杉浦 解析入門Tでは、一般に無理数が正則無限連分数表示された式の形で定義されている
276132人目の素数さん
2025/05/14(水) 11:51:22.38ID:/bgw+LwX277132人目の素数さん
2025/05/14(水) 11:59:31.47ID:6G1pRQKr >>275
まあ、君も自分が毎度毎度間違ってるって言われるのが嫌なのはわかる
でも、こっちは君のいつもの間違いにいちいち付き合う義理はないんでな
悪いな でもこれが正直な気持ち いくらでも俺らを馬鹿にしてもいいけど
それで黒が白になることはないんでな わかってくれよ
まあ、君も自分が毎度毎度間違ってるって言われるのが嫌なのはわかる
でも、こっちは君のいつもの間違いにいちいち付き合う義理はないんでな
悪いな でもこれが正直な気持ち いくらでも俺らを馬鹿にしてもいいけど
それで黒が白になることはないんでな わかってくれよ
278132人目の素数さん
2025/05/14(水) 12:01:34.61ID:ckJ79ZRm >>274
命題Aを γ∈Q なる命題とすれば、γは実数だから、¬A は γ∈R\Q という命題を表し、
¬(¬A)≡A が成り立つから、γ∈R\Q を仮定して矛盾が得られれば γ∈Q は真
という議論の進め方は分かる筈だが
命題Aを γ∈Q なる命題とすれば、γは実数だから、¬A は γ∈R\Q という命題を表し、
¬(¬A)≡A が成り立つから、γ∈R\Q を仮定して矛盾が得られれば γ∈Q は真
という議論の進め方は分かる筈だが
279132人目の素数さん
2025/05/14(水) 12:07:11.38ID:/bgw+LwX280132人目の素数さん
2025/05/14(水) 12:15:47.32ID:ckJ79ZRm281132人目の素数さん
2025/05/14(水) 12:20:45.71ID:pgyBUJCC282132人目の素数さん
2025/05/14(水) 12:30:43.96ID:/bgw+LwX >>280
だからそこじゃないと何度言えば。
だからそこじゃないと何度言えば。
283132人目の素数さん
2025/05/14(水) 12:33:00.95ID:ckJ79ZRm >>281
γには
γ:=lim_{n→+∞}(1+1/2+…+1/n−log(n))
というγを定義する具体的な式がある
実数γに収束する極限の式だから、γを有理直線Q上で平行移動させたら、
γの違った解析に対する解析の方法が生じる
だから、γを有理直線Q上で平行移動させることは出来ない
γには
γ:=lim_{n→+∞}(1+1/2+…+1/n−log(n))
というγを定義する具体的な式がある
実数γに収束する極限の式だから、γを有理直線Q上で平行移動させたら、
γの違った解析に対する解析の方法が生じる
だから、γを有理直線Q上で平行移動させることは出来ない
284132人目の素数さん
2025/05/14(水) 12:35:12.51ID:/bgw+LwX285132人目の素数さん
2025/05/14(水) 12:36:29.38ID:HG75esji >>283
> γを有理直線Q上で平行移動させたら、
> γの違った解析に対する解析の方法が生じる
二行目の意味が分かんないな
> だから、γを有理直線Q上で平行移動させることは出来ない
この文章の意味も分かんないな
まあ、悪いけど、いつものように初歩的な勘違いしてんだろうな
しょうがないよ 素人だからさ
別にTerence Taoみたいなフィールズメダリストじゃないし
> γを有理直線Q上で平行移動させたら、
> γの違った解析に対する解析の方法が生じる
二行目の意味が分かんないな
> だから、γを有理直線Q上で平行移動させることは出来ない
この文章の意味も分かんないな
まあ、悪いけど、いつものように初歩的な勘違いしてんだろうな
しょうがないよ 素人だからさ
別にTerence Taoみたいなフィールズメダリストじゃないし
286132人目の素数さん
2025/05/14(水) 12:37:06.16ID:ckJ79ZRm287132人目の素数さん
2025/05/14(水) 12:37:33.73ID:HG75esji288132人目の素数さん
2025/05/14(水) 12:40:14.83ID:/bgw+LwX289132人目の素数さん
2025/05/14(水) 12:43:16.82ID:6G1pRQKr lim_{n→+∞}(1+1/2+…+1/n−log(n))=lim_{n→+∞}(1+1/2+…+1/(n-1)−log(n))=γ
でも、別に矛盾はないな
lim_{n→+∞}(1+1/2+…+1/n−log(n))-(1+1/2+…+1/(n-1)−log(n))=lim_{n→+∞}1/n=0
だから
でも、別に矛盾はないな
lim_{n→+∞}(1+1/2+…+1/n−log(n))-(1+1/2+…+1/(n-1)−log(n))=lim_{n→+∞}1/n=0
だから
290132人目の素数さん
2025/05/14(水) 12:45:55.39ID:6G1pRQKr >>288
彼は、俺たちに馬鹿にされたくないんだろうよ
あんたはともかく、俺は彼を馬鹿にはしない
難しい問題が解けなくても仕方ない
まあ、簡単な誤りに気づけないのは残念だが、
実数論は世間一般の素人には難しいから、これまた仕方ない
大学卒でも理解できてない奴は沢山いるよ 残念ながらね
彼は、俺たちに馬鹿にされたくないんだろうよ
あんたはともかく、俺は彼を馬鹿にはしない
難しい問題が解けなくても仕方ない
まあ、簡単な誤りに気づけないのは残念だが、
実数論は世間一般の素人には難しいから、これまた仕方ない
大学卒でも理解できてない奴は沢山いるよ 残念ながらね
291132人目の素数さん
2025/05/14(水) 12:47:21.89ID:ckJ79ZRm >>285
a>−1 なる実数aを任意に取って
(γ(a))_n=1+1/2+…+1/n−log(n+a)
と定義したときに得られる実数列 {(γ(a))_n} の n→+∞ のときの極限
γ=lim_{n→+∞}(1+1/2+…+1/n−log(n+a))
について、a>−1 なる実数aに対して定義される
実数列 {(γ(a))_n} によらずに収束するから、
任意の a>−1 なる実数aと任意の正の整数nに対して
(γ_n)(a)=1+1/2+…+1/n−log(n+a)
と定義したときに得られる関数列 {(γ_n)(a)} a>−1 が
n→+∞ のとき (γ_n)(a)→γ
とγに収束することとγの数値を利用すれば、
γが無理数ではなくγが有理数なることは示せる
γを有理直線Q上で平行移動させら、ここでの
実数列 {(γ(a))_n} a>−1 は任意 や
関数列 {(γ_n)(a)} a>−1 の解析の方法や結果が変わる
a>−1 なる実数aを任意に取って
(γ(a))_n=1+1/2+…+1/n−log(n+a)
と定義したときに得られる実数列 {(γ(a))_n} の n→+∞ のときの極限
γ=lim_{n→+∞}(1+1/2+…+1/n−log(n+a))
について、a>−1 なる実数aに対して定義される
実数列 {(γ(a))_n} によらずに収束するから、
任意の a>−1 なる実数aと任意の正の整数nに対して
(γ_n)(a)=1+1/2+…+1/n−log(n+a)
と定義したときに得られる関数列 {(γ_n)(a)} a>−1 が
n→+∞ のとき (γ_n)(a)→γ
とγに収束することとγの数値を利用すれば、
γが無理数ではなくγが有理数なることは示せる
γを有理直線Q上で平行移動させら、ここでの
実数列 {(γ(a))_n} a>−1 は任意 や
関数列 {(γ_n)(a)} a>−1 の解析の方法や結果が変わる
292132人目の素数さん
2025/05/14(水) 12:50:32.43ID:/bgw+LwX293132人目の素数さん
2025/05/14(水) 12:55:49.69ID:48RcwRf8 >>291
ああ、やっぱり初歩から間違ってたか
そんなことだろうと思ったよ
lim_{n→+∞}(log(n+a)-log(n))=lim_{n→+∞}(log((n+a)/n))=log(1)=0
ってことは分かる?
だから、 aによらず(γ_n)(a)→γだからといって
γが無理数ではなくγが有理数なることは示せないよ
残念だったね 極限の勉強からやり直してな
ああ、やっぱり初歩から間違ってたか
そんなことだろうと思ったよ
lim_{n→+∞}(log(n+a)-log(n))=lim_{n→+∞}(log((n+a)/n))=log(1)=0
ってことは分かる?
だから、 aによらず(γ_n)(a)→γだからといって
γが無理数ではなくγが有理数なることは示せないよ
残念だったね 極限の勉強からやり直してな
294132人目の素数さん
2025/05/14(水) 12:56:34.57ID:48RcwRf8295132人目の素数さん
2025/05/14(水) 13:00:44.30ID:ckJ79ZRm >>293
式に関する話だから、分かる人には分かるだろうし、分からない人には分からないだろう
式に関する話だから、分かる人には分かるだろうし、分からない人には分からないだろう
296132人目の素数さん
2025/05/14(水) 13:02:23.18ID:48RcwRf8 ところで
lim_{n→+∞}1/(1+a)+1/(2+a)+…+1/(n+a)−log(n+a)+log(1+a)
なら、aによって収束値は変わるよ
lim_{n→+∞}1/(1+a)+1/(2+a)+…+1/(n+a)−log(n+a)+log(1+a)
なら、aによって収束値は変わるよ
297132人目の素数さん
2025/05/14(水) 13:03:40.99ID:48RcwRf8298132人目の素数さん
2025/05/14(水) 13:08:09.05ID:/bgw+LwX299132人目の素数さん
2025/05/14(水) 13:09:24.26ID:ckJ79ZRm300132人目の素数さん
2025/05/14(水) 13:12:17.24ID:ckJ79ZRm >>298
ここに書く気はしない
ここに書く気はしない
301132人目の素数さん
2025/05/14(水) 13:15:56.29ID:ckJ79ZRm (γを)平行移動移動させられない → (γを)平行移動出来ない
302132人目の素数さん
2025/05/14(水) 13:28:12.43ID:/bgw+LwX >>291
>n→+∞ のとき (γ_n)(a)→γ
があたかも新発見かのように書いてるけど実際は高校生でも分かる自明な内容。
>n→+∞ のとき (γ_n)(a)→γ
>とγに収束することとγの数値を利用すれば、
>γが無理数ではなくγが有理数なることは示せる
示せるのはγの数値が既知の数値ってことだけ。
自明な材料からは自明な結果しか出て来ない。
>n→+∞ のとき (γ_n)(a)→γ
があたかも新発見かのように書いてるけど実際は高校生でも分かる自明な内容。
>n→+∞ のとき (γ_n)(a)→γ
>とγに収束することとγの数値を利用すれば、
>γが無理数ではなくγが有理数なることは示せる
示せるのはγの数値が既知の数値ってことだけ。
自明な材料からは自明な結果しか出て来ない。
303132人目の素数さん
2025/05/14(水) 13:29:45.55ID:/bgw+LwX304132人目の素数さん
2025/05/14(水) 13:33:23.87ID:ckJ79ZRm305132人目の素数さん
2025/05/14(水) 13:41:38.17ID:/bgw+LwX >>304
じゃあγが実数であること以外何も言えないじゃん
じゃあγが実数であること以外何も言えないじゃん
306132人目の素数さん
2025/05/14(水) 13:44:59.79ID:/bgw+LwX てかγのR上の平行移動ってなに?
307132人目の素数さん
2025/05/14(水) 13:46:22.05ID:/bgw+LwX γって直線R上の一点だよね? その平行移動ってなに?
308132人目の素数さん
2025/05/14(水) 13:51:20.07ID:m6/oNSvu >>305-307
今、乙君は291の自分の誤りを噛みしめてるところかな
でもなんかすぐ忘れるんだよね
多分、極限が初歩から分かってないみたいなんだけど
どこぞのスレッドの1の人同様 大学1年の4月で挫折した口かな
高校卒業まで数学で秀才でも、大学でいきなり落ちこぼれるほど
大学の数学って難しい、って言っておこう
それが一番彼らの自尊心を傷つけないから
今、乙君は291の自分の誤りを噛みしめてるところかな
でもなんかすぐ忘れるんだよね
多分、極限が初歩から分かってないみたいなんだけど
どこぞのスレッドの1の人同様 大学1年の4月で挫折した口かな
高校卒業まで数学で秀才でも、大学でいきなり落ちこぼれるほど
大学の数学って難しい、って言っておこう
それが一番彼らの自尊心を傷つけないから
309132人目の素数さん
2025/05/14(水) 14:48:43.30ID:/bgw+LwX310132人目の素数さん
2025/05/14(水) 16:46:54.50ID:ckJ79ZRm γを無理数と仮定する
仮定から、実数直線R上の無理数γの任意の近傍に属し、γに十分近い
可算無限個の 57/100<q/p<γ なる有理数 q/p q>57 p>100 に対して
γ∈(q/p、q/p+1/p)⊂(57/100、58/100) である。また、q/p+1/p<58/100 だから、
γ−(q/p+1/p)>γ−58/100
=lim_{n→+∞}(1+1/2+…+1/n−log(n))−58/100
=(1+1/2+1/3+1/4+1/5+1/6+1/7−log(7)−58/100)+lim_{n→+∞}(1/8+…+1/n+log(7)−log(n))
=(2+1/4++1/5+1/7−58/100−log(7))+lim_{n→+∞}(1/8+…+1/n+log(7)−log(n))
=(2+315/700+100/700−406/700−log(7))+lim_{n→+∞}(1/8+…+1/n+log(7)−log(n))
=(2+9/700−log(7))+lim_{n→+∞}(1/8+…+1/n+log(7)−log(n))
>0
しかし、γ<q/p+1/p だから、γ−(q/p+1/p)<0
よって矛盾が生じる。この矛盾はγを無理数と仮定したことから生じたから、背理法によりγは有理数である
大雑把だが、γの有理性の証明はこのような証明になる
仮定から、実数直線R上の無理数γの任意の近傍に属し、γに十分近い
可算無限個の 57/100<q/p<γ なる有理数 q/p q>57 p>100 に対して
γ∈(q/p、q/p+1/p)⊂(57/100、58/100) である。また、q/p+1/p<58/100 だから、
γ−(q/p+1/p)>γ−58/100
=lim_{n→+∞}(1+1/2+…+1/n−log(n))−58/100
=(1+1/2+1/3+1/4+1/5+1/6+1/7−log(7)−58/100)+lim_{n→+∞}(1/8+…+1/n+log(7)−log(n))
=(2+1/4++1/5+1/7−58/100−log(7))+lim_{n→+∞}(1/8+…+1/n+log(7)−log(n))
=(2+315/700+100/700−406/700−log(7))+lim_{n→+∞}(1/8+…+1/n+log(7)−log(n))
=(2+9/700−log(7))+lim_{n→+∞}(1/8+…+1/n+log(7)−log(n))
>0
しかし、γ<q/p+1/p だから、γ−(q/p+1/p)<0
よって矛盾が生じる。この矛盾はγを無理数と仮定したことから生じたから、背理法によりγは有理数である
大雑把だが、γの有理性の証明はこのような証明になる
311132人目の素数さん
2025/05/14(水) 16:54:22.04ID:ckJ79ZRm312132人目の素数さん
2025/05/14(水) 17:41:29.88ID:ZaiCFqsw >>310
(2+9/700−log(7))+lim_{n→+∞}(1/8+…+1/n+log(7)−log(n))>0
が誤り。そもそもこの計算の何処にも、γを有理数q/pで近似したこと
「良い近似分数」が可算無限個あることは使ってない。
いいですか?
「γ−58/100の値を計算したら、なぜか>0になった。(←この計算・結論が初歩的な誤り・勘違い。)
これはおかしい。したがって矛盾」
と言ってるだけ。自分が計算・推論を間違えたから矛盾?
中学・高校生だって、こんな証明の誤りはしない。
少なくとも自分が中高生の頃は、こんなバカではなかった。
フェルマーのトンデモ本を書いた小野田某と同レベルの、最底辺のトンデモレベルの間違い。
(2+9/700−log(7))+lim_{n→+∞}(1/8+…+1/n+log(7)−log(n))>0
が誤り。そもそもこの計算の何処にも、γを有理数q/pで近似したこと
「良い近似分数」が可算無限個あることは使ってない。
いいですか?
「γ−58/100の値を計算したら、なぜか>0になった。(←この計算・結論が初歩的な誤り・勘違い。)
これはおかしい。したがって矛盾」
と言ってるだけ。自分が計算・推論を間違えたから矛盾?
中学・高校生だって、こんな証明の誤りはしない。
少なくとも自分が中高生の頃は、こんなバカではなかった。
フェルマーのトンデモ本を書いた小野田某と同レベルの、最底辺のトンデモレベルの間違い。
313132人目の素数さん
2025/05/14(水) 17:43:27.10ID:ZaiCFqsw 初歩の計算や推論で間違えているのだから、どんな問題をやっても忽ち矛盾が生じるはず。
未解決問題とは限らず、演習問題をやってもすぐに矛盾が出て、解けないはず。
都合よく未解決問題の場合だけ矛盾が生じるとすれば、精神的なバイアスが
強く働いているからだと思う。そもそも演習問題なんて解けないし
解こうともしてないのかもしれないが。
未解決問題とは限らず、演習問題をやってもすぐに矛盾が出て、解けないはず。
都合よく未解決問題の場合だけ矛盾が生じるとすれば、精神的なバイアスが
強く働いているからだと思う。そもそも演習問題なんて解けないし
解こうともしてないのかもしれないが。
314132人目の素数さん
2025/05/14(水) 17:45:36.68ID:ckJ79ZRm >>313
丁寧に書くと長いから、はじめここには書かないといっていたんだが
丁寧に書くと長いから、はじめここには書かないといっていたんだが
315132人目の素数さん
2025/05/14(水) 17:45:38.97ID:ZaiCFqsw316132人目の素数さん
2025/05/14(水) 17:47:35.18ID:ie/HwPwA >>310
>(2+9/700−log(7))+lim_{n→+∞}(1/8+…+1/n+log(7)−log(n))>0
誤り
n>=180のとき (2+9/700−log(7))+(1/8+…+1/n+log(7)−log(n))<0
よって矛盾は生じない
乙君、計算苦手?
>(2+9/700−log(7))+lim_{n→+∞}(1/8+…+1/n+log(7)−log(n))>0
誤り
n>=180のとき (2+9/700−log(7))+(1/8+…+1/n+log(7)−log(n))<0
よって矛盾は生じない
乙君、計算苦手?
317132人目の素数さん
2025/05/14(水) 17:48:45.50ID:ckJ79ZRm 実際はγを仮定しているから q/p+1/p は q/p+1/p^2 としてよい
318132人目の素数さん
2025/05/14(水) 17:50:35.73ID:ie/HwPwA319132人目の素数さん
2025/05/14(水) 17:51:25.93ID:ckJ79ZRm >>316
丁寧に書けば分かる筈だが、長くなるからはじめはここに書かないといっていた
丁寧に書けば分かる筈だが、長くなるからはじめはここに書かないといっていた
320132人目の素数さん
2025/05/14(水) 17:52:24.12ID:ie/HwPwA321132人目の素数さん
2025/05/14(水) 17:53:48.82ID:ie/HwPwA322132人目の素数さん
2025/05/14(水) 17:54:02.30ID:ckJ79ZRm >>318
実際には幾つか段階を踏む証明である
実際には幾つか段階を踏む証明である
323132人目の素数さん
2025/05/14(水) 18:01:04.89ID:ckJ79ZRm >>321
実際には幾つか段階を踏む証明だから、大雑把でいい加減な証明になっている
実際には幾つか段階を踏む証明だから、大雑把でいい加減な証明になっている
324132人目の素数さん
2025/05/14(水) 18:01:05.39ID:ckJ79ZRm >>321
実際には幾つか段階を踏む証明だから、大雑把でいい加減な証明になっている
実際には幾つか段階を踏む証明だから、大雑把でいい加減な証明になっている
325132人目の素数さん
2025/05/14(水) 18:03:14.87ID:ie/HwPwA326132人目の素数さん
2025/05/14(水) 18:05:01.95ID:ie/HwPwA 乙君は、級数の計算も正しくできないみたいだから、
γの無理数判定の問題なんて解決するのは無理かな
まあ、そんなの出来る人は、今いないから、気に病まなくていいよ
ただ、級数の計算はできたほうがいいかな 高校生レベルだからさ
γの無理数判定の問題なんて解決するのは無理かな
まあ、そんなの出来る人は、今いないから、気に病まなくていいよ
ただ、級数の計算はできたほうがいいかな 高校生レベルだからさ
327132人目の素数さん
2025/05/14(水) 18:07:39.73ID:ckJ79ZRm >>320
原理的には、オイラー・マクローリンの総和公式を使ってγを漸近展開すれば、
背理法を使わなくてもγが有理数であることは判明するようになっているだろう
ただ、これは実際に使える証明の方法ではない
原理的には、オイラー・マクローリンの総和公式を使ってγを漸近展開すれば、
背理法を使わなくてもγが有理数であることは判明するようになっているだろう
ただ、これは実際に使える証明の方法ではない
328132人目の素数さん
2025/05/14(水) 18:07:49.36ID:ie/HwPwA 乙君が何を言っても他人からは間違ってるって思われることは知っといてね
実際正しかった試しがないからさ
だから計算はかならず実施して確認してね
必ずといっていいほど、計算したら成り立たない式書いてるから
実際正しかった試しがないからさ
だから計算はかならず実施して確認してね
必ずといっていいほど、計算したら成り立たない式書いてるから
329132人目の素数さん
2025/05/14(水) 18:09:53.45ID:ie/HwPwA330132人目の素数さん
2025/05/14(水) 18:12:29.13ID:ckJ79ZRm331132人目の素数さん
2025/05/14(水) 18:22:44.04ID:ie/HwPwA■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【節約】物価高でも「食費月1万円」は可能? 月7000円台、レバーと100円キャベツで回す強者も★2 [ひぃぃ★]
- 大谷翔平 第2子誕生を正式発表「無事に生まれてきてくれてありがとう」 ★2 [ひかり★]
- 日本行きツアー募集の中国旅行会社、一転して募集停止…関連報道広がり中国政府から圧力か [♪♪♪★]
- 【ぬるぽ】24年前の6月20日は「ぬるぽ」が生まれた日【ガッ】 [Ailuropoda melanoleuca★]
- 【国民・玉木代表2年間限定での消費税1%案に「2年後に景気が悪かったら増税できるのか」 [蚤の市★]
- 「内乱罪で死刑想定している」中核派から分裂 「現代革命労働者党」が活動開始後初会見 [少考さん★]
- 【緊急高市速報】地形図、ほぼ倍に値上げ [469534301]
- トランプさん肝いりの青く塗り替えたリンカーン記念堂反射池でトラブル。藻の大量発生で高ノなりペンキが剥離 [737440712]
- 【実況】博衣こよりのえちえちホロ爆走祭 🧪 Part.3
- 👊🐠👊ファイティング👊🐠👊ニモ🏡
- 【恐怖映像】高市早苗が口パクだけで無を話して英スターマー首相と会話した模様。Nullメッセージを渡してバグらせる気だったか [784319933]
- 【動画】高市早苗さん、英スターマー首相が天気について英語で話しただけで目を大きく見開き口を大きく開けて笑いサムズアップ👍 [597533159]