Inter-universal geometryとABC予想(シン応援スレ) 92 (607ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
30(1): 06/13(土)09:10 ID:TTzQJf42(30/46) AAS
つづき
＜厳密だけが、数学ではない＞
＜数学と厳密＞
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
外部ﾘﾝｸ:www.amazon.co.jp
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
「数学的直観と数学の基礎付け 訳者による解説とあとがき」
P314
(抜粋)
省13
532(5): 07/26(日)15:34 ID:jgtmOrU+(5/12) AAS
>>531
>証明論に限らず数学の形式化が進んでるから
>昔みたいなことはもう起きないよ
たぶん 違うんじゃ無いかな
１）まず、下記の 渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
２）さらには、形式化の限界
これは、下記ゲーデル不完全性定理の話（下記）
”証明できない真実: 第一不完全性定理により、内容としては正しい（真である）にもかかわらず、その体系の中のルール（公理）だけでは「正しい」と証明できない命題が必ず存在することが示されました”
要するに、数学とは IUTのLean形式化の失敗をのり超えて 進んでいくものだと思う
省31
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.792s*