[過去ログ]
0.99999……は1ではない (1002レス)
0.99999……は1ではない http://rio2016.5ch.net/test/read.cgi/math/1568381077/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
913: 132人目の素数さん [] 2019/10/08(火) 23:56:22.89 ID:9PlZmJ52 >>910 数理論理学というのをご存知でしょうか ヒルベルトが作った数学を対象とする数学の一部門ですね ヒルベルトによると、数学というのは公理から推論規則を通して得られる定理を導出していく作業です 形式主義によれば、数学の主人公は意味を持たない論理式という”記号”です つまり、正しいか正しくないかというものではないわけですよ 数理論理学では、式変形によりえられる記号列と、意味とを分離します つまり、あなたが公理が正しい正しくない云々いうのはナンセンスなわけです 公理系のモデルにとっては、公理は正しい、そうでないなら正しくないかもしれません まあ、安達さんにはわからないと思いますけどね 不完全性定理云々ほざくなら是非とも理解していただきたいものですけど http://rio2016.5ch.net/test/read.cgi/math/1568381077/913
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 89 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.021s