ツイッタラ「√2は存在するのか？存在するなら値はどうやって求めるんだよ」 (38ﾚｽ)
上下前次1-新
1(2): 06/06(金)16:25 ID:+HDZ1+bK(1) AAS
地獄絵図
2: 06/06(金)16:26 ID:WsTwj7I3(1) AAS
外部ﾘﾝｸ:x.com
3: 06/06(金)16:26 ID:5qmYmR+e(1) AAS
働け
4: 06/06(金)16:30 ID:ldAdTTQd(1) AAS
Z/7Zには存在する
5: poem 06/06(金)17:13 ID:gTVIpQz1(1/18) AAS
スレタイはこう言い換えた方がわかりやすい
コピー用紙は長辺の中点で1/2に切っても縦横比変わらないと言うけどそんな解なんて存在するのか
6: poem 06/06(金)17:15 ID:gTVIpQz1(2/18) AAS
円の接点なんて無い、接しないか二点で交叉するかのどちらか
と同質な質問
7: poem 06/06(金)17:22 ID:gTVIpQz1(3/18) AAS
難問
円の接点として
0.999…と
1と
1.000…の
解の差異
差異ないみたいだけど
差異ないをどう文章で説明するのか
文系の疑問点
8: poem 06/06(金)17:24 ID:gTVIpQz1(4/18) AAS
0.999…と
1と
1.000…の
解の差異の説明は
数式や証明の数学系説明しかない
文系説明がない
9: poem 06/06(金)17:27 ID:gTVIpQz1(5/18) AAS
つまり
√2やπの解の実在性は
数式では皆説明できるじゃん
文系説明ではまだ√2の実在説明は容易いかもしれない
0.999…と1と1.000…は文系説明がまだない
10: poem 06/06(金)17:29 ID:gTVIpQz1(6/18) AAS
1の解が接点なら
0.999…なら接してない
1.000…なら二点交叉
しかし
数式ではイコール
今したイコールでないならばの文系説明は今したので完了完璧だ
イコールなら難問
11: poem 06/06(金)17:31 ID:gTVIpQz1(7/18) AAS
√2よりπのが簡単だが
完全曲線正円がπ
無限直線正角がπとズレる
12: poem 06/06(金)17:33 ID:gTVIpQz1(8/18) AAS
πの方も
イコールでないなら
文系説明は
πからズレるはずだ
で文系説明が完了完璧
しかし
イコールなら難問
と
13: poem 06/06(金)17:35 ID:gTVIpQz1(9/18) AAS
そうだな演繹因果、文系説明の演繹因果はこうだ
Aズレるなら→Bイコールでない
これが誤りだという他方は
Aイコールだから→Bズレてない
という演繹因果
14: poem 06/06(金)17:36 ID:gTVIpQz1(10/18) AAS
前者と後者の差異を突き止めなければならない
15: poem 06/06(金)17:37 ID:gTVIpQz1(11/18) AAS
イコールかイコールでないか…数式で説明可能で既に普及
ズレてるかズレてないか…数式で説明不可能で文系説明まだ無い
16: poem 06/06(金)17:39 ID:gTVIpQz1(12/18) AAS
どうやったら
0.999…と
1と
1.000…を
ズレてないと文系説明できるのか
17(1): 06/06(金)17:43 ID:IafuK0N2(1/2) AAS
>>1
>√2は存在するのか？
単位正方形の存在を認めるならその対角線の長さである√2の存在も認めないとダブスタ
>存在するなら値はどうやって求めるんだよ
「値」が10進小数のことを指してるなら電卓か何かで求めれば良い
どうせすべての桁は求まらないので望まない方が良い
18: poem 06/06(金)17:43 ID:gTVIpQz1(13/18) AAS
物理では空間の最小単位としてプランク空間がある
離散空間であり
連続空間でない
連続空間なら空間の最小単位はない
0次元の点に連続空間なら容積がない
しかし
0.999…
1.000…
がズレてるなら
0.999…〜1.000…の容積が
0次元の点に実在してしまう
なら
イコールでないんじゃないかと思うのが普通の文系感覚
しかし
イコールでズレがなく容積がない
何故ズレがないことになるのか
19: poem 06/06(金)17:44 ID:gTVIpQz1(14/18) AAS
>>17
確かにダブスタだな
20: 06/06(金)17:50 ID:OLvmtQDR(1) AAS
>>1
「デデキントの切断」で検索
そこにすべての答えがある
それ以外の議論はすべて無意味
21: poem 06/06(金)17:53 ID:gTVIpQz1(15/18) AAS
デデキント切断の理論は
「何故デデキント切断で断定していいかの原理は解明されてない」
22: poem 06/06(金)17:55 ID:gTVIpQz1(16/18) AAS
つまり
「デデキント切断で断定していいかどうか、原理の部分には反証可能性がある。デデキント切断を断定した上の議論にはデデキント切断の上では反証可能性はない」
23: poem 06/06(金)17:57 ID:gTVIpQz1(17/18) AAS
デデキント切断で断定していいかどうか反証可能性がある
↓
ズレてない文系説明が、原理の点にも反証可能性がなく断定なら、文系説明があるはずで
文系説明がまだない時点で、デデキント切断の原理は実在してない、現在の学問には
24: poem 06/06(金)17:59 ID:gTVIpQz1(18/18) AAS
数式でイコールであることは説明できる=デデキント切断の上の話
ズレてない説明は=デデキント切断の下の話で文系
25: 06/06(金)18:25 ID:j/9LmmtE(1) AAS
3, 4∈Z/7Z
10, 39∈Z/49Z
...
26: 06/06(金)19:40 ID:yeLV69mD(1) AAS
なんかもとをたどると掛け算の順序問題らしい
27(1): 06/06(金)22:03 ID:5l9oiaIB(1) AAS
そもそも自然数って存在すんの？
28: 06/06(金)22:27 ID:IafuK0N2(2/2) AAS
ZF上には存在する
29: 06/07(土)00:01 ID:gm3rSOlU(1) AAS
>>27
頭の中にあるとかないとか
30: poem 06/07(土)11:48 ID:Kd4kmXx3(1) AAS
無理数も天然に存在するというギャグ
abc予想とかは天然には存在してないとか
31: 06/08(日)10:52 ID:55MOWonV(1) AAS
またKono Shinjiですか
あの人、fj時代から全然変わんないな
ひろゆきもそうだけど「存在」とか言い出すのは頭悪い
実際にやってることは
1.4<√2<1.5
1.41<√2<1.42
…
の繰り返しだろ
有限小数しか存在しないとキチれば存在しないが
有限小数の切断とか言い出せば存在するといえる
存在とは認識の別称なんだな
32: 06/09(月)13:52 ID:zQY/ymUZ(1) AAS
表示の存在の区別がつかないのウケる
33: 06/10(火)01:16 ID:5q3+jD5q(1) AAS
河野さんも教授そろそろ定年
34(2): 06/25(水)00:56 ID:EQ5zVOcK(1/4) AAS
f(x)＝x^2−2 と置くと、f はR上の連続関数であり、
f(0)＝−2 かつ f(2)＝2 すなわち f(0)＜0＜f(2) なので、
連続関数に対する中間値の定理から、f(α)＝0 を満たす
実数αが 0＜α＜2 の範囲に存在する。このαは α^2−2＝0 を満たす。
すなわち、αは「2乗すると2になる正の実数」である。
35(3): 06/25(水)21:14 ID:IxVX3Njn(1) AAS
>>34
元として√2を含むRの存在を前提にしてよいの？
36: 06/25(水)21:53 ID:EQ5zVOcK(2/4) AAS
>>35
デデキント完備な順序体を前提にすればよい。
Rはデデキント完備な順序体の一例である。
そのようなRに対して、連続関数に対する中間値の定理が成立し、
よって>>34の議論が適用できて、「2乗すると2になる正の実数」が
Rの中に存在することが判明する。
37: 06/25(水)21:56 ID:EQ5zVOcK(3/4) AAS
従って、>35の問いは
「デデキント完備な順序体の存在性を前提にしてよいのか？」
という問いに還元される。この問いについては、ZFC集合論を前提にすればよい。
ZFC集合論を前提にすれば、その中でデデキント完備な順序体が実際に構成できる。
38: 06/25(水)22:00 ID:EQ5zVOcK(4/4) AAS
従って、>>35の問いは
「ZFC集合論を前提にしてよいのか？」
という問いに還元される。この問いに関しては、
現代数学が実際にZFC集合論を前提にして展開されているので、
「ZFC集合論を前提にしてよい」
と言える。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.478s*