純粋・応用数学・数学隣接分野（含むガロア理論）21 (392ﾚｽ)
純粋・応用数学・数学隣接分野（含むガロア理論）21 http://rio2016.5ch.net/test/read.cgi/math/1753002417/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
245: １３２人目の素数さん [] 2025/08/28(木) 19:35:07.33 ID:BAWOX92w 整数の体系Aの中では正しいとも正しくないとも決定不能なある命題があったとして、 その命題は元の整数の体系を含み実数も含むある体系Bの中では証明が出来るとする。 そのとき元の整数の体系を含んでいる別の体系Cの中では決して反証されないのだろうか？ http://rio2016.5ch.net/test/read.cgi/math/1753002417/245
306: １３２人目の素数さん [] 2025/09/21(日) 10:46:04.33 ID:ldtUFZx9 >>305 ＞dxをいくらでも小さくすることで ＞微分係数やら定積分やらの値を ＞無限小数として、任意の桁の値も確定できる これは実は、コーシー列であることを示すのと同じ √２だろうがπだろうがｅだろうが 結局のところ無限小数として表すというのは 別に全部の桁を一遍に示すわけではなく だんだん下の値まで確定していく列として示す ということである ここで、ナイーブな数のプラトニズムが崩壊する（笑） http://rio2016.5ch.net/test/read.cgi/math/1753002417/306
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.020s