[過去ログ] IUTを読むための用語集資料集スレ (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
367(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/06(木)16:38 ID:Jwpd0UuY(2/4) AAS
>>365
おっさん、すれ違いだよ
A.スタンダードR 0.999…≠1
B.ノンスタ(超準) テレンス・タオ 「"0.999…" は 1 に「無限に近い」
” 外部リンク:ja.wikipedia.org
0.999... テレンス・タオ "0.999…" は 1 に「無限に近い」。
イアン・スチュアートはこの解釈を、「0.999… は 1 よりも『ほんの少しだけ小さい』」という直観を厳密に正当化する「全く合理的な」方法として特徴づけた[23]。”
省2
368(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/06(木)16:41 ID:Jwpd0UuY(3/4) AAS
>>367 補足
>現代数学では、A or Bではなく、”A かつ B”ってこと。だれが認めるとか認めないとか、そんなことは些末なことよ
A派とB派に分かれて
どちらが正しいかを
延々何か月も議論する
それがバカげた論争だってことよ
おっさん、すれ違いだよ
371: 2020/08/06(木)17:38 ID:p8tlE6PY(1) AAS
>>367
外部リンク[pdf]:www.math.ucla.edu
p.6
> Thus by default, the word "or" in mathematical logic defaults to inclusive or.
372: 粋蕎 ◆C2UdlLHDRI 2020/08/06(木)18:05 ID:JURrboNy(3/3) AAS
>>367
超実数ベース離散数系は超実数とは呼ばんぞ。
>>368
実数ベース離散数系も実数とは呼ばん。
模造刀は刀剣にして刃物に非ず。
0.999…;…999000…は標準部0.999…の集合の下限にして0.999…に非ず。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.035s