[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
286(2): デフォルトの名無しさん [] 2024/04/14(日) 22:02:11.90 ID:ZXz6cRZI(2/2) AAS
>>270
270(1): デフォルトの名無しさん [] 2024/04/14(日) 09:53:29.94 ID:7cEDLG0F(2/2) AAS
>>267
>>2
うん…。
まあ、そもそも有限ステップで証明可能な事と、近似値ではない真の値を求めることを混同してる>1
1(16): デフォルトの名無しさん [] 2024/03/16(土) 19:41:45.98 ID:nuwGv9us(1) AAS
たとえば、プログラミングで

π/4 = 1 - 1/3 + 1/5 - 1/7 + ...

を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
が悪いって事やね。
ε-δ論法で証明出来るのはいくらでも精度の高い近似値を求められる（それをもって極限の存在を証明）ってだけやし。
288: デフォルトの名無しさん [] 2024/04/14(日) 22:49:19.66 ID:NsoP3YSl(1) AAS
>>286
お前が馬鹿なだけだよ
他責にすんな
289(1): デフォルトの名無しさん [] 2024/04/14(日) 23:06:54.86 ID:bCnJWLVL(1) AAS
>>286
1/3 = 0.33...は無限につづくから真の値は求められないとか言ってるようなもん

小学生レベル
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.052s