現代数学の系譜工学物理雑談古典ガロア理論も読む73

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む73 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

939: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/01(木) 06:39:43.21 ID:3WolrY+P

>>934
ID:Tfohd+Nr＆ID:xjflQcOYさん、どうも。スレ主です。
お疲れです（＾＾；
下記、スレ58の君子豹変（ID:oTj4KA7B） VS あなた の再現か
サイコパス（ID:oTj4KA7B）はできるだけ、このスレに隔離する方針が、正解だな（＾＾；

（参考）
スレ58 https://rio2016.5ch.net/test/read.cgi/math/1547388554/347-
347 名前：１３２人目の素数さん[] 投稿日：2019/01/19(土) 17:18:06.68 ID:NWH3th4T [17/31]
>>345
いやーアンタもなかなかのトンデモだね
こっちが事を収めよう収めようと誘導してるのにブチ壊すことしかしないよね、アンタ
リアルでもそんなん？
351 名前：１３２人目の素数さん[] 投稿日：2019/01/19(土) 17:25:20.98 ID:LRwYC/w0 [23/36]
>>347
＞ブチ壊すことしかしない
＞リアルでもそんなん？
実際に人を真っ二つに斬れたら
爽快極まりないだろう
352 名前：１３２人目の素数さん[sage] 投稿日：2019/01/19(土) 17:26:44.71 ID:LRwYC/w0 [24/36]
>>350
>誤解すんなよ
>非が無いんだよｗ
なんだ、スレ主と同じ自己中か
焼かれて死ね

スレ58 https://rio2016.5ch.net/test/read.cgi/math/1547388554/768
768 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/01/25(金) 06:35:26.99 ID:sw2GMLb3 [1/29]
全くサイコパスだねー
この発言が通常人にどう受け止められるか、理解できないんだろうね、彼には
(引用開始)
(>>351より)
実際に人を真っ二つに斬れたら
爽快極まりないだろう
(>>352より)
なんだ、スレ主と同じ自己中か
焼かれて死ね
(>>612より)
勝手に吠えろ　狂犬
(>>616より)
狂犬がワンワン吠えたおかげで
「代表元も決定番号もプレイヤーが勝手に知ればいいので
　ディーラーがそんなこと分かったら逆におかしい」
ということが明らかになった
これこそ明確な態度の変更　君子豹変
ありがとよ　狂犬！！！
(>>617より)
必要ないことに
今更ながら気づいちゃったから
ということで君の三パターン、全然無駄だから
どうだ　狂犬　自分の発言で自爆した気分は？
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1563282025/939

943: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/01(木) 07:38:48.92 ID:3WolrY+P

>>936
(引用開始)
>867について
コンパクト ⇔ 完備 + 全有界 (⇔ 閉 + 有界)
コンパクト化？ 完備化？
0.33333… ->1/3 ∈ Q
(引用終り)
さて
１）リーマン球面の方へ目が行ったのかな？
２）そもそもは、哀れな素人さんの" 0.33333……≠1/3の証明"、>>803
”つまりどこまで割っても1/10^nの余りが出るのである。
　そしてｎ→∞のとき、1/10^n→0だが、
　これは1/10^nはかぎりなく0に近づくが0にはならない、
　略
　だから0.33333……はかぎりなく1/3に近づくが、1/3にはならない”
　について、n∈N で考える限りは、それは一つの理屈で、私も>>821に書いた通りで
　”利口過ぎる小学生や高校生は、哀れな素人さんのように考えるかも知れませんね”（>>867）ってこと
３）なので、1つの理解として、自然数全体N の一点コンパクト化で、N ∪ ω（>>867） と考えるのはどうかと言った
４）あと、”完備化？”としているけど、”稠密”（下記 コンパクト化 wikipediaより）じゃないの？
　”定義
　Xが位相空間 、K がコンパクトな位相空間、i:X → Kが中への同相写像であり、i(X) がK で稠密であるとき、K を 埋め込み写像 i による X のコンパクト化という。”
　”例えばX を R ^n 上の縁を含まない単位円盤 {x∈ R ^n ｜ |x|<1}としたとき、縁を含んだ単位円盤は包含写像を埋め込み写像とするX のコンパクト化である。一方半径3の縁を含んだ円盤をK とすると、X はKの中で稠密ではないので、Kは包含写像に対するX のコンパクト化ではない。”
５）なお、下記完備性ご参照 https://ja.wikipedia.org/wiki/%E5%AE%8C%E5%82%99%E6%80%A7
　”数学における完備性（かんびせい、英: completeness）は、様々な場面においてそれぞれの対象に関して特定の意味を以って考えられ、またそれぞれの意味において完備（かんび、英: complete）でない対象に対する完備化 (completion) と呼ばれる操作を考えることができる。complete は「完全」と訳されることもある。
　・実数の完備性: 実数の完備性は実数を公理的に定義する際に必要とされる性質の一つ。この場合の完備性は、実数全体の成す集合 R を距離空間と見た場合の完備性、あるいは R を半順序集合と見た場合の完備性の何れの意味とも取ることができる。”

http://rio2016.5ch.net/test/read.cgi/math/1563282025/943

948: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/01(木) 13:38:40.54 ID:mC1KhRVe

>>945
哀れな素人さん、どうもスレ主です。

(引用開始)
数学は公理と定義の設定次第でどう解釈しても良い、
と思っていることが分る（笑
公理と定義が間違いなら、その上に構築された理論は
すべて間違いである、という、この単純な常識が分っていない（笑
無限は存在しないのだから無限公理は間違いであり、
無限公理の無矛盾性などいちいち証明する必要はない（笑
(引用終り)

”数学は厳密の学”（>>864）ではありますが、
下記、コトバンク 【数学基礎論】19世紀末に ”数学は重大な危機に陥った”とありますように
哀れな素人さんのような考え方では、まずいとなりました。
（詳しく説明すると長くなるので省略）
そこで、下記「数理論理学」として、”公理主義を取って、一階述語論理に制限しよう”（ヒルベルト）というのが、20世紀の前半でした
20世紀の後半から、いろんな発展がありました
そして、コンピュータサイエンスの発展 もありました
なので、数理論理学は非常に多様化しているのが、21世紀の現在の状況なのです
”数学は厳密の学”の一言では、簡単に言い切れないのが、現状です

（参考）
https://kotobank.jp/word/%E3%83%A2%E3%83%87%E3%83%AB%E7%90%86%E8%AB%96-142533
コトバンク
モデル理論（英語表記）model theory

世界大百科事典内のモデル理論の言及 出典｜株式会社平凡社世界大百科事典 第２版について | 情報
【数学基礎論】より
…数学は矛盾のない理論体系と信じられており，諸科学の中でももっとも厳密な論証を誇るものとして，およそそのよって立つ基盤がゆらぐようなことがあろうなどとは考えられなかった。
ところが，19世紀末G.カントルによって創設された集合論はまもなく逆理を生じた(パラドックス)。カントル自身が発見した逆理(1899)，ブラリ=フォルティの逆理(1897)やラッセルの逆理(1903)がそれである。
集合論におけるすこぶる有効な用法ときわめて類似したしかたによって容易にこれらの逆理が導かれるのみならず，同時期に提出されたリシャールの逆理(1905)〈25字以内の字数によっては定義されない最小の自然数は，現にこの文章によって25字で定義されている〉とともに，ほとんど形式論理の範囲内で現れることから数学は重大な危機に陥った。…

つづく

http://rio2016.5ch.net/test/read.cgi/math/1563282025/948

949: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/01(木) 13:39:49.51 ID:mC1KhRVe

>>948
つづき

【超準解析】より
…すなわち，無限小量は追放され，極限概念は〈任意の正数εに対してかくかくの性質をもつ正数δが存在する〉という述語論理式によって表現される。それからほぼ100年後，数学基礎論の中からモデル理論が生まれる。モデルとは形式的な理論を解釈する枠組みであるが，一定の条件を満たす理論には標準的でないモデルが存在する。…

【モデル】より
…しかし，こういっても，それにはさまざまな種類がある。　まず大きく分けると，科学におけるモデルは，〈対象モデル〉と〈モデル理論〉に分けられる。そして一般に科学においてモデルというとき，それは対象モデルを意味することが多い。…

※「モデル理論」について言及している用語解説の一部を掲載しています。

https://ja.wikipedia.org/wiki/%E6%95%B0%E7%90%86%E8%AB%96%E7%90%86%E5%AD%A6
数理論理学

数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくにACM Classification（英語版））における数理論理学の役割の詳細はこの記事には含まれていない。詳細は計算機科学における論理学（英語版）を参照。

下位分野
Handbook of Mathematical Logic (Barwise 1989)は数理論理学を大まかに次の4つの領域に分類している：

1.集合論
2.モデル理論
3.再帰理論
4.証明論 と 構成的数学 （これらはひとつの領域の2つの部分と見做される）

数理論理学の発祥
言葉を、代数学におけると同様に文字や記号の列で表して、その変換について研究するいわゆる記号論理学、数理論理学の発祥は、19世紀のジョージ・ブールによる「論理代数」、ゴットロープ・フレーゲの書『概念記法』に見ることができる。前者は命題論理、後者は述語論理の原型である。

他に直観主義論理、量子論理などがある。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1563282025/949

956: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/01(木) 16:55:21.88 ID:mC1KhRVe

>>948＆>>952
補足
＞リシャールの逆理(1905)〈25字以内の字数によっては定義されない最小の自然数は，現にこの文章によって25字で定義されている〉
　↓
正しくは
＞リシャールの逆理(1905)〈25字以内の字数によっては定義されない最小の自然数は，現にこの文章によって25字以内で定義されている〉

だな、きっと（＾＾
そして、本当は、ベリーのパラドックスらしいｗ（＾＾；
なお、リシャール数をヒントに、ゲーデルはゲーデル数を考えて、「不完全性定理の証明に用いた」と言われる（＾＾；

（参考）
https://ja.wikipedia.org/wiki/%E3%83%AA%E3%82%B7%E3%83%A3%E3%83%BC%E3%83%AB%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
リシャールのパラドックス
なお 誤ってベリーのパラドックスがリシャールのパラドックスとして紹介されることがある。

パラドックスの源泉
リシャールが構成しようとする数をリシャール数と呼ぶと、この数を構成するための操作的定義のうちにリシャール文によって順序付けた実数の集合全体が暗黙のうちに含まれていると考えられる（循環定義）。

https://ja.wikipedia.org/wiki/%E3%83%99%E3%83%AA%E3%83%BC%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
ベリーのパラドックス
(抜粋)
ベリーのパラドックス（ベリーの逆説）はパラドックスのひとつ。

「19文字以内で記述できない最小の自然数」という文を考える。自然数は可算無限に存在する一方で、日本語19文字で行える記述は有限通り（文字の種類の19乗）であるから、日本語19文字で表現できない自然数は必ず存在する。
つまり、「19文字以内で記述できない最小の自然数」という文章は明確にある自然数を一意に定義している。しかしながら、実際に「19文字以内で記述できない最小の自然数」を求めてみると、「19文字以内で記述できない最小の自然数」であるにも関わらず、「19文字以内で記述できない最小の自然数」という19文字で表現が可能であり、「19文字以内で記述できない最小の自然数」という定義に合致しない。

ZFCなどの公理系は、上記のような非形式的な定義の方法を許可しないことでこのパラドックスを回避している。
つづく

http://rio2016.5ch.net/test/read.cgi/math/1563282025/956

962: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/01(木) 18:27:54.61 ID:mC1KhRVe

>>961
哀れな素人さん、どうもスレ主です。

>そんなことをしたら、これを最初に発表したのは私だ、
>と手柄を横取りする奴が出て来るに決まっている（笑

いや、それは逆ですよ
”手柄を横取りする奴が出て来る”くらい、凄い理論だったと
昔のノーベル化学賞の田中耕一さんの事例がありますよ

ちゃんと発表の裏付けがあれば、「おれに優先権があるぞ」という主張は認められます
それが、理系の世界ですよ（＾＾
（文系は違うのかもねｗ（＾＾； ）

参考（細かい経緯は、”ノーベル化学賞受賞 木村美実子 青山紘一 情報管理 2002 特報版”ご参照）
https://ja.wikipedia.org/wiki/%E7%94%B0%E4%B8%AD%E8%80%95%E4%B8%80
田中耕一
(抜粋)
https://upload.wikimedia.org/wikipedia/commons/7/72/Koichi_Tanaka_2003.jpg

レーザーイオン化質量分析技術

この「レーザーイオン化質量分析計用試料作成方法」は、1985年（昭和60年）に特許申請された。

現在、生命科学分野で広く利用されている「MALDI-TOF MS」は、田中らの発表とほぼ同時期にドイツ人化学者のフランツ・ヒレンカンプ (Franz Hillenkamp) とミヒャエル・カラス (Michael Karas) により発表された方法である。MALDI-TOF MS は、低分子化合物をマトリックスとして用いる点が田中らの方法と異なっており、より高感度にタンパク質を解析することができる。

評価とノーベル賞受賞
上記の功績が評価され、田中の開発した方法を「ソフトレーザー脱離イオン化法」として、ノーベル化学賞を2002年に受賞する。

なお、ノーベル賞受賞決定にあたり、何故ヒレンカンプやカラスではないのかという疑問の声が上がり、田中自身も自分が受賞するのを信じられなかった原因に挙げている[10]。経緯として、英語論文発表はヒレンカンプとカラスが早かったが、2人はそれ以前に田中が日本で行った学会発表を参考にしたと書いてあったため[11]、田中の貢献が先と認められた[12]。

https://www.jstage.jst.go.jp/article/johokanri/45/8/45_8_s6/_pdf/-char/ja
ノーベル化学賞受賞 木村美実子 青山紘一 情報管理 2002 特報版

http://rio2016.5ch.net/test/read.cgi/math/1563282025/962

981: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/02(金) 00:07:21.61 ID:iEpfJmnQ

問答無用！ｗ（＾＾；

（>>851より）
下記の通り「時枝の手法では、あるD∈Nがあって、XDは確率1－ε（例えば99/100など）で、実数値rDを取るという」だから
「Dが一定」である必要なし！
(>>829より）
１）独立同分布(IID)を仮定しよう。具体的に、コイントスで、{0,1}を入れた（>>812）
　可算無限個の確率変数の族X1,X2,・・・（時枝記事後半にある通り）
　で任意のi∈Nで、Xiは確率1/2で、0か1かの値を取る
２）ところが、時枝の手法では、あるD∈Nがあって、XDは確率1－ε（例えば99/100など）で、実数値rDを取るという
　これは矛盾である（>>812）
３）独立同分布(IID)を仮定した瞬間、これで終りでしょｗ（＾＾
これには、全部裏付けがあるよ(下記)
>>465 >>474 >>479
（過去なんども繰り返し述べてきた通りだが、確率過程論の知識がないと、時枝不成立がなかなか理解できないのだろう）

>必ずXD=rD

(>>831より)
時枝の設定は、次の通り
スレ20 https://rio2016.5ch.net/test/read.cgi/math/1512046472/18-
(抜粋)
過去スレ20 再録 http://rio2016.2ch.net/test/read.cgi/math/1466279209/2-7
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
・・・・
列r のD番目の実数r(D)を見て， 「第k列のD番目の箱に入った実数はs^k(D)＝rD」と賭ければ，めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
(引用終り)
ここで、実数値rDは、（-∞，+∞）の範囲をカバー出来ていなければ、的中確率99/100など得られない
だが、コイントスのIID ２値{0,1}のみとは、真っ向矛盾している
コイントスのIID ２値{0,1}のみを仮定すれば、実数値rDで的中確率99/100など得られるはずがない！

「必ずXD=rD」というが、例えばrD=e^π 又はrD=πなどの実数値（上記時枝記事記載の通り）では、コイントスの２値{0,1}は的中できるはずがない！！（＾＾
QED

http://rio2016.5ch.net/test/read.cgi/math/1563282025/981

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.021s