[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
251: 2020/02/11(火)22:14 ID:pez17n4y(44/45) AAS
>既に無意味と斬り捨てられた主張を唱えるってことは
◆e.a0E5TtKE は常習犯ですけどねｗ
252(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/11(火)22:17 ID:CB29Ozfy(12/13) AAS
>>247 補足
＞コンパクト性定理（英: Compactness theorem）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。
これ、初見では、意味を掴むのが難しいと思うので、外しているかも知れないが、解説してみると下記
１．可算無限個の箱の列で、”黒い”という状態を考えてみよう
２．可算無限個の箱の列が、全体として”黒い”ということは、任意の有限部分集合が”黒い”ことと定義する
３．普通に 「可算無限個の箱の列で、”黒い”」の否定は、「”どこかある部分が、”黒い”という状態ではない」となるだろう
４．これは、「任意の有限部分集合が”黒い”」という記述と符合していて、「任意の有限部分集合が”黒い”」が否定されるならば、「”どこかある部分が、”黒い”という状態ではない」となる
省3
253(1): 2020/02/11(火)22:17 ID:pez17n4y(45/45) AAS
>既に無意味と斬り捨てられた主張を唱えるってことは
◆e.a0E5TtKE は自分の主張は雄弁に語るが、他人の指摘は聞く耳持たない独善野郎なので、
切り捨てられたことさえ分かってないのでしょう
254: 2020/02/11(火)22:22 ID:yCL40qf3(42/44) AAS
>>255
＞外しているかも知れないが
外してます
尻尾の同値関係でいうと、
同値類に属する任意有限個の列について
共通の尻尾は存在しますが
無限個の列については、共通の尻尾が存在しない場合があります
省5
255(1): 2020/02/11(火)22:25 ID:yCL40qf3(43/44) AAS
>>253
＞自分の主張は雄弁に語るが、他人の指摘は聞く耳持たない
学問には向かないタイプですね
256(1): 2020/02/11(火)22:25 ID:yCL40qf3(44/44) AAS
>>252
＞外しているかも知れないが
外してます
尻尾の同値関係でいうと、
同値類に属する任意有限個の列について
共通の尻尾は存在しますが
無限個の列については、共通の尻尾が存在しない場合があります
省5
257: 2020/02/11(火)22:26 ID:0FRNs0u+(1/2) AAS
>>252
> 可算無限個の箱の列が、全体として”黒い”ということは、
> 任意の有限部分集合が”黒い”ことと定義する
有限数列全体の集合の要素として無限数列が存在することはありえないのに
258(2): 2020/02/11(火)22:48 ID:0FRNs0u+(2/2) AAS
>>252
スレ主の定理(おっちゃん歓喜の定理) = setaの定理
超越数は存在しない
[証明]
超越数は無限小数である
任意の有限小数は超越数でない
(*) setaは以下のアカウント名に由来する
省5
259(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/11(火)23:48 ID:CB29Ozfy(13/13) AAS
>>218
>そして、The Riddleにしろ The Modificationにしろ 時枝記事にしろ
>結局、>>22 (これ>>33と同じ) の １列の場合の
>＜時枝記事の可算無限数列の数当て定理 ”もどき”＞
>が、L→∞の極限で不成立なら、全滅ですね
昔読んだ話が、物理学で若い研究者が研究発表をしたところ、前列に座っていた大物物理学者が
「その式はおかしい」とずばり指摘し、書き間違いがあったという
省28
260(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)00:00 ID:8axgfTbD(1/19) AAS
【コンパクト性定理】を否定するのは、無理ゲーでしょ（＾＾；
外部ﾘﾝｸ:fujicategory.hatenadiary.org
数学基礎論の勉強ノート
2011-06-22
１階論理のコンパクト性 fujicategory
第１章
【コンパクト性定理】
省15
261(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)00:05 ID:8axgfTbD(2/19) AAS
>>260
追加
外部ﾘﾝｸ:m-hiyama.hatena（URLがNGなので、キーワードでググれ（＾＾ ）
檜山正幸のキマイラ飼育記 (はてなBlog)
2005-12-07
コンパクト空間と論理／モデル論
(抜粋)
省18
262(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)00:16 ID:8axgfTbD(3/19) AAS
>>260
＞【コンパクト性定理】を否定するのは、無理ゲーでしょ（＾＾；
追加
外部ﾘﾝｸ:www.math.tsukuba.ac.jp
ロジックの部屋
坪井明人 筑波大
外部ﾘﾝｸ[pdf]:www.math.tsukuba.ac.jp
省21
263(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)00:28 ID:8axgfTbD(4/19) AAS
こんなのもある
いつもお世話に成っている 渕野 昌先生（＾＾
外部ﾘﾝｸ:fuchino（URLがNGなので、キーワードでググれ（＾＾ ）
有限から無限への移行原理としての
命題論理
渕野 昌
神戸大学大学院 システム情報学研究科 June 11．2012
省1
264(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)00:41 ID:8axgfTbD(5/19) AAS
下記の
数理論理学（1）
小野 寛晰
Ono Hiroakira
情報処理,20(8), (1979-08-15)
にも、コンパクト性定理の解説があるよ
外部ﾘﾝｸ[php]:ipsj.ixsq.nii.ac.jp
省18
265(2): 2020/02/12(水)00:43 ID:UvpDJSC3(1/10) AAS
>>256
少数のルール0.000…０＝0.000…１により
対角線論法は間違い
266(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)00:47 ID:8axgfTbD(6/19) AAS
>>262
補足
(引用開始)
2.5 応用例
2.5.1 ４色定理と無限地図
平面内に書かれた有限個の国を持つ地図は，４色を用いて隣国が同じ色にな
らないように塗り分けられる（ Kenneth Appel and Wolfgang Haken）．実は
省11
267(1): 2020/02/12(水)00:49 ID:Sxg0ZY+g(1/16) AAS
>>259
>極限を考えることは、物理学では結構普通ですが、
>数学でも非常に有用です！（＾＾；
>>218は極限以前に時枝戦略と無関係な当てずっぽう戦略になってる時点で無意味ですけどね。
268(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)00:50 ID:8axgfTbD(7/19) AAS
>>265
>少数のルール0.000…０＝0.000…１により
>
>対角線論法は間違い
？
クワスク
269(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)00:52 ID:8axgfTbD(8/19) AAS
>>267
>>>218は極限以前に時枝戦略と無関係な当てずっぽう戦略になってる時点で無意味ですけどね。
逆でしょ
極限でどうなるかをしっかり考えないから
トリックに騙されると思うよ（＾＾；
270(2): 2020/02/12(水)01:22 ID:UvpDJSC3(2/10) AAS
>>268
2進数の少数で表せる任意の状態は
ルール110セル・オートマトンの任意の状態と等しい
またルール110セル・オートマトンの変化は特定のルールに従い任意の少数を四則演算した結果といっちする。
ルール110セル・オートマトンはチューリング完全であるためそれをエミュレートできる四則演算もチューリング完全である
よってあらゆる計算に少数のルールを適応できるため
０．００００…０＝０．００００…１はあらゆる計算「のルールで正しい
271(2): 2020/02/12(水)01:36 ID:Sxg0ZY+g(2/16) AAS
>>269
極限を取る対象それ自体が間違ってると言ってるんだけど分からない？
当てずっぽう戦略と時枝戦略の違い、分からない？
272: 2020/02/12(水)01:38 ID:Sxg0ZY+g(3/16) AAS
まあ時枝戦略に選択公理は必須でないとか言ってる時点で全然分かってないんだけどね
時枝戦略を論じるなら時枝戦略を正しく理解することから始めましょうね
273: 2020/02/12(水)01:40 ID:Sxg0ZY+g(4/16) AAS
で、反例なり証明のギャップはまだですかね？
出せないならスレ閉鎖よろしく、約束はまもりましょうね
274: 2020/02/12(水)01:50 ID:UvpDJSC3(3/10) AAS
四則演算のルールは有限でありあらゆる計算を一つの計算で表せるため
任意の有限計算に対するコンパクト性定理により、定理は如何なる計算でも成立する
またある理論の充足可能性はその有限部分の充足可能性と一致するため
あらゆる計算＝あらゆる理論の充足可能性は証明された
275: 2020/02/12(水)01:57 ID:UvpDJSC3(4/10) AAS
演繹においては、前提が真であれば、結論も必然的に真とならなければならない
ある理論において真とみなせる計算はあらゆる理論とみなせる
よってある理論においてあらゆる理論は真とみなせる
276: 2020/02/12(水)02:14 ID:UvpDJSC3(5/10) AAS
つまり、大統一理論はあらゆる矛盾を無効化し、あらゆる事象を自分の都合のいい物に変え、
そしてそれによって莫大過ぎるほどのエネルギーを生み出すことが出来る
277: 2020/02/12(水)03:34 ID:xOqnz3XM(1/15) AAS
おっちゃんです。
>>258
>スレ主の定理(おっちゃん歓喜の定理) = setaの定理
>超越数は存在しない
>
>[証明]
>超越数は無限小数である
省5
278(4): 2020/02/12(水)03:55 ID:xOqnz3XM(2/15) AAS
>>200
私の方法で初等的にフェルマー予想をするのには限界があった。
あの方法では、せいぜい、ファルティングスによるフェルマー予想における
方程式 x^n+y^n＝z^n 3≦n∈N を満たす3以上の正整数nと、
nに対応して存在し得る整数解 (x,y,z) とに関する
有限性の結果を初等的に証明出来るかどうかに過ぎない。
まだ試みてはいないのでフェルマー予想まで行けるかどうかは知らないが、多分。
279: 2020/02/12(水)06:04 ID:SjIye1YG(1/13) AAS
>>258
◆e.a0E5TtKE は瀬田っていうのか
じゃ、これから瀬田君ね
280: 2020/02/12(水)06:07 ID:SjIye1YG(2/13) AAS
>>260-264
瀬田君は、確率における”コンパクト性定理”を証明したのかい？
似非専門家は何も証明できてないよ
0になる無限乗積持ち出した時点で無意味
281: 2020/02/12(水)06:09 ID:SjIye1YG(3/13) AAS
数学板４大トンデモ
高木・日高・安達・瀬田
282(1): 2020/02/12(水)06:51 ID:SjIye1YG(4/13) AAS
>>211
＞逆転の発想で、先頭側の同値類を考えましょう
＞ある番号ｎから先頭側、つまり0からnまでの箱の数が一致することをもって
＞同値と考えます
＞推移律などの確認は、時枝記事と同じなので、省略します
＞結局、この場合、先頭の箱の数が一致すれば、先頭側の同値が成立つ
＞列の長さは無関係です
省4
283(5): 2020/02/12(水)07:06 ID:NeiqDepY(1/4) AAS
以前は>>278みたいな言辞に騙されて乙は瀬田とは違うとか評価するひとがいたのが信じられないな。
こいつら2人の数学の出来なさは本当に酷いレベル。
なまじっか高度な用語を使って（誤用して）誤魔化そうとするところまで共通している。
284: 2020/02/12(水)07:16 ID:xOqnz3XM(3/15) AAS
>>283
フェルマー予想の初等的証明をマジメに考える気は余りしない。
私の方法の限界を悟っただけ。
285: 2020/02/12(水)07:24 ID:xOqnz3XM(4/15) AAS
幾ら何でもフェルマー予想の初等的証明は恐らくないだろう。
286: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)07:38 ID:8axgfTbD(9/19) AAS
>>282-283
残念だがろうが、おれは、それには否定も肯定もしない
リアルのだれか別人に迷惑を掛ける可能性があるからね
過去にもそういう話を出した人が居たがね
本人が名乗るのは、本人の責任だが
そういう、憶測を流すと、リアルのだれかが風評被害を受けることも考えられる
そのとき、本人が名乗っていれば、本人の責任だが
省4
287(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)07:41 ID:8axgfTbD(10/19) AAS
>>270
＞ ０．００００…０＝０．００００…１はあらゆる計算「のルールで正しい
なるほど、極限を取る話か
lim n→∞ ０．００００…０＝lim n→∞ ０．００００…１
は正しいな
288(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)07:47 ID:8axgfTbD(11/19) AAS
>>278
＞私の方法で初等的にフェルマー予想をするのには限界があった。
おっちゃん、どうも、スレ主です。
フェルマー予想の初等的証明などに、手を付けない方が良いと思うよ
フェルマー予想の歴史を調べればわかりそうだが
おっと、おっちゃんは、文献読まない主義だったな（＾＾；
289(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)07:51 ID:8axgfTbD(12/19) AAS
>>266 補足
>要するに、任意の有限地図 (有限グラフ) に対する４色定理から
>コンパクト性定理により、「４色定理は無限個の国を持つ地図でも成立する」ってこと
>だから、>>246より 任意の有限部分族が独立のとき→確率変数の無限族は独立
>（「”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ」）
簡単な話です
”任意の有限部分族が独立のとき→確率変数の無限族は独立”という定義は
省4
290(1): 2020/02/12(水)07:53 ID:xOqnz3XM(5/15) AAS
>>288
フェルマー予想のことは殆ど知らないこともあり、
外部ﾘﾝｸ:ja.wikipedia.org
を参考にして>>278を書いただけなのに、>>283を書く人間が出て来て困る。
291(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)08:04 ID:8axgfTbD(13/19) AAS
>>32
戻る
時枝さん、あの記事で４つくらい外している
1つは、確率変数の無限族の独立性
スレ20 2chｽﾚ:math
”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ
も1つは、非可測の話
省25
292(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)08:15 ID:8axgfTbD(14/19) AAS
>>290
>フェルマー予想のことは殆ど知らないこともあり、
>外部ﾘﾝｸ:ja.wikipedia.org
>を参考にして>>278を書いただけなのに、>>283を書く人間が出て来て困る。
おっちゃん、どうも、スレ主です。
それが、”うかつ”でしょ
wikipediaには、多くの初等的な失敗は書かれていない
省3
293(1): 2020/02/12(水)08:23 ID:xOqnz3XM(6/15) AAS
>>292
フェルマー予想の初等的証明は有名な数学のトンデモの1つに挙げられている。
そういうことからも、私は元々無理な挑戦をしていた訳。
294: 2020/02/12(水)08:34 ID:xOqnz3XM(7/15) AAS
>>283のような偉そうなことを書くなら、>>283にはフェルマー予想の初等的証明をしてみてほしい。
多分ムリな話で終わる。
295(2): 2020/02/12(水)09:16 ID:NeiqDepY(2/4) AAS
>>293
認めるなら「γの有理性を証明した」が誤りであることも認めろ
これまでに自分が証明した数学上の新しい成果など皆無であることを認めろ
それ以前に証明・推論がめちゃくちゃでやってる内容が全く数学になってないがな
肝心なところは認めないで、数学的な真実より自我を優先している点で
乙と瀬田は共に知の欺瞞者である。
296: 2020/02/12(水)09:23 ID:xOqnz3XM(8/15) AAS
>>295
すぐキレた。やはりフェルマー予想の初等的証明は幾ら何でもムリ。
「γの有理性」はまだ論文にしていないので、公式には証明されていないことになる。
297: 2020/02/12(水)09:29 ID:xOqnz3XM(9/15) AAS
一般には、現在は、直観主義の論理は使わない。
直観主義の論理で議論して証明するには、逆に前提知識に数理論理の知識が必要になるようだしな。
298(1): 2020/02/12(水)09:29 ID:NeiqDepY(3/4) AAS
FLTとか難問は言うまでもないことだが
初等的に解ける「練習問題」さえ解けないのが乙。
未解決問題では「誰もが（あるいはほとんどのひとが）解けない」という点で平等だが
おまえが「数学ができない」という事実はそんなレベルの話じゃない。
299(1): 2020/02/12(水)09:37 ID:xOqnz3XM(10/15) AAS
>>298
>初等的に解ける「練習問題」さえ解けないのが乙。
5チャンに丁寧に解答を書いている人物はどちらかというと少ない。
多くの人は、紙で準備した後にそれを基にして答案を書く。
300: 2020/02/12(水)09:43 ID:NeiqDepY(4/4) AAS
つまり乙と瀬田は似たもの同士で慣れ合ってるのがお似合いなんだが
このスレは一旦閉じて、目立たないところでやるべきだな。
301: 2020/02/12(水)09:49 ID:xOqnz3XM(11/15) AAS
「知の欺瞞者」とかソーカル事件に関するようなことを書くと、場合によっては誰か特定されかねない。
302(1): 2020/02/12(水)09:59 ID:xOqnz3XM(12/15) AAS
ID:NeiqDepYは、私と◆e.a0E5TtKEを同レベルの脳ミソの人物で扱いたいようです。
303(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)10:07 ID:Qa5sLjJG(1/17) AAS
>>287
>>>270
>＞ ０．００００…０＝０．００００…１はあらゆる計算「のルールで正しい
>なるほど、極限を取る話か
>lim n→∞ ０．００００…０＝lim n→∞ ０．００００…１
>は正しいな
これは、考えると結構 >>22及び>>291に対するエレガントな回答の一つのような気がする
省20
304(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)10:10 ID:Qa5sLjJG(2/17) AAS
>>302
おっちゃん、どうも、スレ主です。
ID:NeiqDepYは、おサルで、統合失調症の薬を飲んでいるらしい（>>2）
被害妄想がひどいので、相手にするな（＾＾；
305: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)11:24 ID:Qa5sLjJG(3/17) AAS
メモ
外部ﾘﾝｸ[html]:biz-journal.jp
Business Journal
2020.02.11
三菱UFJ、数学科出身社長就任の衝撃…“IT銀行化”と180店舗削減で果敢な改革断行
文＝真壁昭夫／法政大学大学院教授
(抜粋)
省2
306: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)11:28 ID:Qa5sLjJG(4/17) AAS
外部ﾘﾝｸ:headlines.yahoo.co.jp
センター試験の歴史に幕 過去5年をデータで振り返る 平均点、志願者数 2/8(土) 福井新聞 Yahoo
(抜粋)
大学入試センターがまとめた2020年センター試験の平均点の最終集計と2016年から5年間の推移を見ると、2020年の数学1・Aの平均点51・88点（100点満点）は5年間で最も低かった。
2020年の志願者数は55万7699人で、2016年から5年間で最も少なかった。受験率は94・51％で減少傾向のまま最後のセンター試験を終えた。
外部ﾘﾝｸ:www.fukuishimbun.co.jp
センター試験平均点、５年間の推移
省2
307: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)11:33 ID:Qa5sLjJG(5/17) AAS
メモ
外部ﾘﾝｸ:www.bloomberg.co.jp
Bloomberg
武漢の新型ウイルス感染拡大はピーク近くか−数学モデリングが示唆
Jason Gale
2020年2月10日 11:50 JST
(抜粋)
省5
308: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)11:41 ID:Qa5sLjJG(6/17) AAS
メモ
「ビリギャル」（＾＾；
外部ﾘﾝｸ:headlines.yahoo.co.jp
アリの行列なぜ渋滞ない ビリギャルが驚いた数学の力 2/9(日) NIKKEI STYLE
(抜粋)
ギャルの女子高生が慶応大に合格するまでを描いた「ビリギャル」のモデルとなった小林さやかさんが、様々な分野の専門家に率直な疑問をぶつけます。今回は数学編。大学院生になったビリギャルが、あなたにかわって勉強してきます。
大人になってから「数学は役に立つ」って思ったことある人、どれくらいいるんだろう？
省5
309: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)11:55 ID:Qa5sLjJG(7/17) AAS
メモ
外部ﾘﾝｸ:gendai.ismedia.jp
鶴亀算で誰でも体感できる数学の「威力」と「限界」
抽象性の「恐ろしさ」を見極めるには
竹山 美宏筑波大学数理物質系教授 講談社 20200204
(抜粋)
外部ﾘﾝｸ:gendai.ismedia.jp
省13
310(3): 2020/02/12(水)12:01 ID:UvpDJSC3(6/10) AAS
>>303
極限なくても位取り記数法で証明されてるよ
Ｃ＝０．９９９… ｄ＝１
１０ｃ＝９．９９９…
１０ｃ−ｄ＝８．９９９…
１００ｃ−１０ｄ＝８９．９９９９…
１００ｃ−１０ｄ−８０＝９．９９９…
省2
311: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)12:02 ID:Qa5sLjJG(8/17) AAS
メモ
外部ﾘﾝｸ:www.bilibili.com
『宇宙と宇宙をつなぐ数学』加藤文元先生インタビュー 第1回 「IUT理論の現在地」
影??告・??
2020-02-04 10:26:36
動画ﾘﾝｸ[YouTube]
数学界のみならず、世界に激震をもたらした宇宙際タイヒミュラー（IUT)理論。京都大学の望月新一教授によって2012年に提唱されたこの理論は、数学界に残された超難問「ABC予想」の解決をも含むとされ、その難解さと斬新さから「未来から来た論文」などと称されました。
省1
312(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)12:36 ID:Qa5sLjJG(9/17) AAS
>>310
どうもスレ主です。
レスありがとう
あなたのエレガンスな回答で、時枝記事の前半の戦略は、不成立で決着です（＾＾
313(2): 2020/02/12(水)12:38 ID:ZjrtYJ9G(1) AAS
AA省
314(1): 2020/02/12(水)13:20 ID:UvpDJSC3(7/10) AAS
>>310
９・９９…＝ｃ
ｃの１０倍＝９０＋０．９９９９…＋１０回
ｃの１０倍ーｃを１０回＝０．９９９９…＋１０回−ｃを１０回＋９０
ｃの１０倍ーｃを１０回＝０．９９９９…＋１０回−０．９９９９＋１０回
ｃの１０倍＝０．９９９９…＋１０回−０．９９９９＋１０回＋ｃを１０回
０．９９９９…＋１０回−０．９９９９＋１０回＋ｃを１０回
省7
315(1): 2020/02/12(水)13:25 ID:UvpDJSC3(8/10) AAS
>>314
無数の桁に対する位ごとの操作（つまり、掛け算や引き算）を一斉に行うことなく証明
316(1): 2020/02/12(水)13:34 ID:UvpDJSC3(9/10) AAS
>>315
９・９９…＝ｃ
ｃの１０倍＝９０＋０．９９９９…＋１０回
−０．９９９９…＋１０回＋ｃを１０回＝９０
１０＝ｃと仮定すると
０．９９９９…＋１０回＝１０
９０＋０．９９９９…＋１０回＝１０＋９０
省3
317: 2020/02/12(水)13:36 ID:UvpDJSC3(10/10) AAS
>>316
９・９９…−９＝０．９９…
有限の桁に対する位ごとの操作
318(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)13:51 ID:Qa5sLjJG(10/17) AAS
>>313
>２つの自然数 a=b
>aとbは同じ数字を違う文字で表記してるんですか？
自然数は大きな問題はないが
実数になると、超越数とかが入ってくる
そうすると、複雑になります。有理数でも小数展開したとき、二通りの表現ができる
例えば、>>303より "1.000・・・＝0.9999・・・"
省35
319(2): 2020/02/12(水)14:52 ID:YGFbscX3(1/2) AAS
>>318
ありがとうございます。
320(1): 2020/02/12(水)14:53 ID:YGFbscX3(2/2) AAS
>>319
ID変わりましたが>>313を書き込んだ者です。
321(6): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)16:01 ID:Qa5sLjJG(11/17) AAS
>>318 補足
下記、磯野優介先生
”注意 4.8. この定理が証明されれば，最初から limn→∞ an = a の定義を，aω =〜 a が全ての
無限大超自然数 ω に対して成立する事としてもよい事になる．これは「数列の ∞ 番目がい
つも同じ数」という意味であり，より直感的な収束の定義である．”
なるほど
この超準解析の視点は、時枝記事の戦略のトリックを端的に突いている気がする
省23
322(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)16:05 ID:Qa5sLjJG(12/17) AAS
>>319-320
ID:YGFbscX3さん、どうもスレ主です。
ご丁寧にありがとうございます。
「a=b」という単純な式が
超準解析というフィルター
を通してみると＊）、違った風景が見えるということ
あと、時枝戦略も、超準解析というフィルター をとした方が良いと思えて来ましたね
省2
323(1): 2020/02/12(水)16:32 ID:xOqnz3XM(13/15) AAS
>>304
>>295で「数学的な真実より自我を優先している」や私が「知の欺瞞者」だと書いていることから察するに、
ID:NeiqDepY はオイラーの定数γが無理数だろうと予想している節がある可能性はあるが、
ごく普通の背理法でγの有理性が示せているから、問題ない。ただ、計算が大変。
324(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)16:59 ID:Qa5sLjJG(13/17) AAS
>>323
おっちゃん、どうも、スレ主です。
>ID:NeiqDepY はオイラーの定数γが無理数だろうと予想している節がある可能性はあるが、
>ごく普通の背理法でγの有理性が示せているから、問題ない。ただ、計算が大変。
逆らうようで悪いが
私スレ主も、「オイラーの定数γが無理数だろうと予想している」んだ
証明は難しいらしく、いまだ数学界では予想だがね
省15
325: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)17:04 ID:Qa5sLjJG(14/17) AAS
>>324 補足
>で、ｎ有限で、（Σ k=1〜n（1/k） は、有理数。ln(n)は無理数（超越数）。
>有理数−無理数（超越数）＝無理数（超越数）
>は自明。
>それが、lim n→∞ で、有理数に収束することがイメージできない
逆パターンで
lim n→∞ で、有理数が、無理数に収束するのは、普通にあるが
省2
326: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)17:11 ID:Qa5sLjJG(15/17) AAS
>>322 タイポ訂正
あと、時枝戦略も、超準解析というフィルター をとした方が良いと思えて来ましたね
↓
あと、時枝戦略も、超準解析というフィルター を通した方が良いと思えて来ましたね
分かると思うが（＾＾；
327(1): 2020/02/12(水)17:21 ID:xOqnz3XM(14/15) AAS
>>324
証明は150行どころか250行は優に超える。300行以上はある筈。
328(1): 2020/02/12(水)17:27 ID:xOqnz3XM(15/15) AAS
それじゃ、おっちゃんもう寝る。
329: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)17:33 ID:Qa5sLjJG(16/17) AAS
>>327
>証明は150行どころか250行は優に超える。300行以上はある筈。
おっちゃん、どうも、スレ主です。
300ページは必要と思うけどねｗ（＾＾；
根拠レスだが
330: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)17:38 ID:Qa5sLjJG(17/17) AAS
>>328
おっちゃん、どうも、スレ主です。
ありがとう
お休みなさい
なお
論文の投稿をお待ちしています。
331: 2020/02/12(水)19:12 ID:Sxg0ZY+g(5/16) AAS
>>288
>おっと、おっちゃんは、文献読まない主義だったな（＾＾；
と、教科書も読まないバカが申しております
上下前次1-新書関写板覧索設栞歴
あと 671 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s