実数は実在するのか
1132人目の素数さん
2026/10/11(日) 00:22:16.58ID:v21ywj3m 存在しないんじゃないか
2132人目の素数さん
2026/10/11(日) 09:36:26.00ID:7r7rGA10 仮に離散的だったとして連続で考えたほうが楽だろ
2026/10/11(日) 09:42:21.30ID:MV6vj0iv
>>1
実在・存在の定義は?
実在・存在の定義は?
4132人目の素数さん
2026/10/11(日) 09:44:26.02ID:pW6SXnam 1,2,3...は実数だが存在しないんだ
2026/10/11(日) 09:56:44.32ID:MV6vj0iv
モデルが存在することを実在すると云うのであれば実在する。
有理コーシー列全体の集合X上の二項関係〜を a〜b⇔lim[n→∞](a-b)=0 で定義したとき〜は同値関係であり、X/〜上の加法・乗法・順序・極限を適当に定義すれば実数のモデルとなる。
実数は二階理論なのでそのモデルは範疇的。つまり同型の違いを除いて唯一。
有理コーシー列全体の集合X上の二項関係〜を a〜b⇔lim[n→∞](a-b)=0 で定義したとき〜は同値関係であり、X/〜上の加法・乗法・順序・極限を適当に定義すれば実数のモデルとなる。
実数は二階理論なのでそのモデルは範疇的。つまり同型の違いを除いて唯一。
2026/10/11(日) 12:50:45.75ID:3Z8eysSV
00:22:16.58
7132人目の素数さん
2026/10/11(日) 13:13:09.10ID:xfCfJQvb >>5
これは明らかに非直感的
これは明らかに非直感的
2026/10/11(日) 13:27:17.38ID:MV6vj0iv
直観的か否かは主観
9132人目の素数さん
2026/10/11(日) 13:28:34.50ID:cA8HzwW6 有理数解析学
2026/10/11(日) 15:41:05.12ID:50TJGshc
1/3は実在するのか、また√2は?
11132人目の素数さん
2026/10/11(日) 16:14:53.39ID:MV6vj0iv 10進数の1/3=3進数の0.1
√2は単位正方形の対角線の長さ
√2は単位正方形の対角線の長さ
2026/10/11(日) 16:56:24.11ID:50TJGshc
実在するのかと聞いてるんだよ、アホ
2026/10/11(日) 16:57:41.61ID:MV6vj0iv
聞かなきゃわからないアホがなんか言っとる
14132人目の素数さん
2026/10/11(日) 17:03:03.43ID:aTzyQo0v 数学的見解は分からんが実生活では存在しているよな。
蕎麦食った後の勘定の時にそんな数字ありませんとか言い訳は通らないし。
蕎麦食った後の勘定の時にそんな数字ありませんとか言い訳は通らないし。
2026/10/11(日) 17:15:01.49ID:50TJGshc
馬鹿には馬鹿と言っても分からない
16132人目の素数さん
2026/10/11(日) 17:16:52.54ID:NVCvLKfm 長さや重さや時間は連続量なのか
17132人目の素数さん
2026/10/11(日) 17:18:53.16ID:MV6vj0iv >>15
じゃおまえには分からんな 残念!
じゃおまえには分からんな 残念!
18132人目の素数さん
2026/10/11(日) 17:27:50.11ID:/BVfs7Yu エネルギーは飛び飛びの値を取る
距離や運動量はこの範囲にある確率がいくつかしか分からない
距離や運動量はこの範囲にある確率がいくつかしか分からない
2026/10/11(日) 17:34:14.13ID:50TJGshc
20132人目の素数さん
2026/10/11(日) 17:41:00.55ID:MV6vj0iv アホは一生アホのまま 残念!
21132人目の素数さん
2026/10/11(日) 17:41:38.90ID:MV6vj0iv なんでアホのくせに数学板に来るんだろう
それが最大の謎
それが最大の謎
22132人目の素数さん
2026/10/11(日) 17:43:48.41ID:MV6vj0iv アホはおとなしく特殊学級に通ってなさい
間違っても数学板に来てはダメ
間違っても数学板に来てはダメ
2026/10/11(日) 18:01:34.87ID:50TJGshc
効いてるな
24132人目の素数さん
2026/10/11(日) 18:31:07.76ID:MV6vj0iv それしか言えんアホ
25132人目の素数さん
2026/10/11(日) 18:38:12.70ID:MV6vj0iv >1/3は実在するのか、また√2は?
↑
これがアホでなくて何がアホ?
↑
これがアホでなくて何がアホ?
26132人目の素数さん
2026/10/11(日) 19:25:38.39ID:cd05LUUa 微細構造定数などの単位系によらない物理定数が無理数であることが示せれば
2026/10/11(日) 20:31:19.11ID:50TJGshc
長さ1mというのは測定誤差の範囲内で1mといことだよ、アホ
2026/10/11(日) 21:12:47.98ID:MV6vj0iv
うわっ これは酷い
29132人目の素数さん
2026/10/11(日) 22:33:32.59ID:A4OsSoIS 数学の実力不足が露呈しないどうでもいい話題ほどID真っ赤にするんだね
30132人目の素数さん
2026/10/11(日) 22:36:29.13ID:XmNCNClq 真空中の光速を1として、ほかの物理定数は全部代数的数なのか
31132人目の素数さん
2026/10/11(日) 22:41:08.20ID:KMInSi8H 陽子と電子の質量比
32132人目の素数さん
2026/10/11(日) 22:42:07.03ID:yUSOqnyS 実数のなかにランダムで値をとるなら、有理数や代数的数である確率は0
2026/10/11(日) 23:42:59.76ID:MV6vj0iv
実数全体上の一様分布は存在しない
34132人目の素数さん
2026/10/12(月) 12:13:40.32ID:JsVnFLh3 1/137のコンパクト近傍を取ってそこで考えればいい
2026/10/12(月) 12:48:15.15ID:oz8sUBLs
糞スレ主歓喜
36132人目の素数さん
2026/10/12(月) 13:05:40.42ID:si23NOdD 有理数列の完備化として仮想されたものだから、一般には有限の操作ではたどり着けない存在だ。
そのような本来は可算無限回の操作を、1ステップとして受け入れることで造り出された数の体系が実数だ。
そのような本来は可算無限回の操作を、1ステップとして受け入れることで造り出された数の体系が実数だ。
2026/10/12(月) 14:09:37.75ID:LxDK11Sw
非有限回のステップとは具体的にどのステップ?
38132人目の素数さん
2026/10/12(月) 18:14:31.97ID:YgRJmC43 長さなんてものが本当に存在するのか
39132人目の素数さん
2026/10/12(月) 19:07:24.40ID:mCr0hukA 仮想空間で生きているのであれば長さは必要無いが、実空間に生きている我々には必要だな。
2026/10/12(月) 19:25:47.95ID:LxDK11Sw
我々が実空間に生きてることを証明せよ
41132人目の素数さん
2026/10/12(月) 21:42:11.19ID:vlr/l6cb 実世界は目がつまっているのか
42132人目の素数さん
2026/10/13(火) 04:28:44.30ID:YiuNdTai 目が詰まっているのは仮想空間
43132人目の素数さん
2026/10/13(火) 14:40:41.23ID:JO8f0ruU 数学者が「在れ」
といえば存在する
といえば存在する
44132人目の素数さん
2026/10/13(火) 16:48:43.67ID:2+qpxBIy それはそう見ているだけ
神は人間の下位互換
神は人間の下位互換
45132人目の素数さん
2026/10/13(火) 22:01:53.82ID:x7ZFFFtK もともと自然数だけがあった。そこから零と符号を加えて整数が生み出された。
また自然数の比の概念から有理数が生み出された。それも零と符号を与えた。
有理数の単調で有界な数列には極限が存在することにして、人為的に実数が生み出された。
実数の二乗は必ず非負の数になるので、負の実数の平方根は存在しないが、
仮想的に負の実数の平方根を考えるために、特に−1の平方根を虚数単位iとするとき、
負の実数の平方根はiの実数倍で表現できる。こうして複素数を作りだした。
複素数を係数とする代数方程式は必ず複素数の範囲で解を持つ。
このようにして数の拡張を行って来た。自然数は自然なものだが、
後は人工的なものである。
また自然数の比の概念から有理数が生み出された。それも零と符号を与えた。
有理数の単調で有界な数列には極限が存在することにして、人為的に実数が生み出された。
実数の二乗は必ず非負の数になるので、負の実数の平方根は存在しないが、
仮想的に負の実数の平方根を考えるために、特に−1の平方根を虚数単位iとするとき、
負の実数の平方根はiの実数倍で表現できる。こうして複素数を作りだした。
複素数を係数とする代数方程式は必ず複素数の範囲で解を持つ。
このようにして数の拡張を行って来た。自然数は自然なものだが、
後は人工的なものである。
46132人目の素数さん
2026/10/14(水) 15:11:57.52ID:i6euLWHD 数は全て観念上の存在だから、実在すると言えば実在する。
複素数も同じ要領で実在する。
というか、まぁ良いじゃんそういうの。
複素数も同じ要領で実在する。
というか、まぁ良いじゃんそういうの。
47132人目の素数さん
2026/10/14(水) 22:55:19.50ID:PlP2V5zj スルーが一番
48132人目の素数さん
2026/10/15(木) 16:06:05.75ID:HqhlbPkH 実数はあなたの心の中にある。
2026/10/15(木) 21:02:23.71ID:wB8EhFmJ
一意かつ無矛盾に定まっているから概念として正当ではある
概念だから実在はしない
概念だから実在はしない
50132人目の素数さん
2026/10/17(土) 14:15:52.37ID:oxXHvNDB Aさんの心の中に浮かんでいる赤色とBさんの心の中に浮かんでいる赤色が同じかどうかはどうでもよくて、
その赤色が持つ他との関係性や性質が同じであれば、両者の赤色は同じであると見なす。
Aさんの頭の中にある実数と、Bさんの頭の中にある実数のイメージが違っていたとしても、
実数の公理を満たすことが共通の理解としてあるならば、論理で導かれる命題の結果は
両者で一致するだろう。ただしこのことは、Aさんの想定する実数がBさんの想定する実数
とは定義や採用する公理が違う場合にまでをも、そうであることを意味しない。
その赤色が持つ他との関係性や性質が同じであれば、両者の赤色は同じであると見なす。
Aさんの頭の中にある実数と、Bさんの頭の中にある実数のイメージが違っていたとしても、
実数の公理を満たすことが共通の理解としてあるならば、論理で導かれる命題の結果は
両者で一致するだろう。ただしこのことは、Aさんの想定する実数がBさんの想定する実数
とは定義や採用する公理が違う場合にまでをも、そうであることを意味しない。
2026/10/17(土) 17:42:56.09ID:YWrHM6py
クオリアの問題がある
で伝わります
で伝わります
レスを投稿する
ニュース
- 【料理】おでんにウインナーは邪道? 「美味しい」「出汁の味が変わる」「全部ウインナー風味」 [ひぃぃ★]
- 【クマ】秦野市でツキノワグマが再出没…捕獲・放獣されたクマと同一個体と確認 [少考さん★]
- あぼーん
- 不正アクセス受けたGMO、政府に「能動的サイバー防御」の適用を緊急要請 ★2 [おっさん友の会★]
- 【大阪IR】カジノディーラー3千人確保へ養成スクール 海外プロ年収1千万円超も国内は… [煮卵★]
- あぼーん
- 【悲報】新卒内定人数減り始める。過半の23業種で減少、大卒文系は5年ぶりマイナス [256556981]
- エッチなソシャゲ、PHP長期メンテナンスのお詫びにヒロインの陰毛プレゼントキャンペーンを開始 [253839187]
- 【無敵の布陣】内閣府デジタル庁・内閣官房サイバー統括室・総務省サイバーセキュリティ統括官室・経産省ホワイトハッカーチーム [237216734]
- WHO「塩分は1日5g未満にしろ」👈いやこれ無理だろ [769931615]
- 給食のおかず持参を指示された小学生、家から冷やし中華を持参するも、担任に「それは主食だ」と注意され、食べずに持ち帰らされる [594040874]
- さたでぇ・ないと・ふぃーばー⭐(・o・🍬)🏰