[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む27 [無断転載禁止]©2ch.net (517ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
303(1): 現代数学の系譜11 ガロア理論を読む 2017/01/03(火)10:05 ID:trvSnYCN(7/12) AAS
>>294 関連
再録
現代数学の系譜11 ガロア理論を読む24 2chｽﾚ:math
654 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2016/10/29(土) 13:43:22.34 ID:vwUy6eEC [25/46]
あなたのまったく逆を渕野先生が書いている。>>361だ
”厳密性を数学と取りちがえるという勘違い”
外部ﾘﾝｸ:www.amazon.co.jp
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房 2013
数学的直観と数学の基礎付け 抜粋（ああ、文字化けがあるので、修正した）
数学の基礎付けの研究は，数学が厳密
省25
304(1): 現代数学の系譜11 ガロア理論を読む 2017/01/03(火)10:13 ID:trvSnYCN(8/12) AAS
（再録）
>>223-224 天才 セドリック・ヴィラニのひらめきが、下記。まさに、
渕野先生「アイデアの飛翔をうながす(可能性を持つ)数学的直
観」とよばれるもので，これは， ときには，意識的に厳密
には間違っている議論すら含んでいたり，寓話的であった
りすることですらあるような，かなり得体の知れないもの
である.」の実例
223 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/01/02(月) 07:33:23.56 ID:MUXssChK [7/59]
つづき
12:53
省15
305(1): 現代数学の系譜11 ガロア理論を読む 2017/01/03(火)10:21 ID:trvSnYCN(9/12) AAS
人の直観、それはゲーデルの加速定理（下記）の例かもしれない
ディラックのデルタ関数。デルタ関数なしでも、同じことは古い関数論で可能かもしれない・・。が、デルタ関数を導入することで、議論がすっきり見通しよくなるのだ
外部ﾘﾝｸ:ja.wikipedia.org
ゲーデルの加速定理
(抜粋)
ゲーデルの加速定理（ゲーデルのかそくていり、英: Godel's speedup theorem）は ゲーデル (1936)で証明された。この定理によれば、弱い形式的体系では非常に長い形式的証明しか存在しないが、より強い形式的体系では極めて短い形式的証明が存在する、というような文が存在する。
クルト・ゲーデルはそのような性質を持つ文を具体的に構成した。それはn階算術の体系で証明可能な命題であってn+1階算術ではより短い証明を持つものが存在するというものである。
ハービー・フリードマンは上の性質を満たすような明示的で自然な例をいくつか見つけた。それはペアノ算術やほかの形式的体系における文であり、その最短の証明は非常に長い(Smory?ski 1982)。
306(1): 現代数学の系譜11 ガロア理論を読む 2017/01/03(火)10:26 ID:trvSnYCN(10/12) AAS
数学はつねに未完成（不完全性定理）
外部ﾘﾝｸ[html]:www.h5.dion.ne.jp
不完全性定理 - 哲学的な何か、あと科学とか: 日付不詳
(抜粋)
不完全性定理 1930年頃
一般的に言って、
「数学的に証明された」ことについては、もう議論の余地はない。
どんなに年月が経とうと、決して反論されることもなければ、
科学理論のように、よりすぐれた理論に取って代わられることもない。
主義主張にも善悪にも関係なく、また、どんな嫌なヤツが言ったとしても、
省31
上下前次1-新書関写板覧索設栞歴
あと 211 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.012s