[過去ログ] 「数学」をプログラミングするには (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
299
(1): デフォルトの名無しさん [sage] 2024/04/15(月) 08:51:17.84 ID:KspO/JeI(1/2) AAS
>>298
298(1): デフォルトの名無しさん [] 2024/04/15(月) 08:29:15.90 ID:hKAoajYZ(3/3) AAS
>>296
それについては言い過ぎたと謝罪するけど、それって結局真の値は分からなくても√2って記号に押し込めれば順序比べられるし四則演算出来るってのと変わらない。

>1の求める近似値ではない厳密って何?って話になるが。
当たり前だろ。無理数は有理数じゃないんだから、有理数とは対応しない。

現代の数学は「実数=コーシー列の極限」で構築されているから、コーシー列が分かれば実数そのものとして扱うことができる。
301
(2): デフォルトの名無しさん [sage] 2024/04/15(月) 09:36:29.81 ID:scEUff9F(1/17) AAS
>>299
実数の構成に5つぐらいある、切断とか。それに同値なものを同じものとみなすこともよくやる。
例えば実数は体、順序構造、連続性をもつものとして定義する
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.043s