[過去ログ] 「数学」をプログラミングするには (1002レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
291(1): デフォルトの名無しさん [sage] 2024/04/15(月) 02:17:00.24 ID:6hq71KF2(1) AAS
>>290290(1): デフォルトの名無しさん [] 2024/04/15(月) 01:24:44.77 ID:hKAoajYZ(1/3) AAS
>>289
無理数はまさしく真の値は求められないだろ?
それこそスパコンで何兆桁求めたとかニュースになるけど、それでも近似値でしかない。
証明はあくまで存在を保証するだけ。
「コーシー列の極限」が実数なんだから、コーシー列を与えれば真の値になるだろ。
証明は数列が極限を持つことを示せば良く、数を無限に並べる必要は無い。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.039s