現代数学はインチキだらけ

[過去ﾛｸﾞ] 現代数学はインチキだらけ (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

888: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/10/03(木) 10:07:42.77 ID:x+DVmNvw

>>874 補足
「数学基礎論と消えたパラドックス」は、『数学セミナー』1993年8月号らしいな
（参考）
https://sites.google.com/site/sendailogichomepage/files/ref
仙台ロジック倶楽部
資料ページ
仙台ロジック倶楽部ＯＬＤの関係資料ページを復旧したものです．
文章は田中一之先生によるものです．（旧ページ製作はNBZ先輩）
■ 読み物系
□数学基礎論と消えたパラドックス（『数学セミナー』1993年8月号より）
パラドックスから数学基礎論の誕生，不完全定理への流れを解説．

https://www.nippyo.co.jp/shop/magazine/4874.html
数学セミナー 　1993.8
特集　パラドックス
　数学基礎論と消えたパラドック 田中一之　21

https://ja.wikipedia.org/wiki/%E7%94%B0%E4%B8%AD%E4%B8%80%E4%B9%8B
(抜粋)
田中 一之（たなか かずゆき、1955年8月18日[1] - ）は、日本の数学者、論理学者。東北大学大学院理学研究科数学専攻教授。専門は数学基礎論。とくに逆数学[2][3]や不完全性定理の研究で知られる。

師は、パリス＝ハーリントンの定理（英語版）などで有名なレオ・ハーリントン（英語版）[4]。アラン・チューリングのただ1人の弟子で計算可能性理論の開拓者ロビン・ギャンディ（英語版）[5]や逆数学プログラムの推進者スティーブン・G・シンプソン（英語版）[6]の下でも研究した。数学基礎論関係の入門書や専門書を多数著し、『現代思想』[9]や『数学セミナー』[14]等の雑誌にも多くの数学随筆を発表している。

田中 一之
（たなか かずゆき）
生誕 1955年8月18日（64歳）
研究分野 数学基礎論、逆数学、不完全性定理
研究機関 東北大学大学院理学研究科数学専攻
出身校 カリフォルニア大学バークレー校（Ph.D）
東京工業大学（理学修士）
博士課程
指導教員 レオ・ハーリントン（英語版）

http://rio2016.5ch.net/test/read.cgi/math/1567930973/888

897: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/10/03(木) 11:21:14.20 ID:x+DVmNvw

>>888 追加

https://sites.google.com/site/sendailogichomepage/files/ref/ref_07
仙台ロジック倶楽部
数学基礎論と消えたパラドックス 田中一之 数学セミナー 　1993.8
(抜粋)
■ Ｈ. フリードマンの定理
代数構造まで含めてユークリッドの反例になるものはあまりなさそうな気がしてくるのだが、
その感覚をひっくり返したのが フリードマンである(1973)．

言葉の説明を後回しにして、定理を述べる．

ペアノの算術の可算な超準モデルは、自らと同型な接頭部を持つ．

■ おまけ
H. フリードマンは 1967年に１８歳でスタンフォード大に入った．

しかし、並の秀才と少し違うのは、このとき助教授として入ったことである．

彼はすでにその前に２階算術について画期的な仕事をしてMITから博士号をとっている．

https://en.wikipedia.org/wiki/Harvey_Friedman
(抜粋)
Harvey Friedman (born 23 September 1948)[1] is an American mathematical logician at Ohio State University in Columbus, Ohio. He has worked on reverse mathematics, a project intended to derive the axioms of mathematics from the theorems considered to be necessary.
In recent years this has advanced to a study of Boolean relation theory, which attempts to justify large cardinal axioms by demonstrating their necessity for deriving certain propositions considered "concrete".

Friedman earned his Ph.D. from the Massachusetts Institute of Technology in 1967, with a dissertation on Subsystems of Analysis. His advisor was Gerald Sacks. Friedman received the Alan T. Waterman Award in 1984. He delivered the Tarski Lectures in 2007.

In 1967, Friedman was listed in the Guinness Book of World Records for being the world's youngest professor when he taught at Stanford University at age 18 as an assistant professor of philosophy.[1][2][3] He has also been a professor of mathematics and a professor of music.[4]

http://rio2016.5ch.net/test/read.cgi/math/1567930973/897

904: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/10/03(木) 16:31:31.78 ID:x+DVmNvw

>>903
＞ヨコだけど集合論や基礎論の話してれば特に断りなければωは最小の無限順序数でしょ？

ありがとうございます！！ （＾＾
同意です。
ωは、下記の極限順序数でもありますね
順序数（一般）、有限順序数、超限順序数、極限順序数（＝無限基数）の使い分けが必要ですね（＾＾

（参考）
https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0
極限順序数
(抜粋)
集合論および順序論（英語版）における極限順序数（きょくげんじゅんじょすう、英: limit ordinal）は 0 でも後続順序数でもない順序数を言う。
任意の順序数は、0 または後続順序数、さもなくば極限順序数である。
任意の自然数よりも大きい最小の超限順序数 ω は、それよりも小さい任意の順序数（つまり自然数）n が常にそれよりも大きい別の自然数（なかんずく n + 1）を持つから、極限順序数である。
順序数に関するフォンノイマンの定義（英語版）を用いれば、任意の順序数はそれより小さい順序数全体の成す整列集合として与えられる。
順序数からなる空でない集合の合併は最大元を持たないから、常に極限順序数である。
フォンノイマン基数割り当て（英語版）を用いれば、任意の無限基数もまた極限順序数となる。

https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数
(抜粋)
順序数の大小関係
ω より小さな順序数（すなわち自然数）を有限順序数と呼び、ω 以上の（すなわち ω と等しいか ω より大きい）順序数を超限順序数と呼ぶ。

https://ja.wikipedia.org/wiki/%E5%9F%BA%E6%95%B0
基数
(抜粋)
数学において基数(きすう、cardinal number又はcardinal)とは、集合の濃度（ cardinality ）（大きさ、サイズ）を測るために定義された自然数の一般化である。
有限集合の濃度つまり有限集合の要素の個数は自然数で表される。
無限集合の濃度が一つではないことはゲオルグ・カントールによって示された。

http://rio2016.5ch.net/test/read.cgi/math/1567930973/904

905: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/10/03(木) 17:18:35.44 ID:x+DVmNvw

>>904 追加
ネタバレ書いておくと
”カントール 古い定義 X の濃度｜X｜ は X と一対一対応のつくであるすべての集合からなるクラスとして定義される”
”これは、ZFCや関連する集合論の公理系ではうまく機能しない”
”スコットのからくり
正則性公理の元、任意のクラスにたいし画一的に（そのクラスの部分クラスとなるような）集合を割り当てる方法”
辺りかなｗ（＾＾
（参考）
https://ja.wikipedia.org/wiki/%E5%9F%BA%E6%95%B0
基数
(抜粋)
数学において基数(きすう、cardinal number又はcardinal)とは、集合の濃度（ cardinality ）を測るために定義された自然数の一般化である。
動機
有限集合の要素の個数は自然数を使って数えることが出来る。
有限集合の場合の自然数の一般化として無限集合の濃度についてもそれを表す「指標」として基数を定義したい。
カントールは基数を濃度が等しい集合からなる同値類として素朴に定義した。しかし（ZFCなどの標準的な集合論では）この方法では基数を集合として扱うことは出来ず、また基数からなる集合やクラスを考えることは本質的に困難である。これを回避する方法はフォン・ノイマンやデイナ・スコットによって提示された。

定義
基数の厳密な定義
（カントールによって暗に、フレーゲやプリンキピア・マテマティカにおいて明確に示されていた）基数の最も古い定義は、集合全体からなるクラスを濃度による同値関係で割ったときの同値類としての定義である。
つまり X の濃度｜X｜ は X と一対一対応のつくであるすべての集合からなるクラスとして定義される。
これは、ZFCや関連する集合論の公理系ではうまく機能しない。
実際、X を空でない集合としたとき、集合 S に {S}×X を対応させる写像を考える事によって、宇宙から｜X｜ への単射が存在し、サイズの限界(en:Limitation of size)より、｜X｜ は真のクラスである。

フォン・ノイマンの割り当て
略

スコットのからくり
正則性公理の元、任意のクラスにたいし画一的に（そのクラスの部分クラスとなるような）集合を割り当てる方法であるスコットのからくりを使うと、 整列可能とは限らない集合 X に濃度として [X] の代わりに集合を以下のように割り当てることが出来る（詳しくはスコットのからくり（英語版）を参照）。
略

http://rio2016.5ch.net/test/read.cgi/math/1567930973/905

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

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

ぬこの手ぬこTOP 0.031s