X



トップページ数学
1002コメント559KB
   0.99999…は1ではない その20   
■ このスレッドは過去ログ倉庫に格納されています
0001哀れな素人
垢版 |
2021/02/05(金) 08:31:51.68ID:1Jj0JyWN
簡単な証明1
整数や小数は、数字が違うなら、違う数である。
ゆえに0.999…≠1.0=1

簡単な証明2
1と0.999…は対応する位の数字がすべて違うから、違う数である。

簡単な証明3
1=0.999…なら、1-0.999…=0
逆算すると0+0.999…=1 つまり0.999…+0=1
しかし、どんな数に0を足しても変化しないから、0.999…+0=0.999…
ゆえに0.999…≠1

簡単な証明4
小数点以下に9が続くだけなら1にはならない。
なぜなら9に1を足さないと10にはならないから。ゆえに0.999…≠1

簡単な証明5
1÷3は永遠に割り切れない。 ゆえに1/3≠0.333… 。ゆえに0.999…≠1

簡単な証明6
0.999…=0.9+0.09+0.009+…=9/10+9/100+9/1000+…
この無限級数は1に近づくが1にはならない。ゆえに0.999…≠1

もっと深いことが知りたい人は
「相対性理論はペテンである/無限小数は数ではない」参照
0017132人目の素数さん
垢版 |
2021/02/05(金) 11:51:05.06ID:mYWLxS73
Archimedesの公理否定0.999…≠1系支持派のジレンマ

1 1/3 √2 e π
ε=(:最小超限順序数ωの逆数)
1=0.999…+ε=0.999…+0.999…*ε+ε^2=0.999…+0.999…*ε+0.999…*ε^2+ε^3=…
={Σ[k=1,ω-1]0.999…*ε^k}-ε^ω
1/3=0.333…+ε/3=0.333…+0.333…*ε+ε^2/3=0.333…+0.333…*ε+0.333…*ε^2+ε^3/3=…
={Σ[k=1,ω-1]0.333…*ε^k}-ε^ω/3
√2=1.414…+√2*ε=1.414…+1.414…*ε+√2*ε^2=1.414…+1.414…*ε+1.414…*ε^2+√2*ε^3=…
={Σ[k=1,ω-1]1.414…*ε^k}-√2*ε^ω
e=2.718…+e*ε=2.718…+2.718…*ε+e*ε^2=2.718…+2.718…*ε+2.718…*ε^2+e*ε^3=…
={Σ[k=1,ω-1]2.718…*ε^k}-e*ε^ω
π=3.141…+π*ε=3.141…+3.141…*ε+π*ε^2=3.141…+3.141…*ε+3.141…*ε^2+π*ε^3=…
={Σ[k=1,ω-1]3.141…*ε^k}-π*ε^ω

結局 0.999…=1-ε と仮定しても
1=0.999…+ε=0.999…+0.999…*ε+ε^2=0.999…+0.999…*ε+0.999…*ε^2+ε^3=…=Σ[k=0,∞]{0.999…*ε^k}
と続いていくのであり、そもそもを言えば此のε累乗項を含めた総和が 0.999… であり、後続桁標示無き … の指示である。
∴ 此の意味から言っても ε=0 である。

既に 1/∞≠0 と定める党派方針を取ろうとも無駄である事が示され済みの為、此れ以上の深堀りは無意味。
此の意味での ∞ 桁小数はどんなに超実数概念や超現実数概念を多重拡張しようとも最終桁が根源的かつ本質的に無い小数。
いっその事 ∞:=|1/0| としてしまいたい所だが、演算規則が崩れるので、面倒でも逐一逐一の極限操作指定を省けない。
0018132人目の素数さん
垢版 |
2021/02/05(金) 11:51:36.95ID:mYWLxS73
〜 0.999…≠ 1派に向けた儂からの宿題〜

Q. 0.999…≠1派にとっては明らかに1-0.999…≠0である。其処で0.999…≠1派の立場に代わり次の5式を不等号“<”を用いて並べよ。
1-0.999… 1/3-0.333… √2-1.414… π-3.141… e-2.718た…

ちなみに未だ正解者無し。何故 0.999…≠1 派は 0.999…≠1 派の癖 0.999…=1 派の儂より 0.999…≠1 条件計算が下手か?
其れは彼等が 0.999…≠1 の理念について、出鱈目で、第一印象主義で、高括り的で、決め付けがましく、
何よりも真剣味が足りぬ為である。
0019132人目の素数さん
垢版 |
2021/02/05(金) 11:54:22.01ID:mYWLxS73
a[n] := 1/2+1/4+1/8+…+1/2^n = 1 - 1/2^n とおく

「 a[∞] = 1/2+1/4+1/8+… < 1 」と仮定する…@

すると 0 < 1 - a[∞] より、ある固定された自然数Nが存在し

0 < 1/2^N < 1 - a[∞] となる
従って a[∞] < 1 - 1/2^N = a[N]となり
a[∞] < a[N]
となる

よって 1/2+1/4+1/8+… < 1/2+1/4+1/8+…+1/2^N
となり矛盾

よって仮定@「 1/2+1/4+1/8+… < 1 」は誤りである事が判り 1/2+1/4+1/8+… = 1 となる
0020132人目の素数さん
垢版 |
2021/02/05(金) 11:57:33.45ID:mYWLxS73
安達翁、2スレ前にて悟性(経験知性)を捨てきって理性(推論知性)に腐心し暴走している様を露呈
_________________________________________
730:哀れな素人 2020/12/29(火) 08:37:43.61 ID:e8UZ5ZY6
> 723
お前もしつこいな(笑

0+0.5は0.5であって1/2ではないのである(笑
分るか?(笑

0.5は1/2だから、0+0.5=0.5=1/2と書いてもいいが、
いきなり0+0.5=1/2と書くのは、ある意味、間違いである(笑

われわれは、0.5=1/2は万人が認めている真理だから、
頭の中で、まず0+0.5=0.5と計算して、
そのあとで、答えの0.5を1/2に換算しているのである(笑
分るか?(笑

0.999…の場合も同じである(笑
われわれは、まず0+0.999…=0.999…と計算して、
そのあとで、答えの0.999…を1に換算するのだが、
0.999…=1は万人が認めている真理ではない(笑
だから0+0.999…=0.999…=1とは言えないのである(笑
分るか?(笑

簡単な証明2は、0.999…=1と仮定すると、
0+0.999…=0.999…=1となってしまい、それは結局、
0+0.999…=1となるのと同じだから間違いだ、という証明である(笑
0+0.999…はあくまでも0.999…なのである(笑
分るか?(笑
 ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
0021132人目の素数さん
垢版 |
2021/02/05(金) 11:59:42.94ID:mYWLxS73
愚かなりし安達翁、相変わらず悟性を捨て切った儘で居る。しかし安達翁の見識とは裏腹に、人の知識は進化止揚する。
三段論法 A=B & B=C ⇔ A=C が言える事が『確認されて以降は、人は論議をA=Cから始める事が可能』。
故に 0+1=1 & 1=1.0 ⇔ 0+1=1.0 を確認して以降の人間は議論を 0+1=1.0 から議論を始める事が出来る。
其れが、悟性<英:understanding 独:Verstand>である。
理性<英:reason 独:Vernunft>を推論知性とすれば、悟性は経験知性。
経験知性に推論知性を積み重ねて知性の止揚点を高めていく事が、終わり無き学問道。
カントが1階知性を感性、2階知性を悟性、3階知性を理性とする説を挙げとったが、
如何に高名な学者でも、感性と悟性を欠落した理性では、世間知らず且つ非現実で尚且つ的外れな世迷い言を言い出す。

安達翁、哀れ也!悟性を欠いた理性の暴走で『0+1=1であって1.0ではない(笑』と言い出す!

こうして、安達翁は悟性を破棄し尽くした理性を振り翳しとる事を、自ら曝してしまった。
況してや悟性を失して 0.999… と 1 の差を語る事は能わず、語れば野次しか返せなかったりノーコメントを貫くのみ、哀れ。
0022132人目の素数さん
垢版 |
2021/02/05(金) 12:32:29.35ID:mYWLxS73
食肉加工される人
http://img.erogazopple.com/wp-content/uploads/2018/04/14-6.gif

串焼きされる人
http://img.erogazopple.com/wp-content/uploads/2018/04/18-3.gif
http://img.erogazopple.com/wp-content/uploads/2018/04/7-4.gif
http://img.erogazopple.com/wp-content/uploads/2018/04/10-3.gif
http://img.erogazopple.com/wp-content/uploads/2018/04/24-4.gif
http://img.erogazopple.com/wp-content/uploads/2018/04/9-4.gif
http://img.erogazopple.com/wp-content/uploads/2018/04/0-7.gif
00230.99999…は1である
垢版 |
2021/02/05(金) 14:12:23.60ID:Z6vXAk9R
>>20
>頭の中で、まず0+0.5=0.5と計算して、
>そのあとで、答えの0.5を1/2に換算しているのである

いやw

頭の中で、0.5×2=1、1/2×2=1と計算して
0.5×2=1/2×2から両辺の×2を取っ払って
0.5=1/2と推論しているのである

そんな初歩的な推論もわからんか 耄碌爺w
00240.99999…は1である
垢版 |
2021/02/05(金) 14:17:45.48ID:Z6vXAk9R
>>20
>われわれは、まず0+0.999…=0.999…と計算して、
>そのあとで、答えの0.999…を1に換算するのだが、

いやw

貴様以外の人類は、1-0.999…=0.000…で
左辺中の0.999…の小数点以下のどの桁も9であるから
右辺の小数の小数点以下のどの桁も0にしかなり得ない
と理解した上で、右辺が0であると認識したから
-0.999…を右辺に移項して1=0.999…と推論しているのである

そんな初歩的な推論もわからんか 耄碌爺w
0025132人目の素数さん
垢版 |
2021/02/05(金) 14:57:57.03ID:6PiUpIrX
数式が個々人の頭の中の考えに依存するなら、そもそも共通言語の用を成さない
阿呆もここまでくると矯正不能
00260.99999…は1である
垢版 |
2021/02/05(金) 15:04:37.86ID:Z6vXAk9R
>>25
いや、数式以前の問題だよ

共通言語?そんなものがあるとおもってるのか?ナイーブだなw

安達は頑固だから死ぬまで無限を受け入れられないだろう
0027132人目の素数さん
垢版 |
2021/02/05(金) 15:08:54.03ID:6PiUpIrX
共通言語が無いならおまえはどうやって他人と意思疎通するのか?
00280.99999…は1である
垢版 |
2021/02/05(金) 15:16:16.89ID:Z6vXAk9R
そもそも意思疎通は幻想

あなたはわたしではなく、わたしはあなたではない

この言葉につきる
00290.99999…は1である
垢版 |
2021/02/05(金) 15:19:29.93ID:Z6vXAk9R
IUT狂賛君は、日本人なら理屈ぬきにIUT支持すべきと思ってるが
私は日本人とかいう以前に数学を理解したいので、
たかが日本人だとかいうだけでの理屈抜きの支持はありえない

意思疎通は幻想だということがよくわかるだろう
0030132人目の素数さん
垢版 |
2021/02/05(金) 15:34:19.00ID:6PiUpIrX
意思疎通が幻想ならなぜおまえは数学板にいるのか?
00310.99999…は1である
垢版 |
2021/02/05(金) 15:36:10.39ID:Z6vXAk9R
暇だから!(ドヤ顔)

おまえもそうだろ?正直になれよ クソガキw
0032132人目の素数さん
垢版 |
2021/02/05(金) 15:37:08.39ID:6PiUpIrX
意味不明
意思疎通ができないのなら、数学板に来たとて暇であることに変わりはない
00330.99999…は1である
垢版 |
2021/02/05(金) 15:38:50.79ID:Z6vXAk9R
意味明解w
自分の言ったことに対する相手の反応を楽しめばいい

おまえ、もしかしてセックスしたことない童貞?
0034132人目の素数さん
垢版 |
2021/02/05(金) 15:39:39.59ID:6PiUpIrX
おまえの数学知識はすべておまえ独りで発見したものか?
数式の共通言語性を否定するからには、おまえは数学書から学べないはずだ
0035132人目の素数さん
垢版 |
2021/02/05(金) 15:42:27.40ID:Z6vXAk9R
>>34
学習は誤解がつきものだw
おまえ、数学の勉強したことない中卒?
0036132人目の素数さん
垢版 |
2021/02/05(金) 15:44:51.04ID:Z6vXAk9R
>>34
数学理解が共通とか言ってるヤツはセックスしたことない童貞
単純に「同値類」というだけであって、全く同じ元なんて言えない
00370.99999…は1である
垢版 |
2021/02/05(金) 15:47:11.39ID:Z6vXAk9R
例えば一般の線型空間で成り立つ命題について
差異が認められないからといって、
自分と相手がそもそも同じ体で考えてるかどうか
わかったもんではない

自分はナイーブに実数体で考えてたが
相手は複素数体で考えてたかもしれんし
あるいはp進体で考えてたかもしれんw
0038132人目の素数さん
垢版 |
2021/02/05(金) 15:48:20.10ID:6PiUpIrX
誤解は数式が原因か?つまりその数式が修正されていたら誤解を生じ得なかったか?
違うだろ?ならば数式の共通言語性を否定する根拠にならない
00390.99999…は1である
垢版 |
2021/02/05(金) 15:52:31.20ID:Z6vXAk9R
>>38
誤解は数式以前にあるw

つまり数式は共通言語ではない

おまえ数式は共通言語だとおもってたの?

おまえ女とセックスしたことない童貞?
0040132人目の素数さん
垢版 |
2021/02/05(金) 15:54:49.65ID:6PiUpIrX
考えているスカラー空間が明確でなければ一般に命題たり得ない
もし命題たり得るならそれはスカラー空間の違いに依存しない命題なのだから、相手が異なるスカラー空間で考えていても何ら問題無い
0041132人目の素数さん
垢版 |
2021/02/05(金) 15:55:54.62ID:6PiUpIrX
誤解の原因が数式以前にあるのなら、数式の共通言語性を否定する根拠にならない
おまえもしかしてバカ?
0042132人目の素数さん
垢版 |
2021/02/05(金) 15:56:44.97ID:Z6vXAk9R
「0.99999…が小数点以下すべての桁で9となる小数」
という言葉の意味は安達も理解したようだ

しかし、安達は理解した上で
「おまえらのいうすべての桁なんて存在しない
 桁は無限に延長できるから、それらが同時に存在できるわけがない
 そんな小数は存在しない」
といっている 要するに「無限集合」を否定してる

この時点でキリスト教徒と仏教徒のごとく違う
ユダヤ教徒とかイスラム教徒ならともかく
仏教徒をキリスト教徒に改宗させるのは無理
00430.99999…は1である
垢版 |
2021/02/05(金) 15:58:39.35ID:Z6vXAk9R
>>41
誤解の原因が数式以前にあるのだから
数式を用いたところで共通言語になり得ない

おまえこそ白痴だろ?
高校の偏差値いくつだ?40以下だろ?
IQ85以下か?平均ー1σ以下だろ
00440.99999…は1である
垢版 |
2021/02/05(金) 16:00:11.85ID:Z6vXAk9R
>>40
命題=証明可能か反証可能、とおもってる?

おまえ中卒かよwww
00450.99999…は1である
垢版 |
2021/02/05(金) 16:02:52.18ID:Z6vXAk9R
安達が有限主義者だから馬鹿にしてるのではない
安達が有限主義者としても底が浅いから馬鹿にしている
徹底的に有限主義の立場で現代数学を解釈しなおせw
0046132人目の素数さん
垢版 |
2021/02/05(金) 16:03:54.93ID:6PiUpIrX
>要するに「無限集合」を否定してる
だから阿呆爺は数学板に来るべきではないと言っている
自分でサイトでも何でも作って同類たちだけで無限公理の無い数学を好きなだけ語り合えばよい
00470.99999…は1である
垢版 |
2021/02/05(金) 16:06:19.48ID:Z6vXAk9R
>>46
別に無限集合を否定したければすればいい
無限集合を否定しても現代数学の結果と
実質的に同じことができるというなら
それはそれで一つの成果であるから
やってみればいい

まあしかし国文科には無理だろう
馬鹿にしてるのではなく
そもそも実力がないといっている
(実力がないというのは侮蔑でもなんでもない)
0048132人目の素数さん
垢版 |
2021/02/05(金) 16:08:34.14ID:Z6vXAk9R
安達はIUT狂賛野郎に比べれば、はるかに「誠実」である
別に在日朝鮮人だの部落民だのとかいうのは痛くも痒くもない
朝鮮人のほうが日本人よりもはるかに先進的であるし
部落民のほうが貴族なんぞよりはるかに善良であるw
0049132人目の素数さん
垢版 |
2021/02/05(金) 16:11:00.14ID:Z6vXAk9R
IUT狂賛野郎はとにかくウソつきである
理解もできないことを理解したとウソをつくことばかり考えている
実際には大学1年のεδも行列の正則性も理解できない馬鹿だと露見しているのに
いやそもそも集合の∈の意味すら理解してない
これはさすがに酷い こんなバカでも国立大学に受かるんだな
日本の数学教育がいかに劣悪であるかわかろうってもんだw
0050132人目の素数さん
垢版 |
2021/02/05(金) 16:13:23.08ID:Z6vXAk9R
整数の集合と、偶数の集合と奇数の集合を要素とする集合は、全く異なる

しかし、IUT狂賛馬鹿は、{}のつく位置が違うだけであとは同じだとほざく

{}のつく位置こそが重要なんだ、馬鹿w
0051132人目の素数さん
垢版 |
2021/02/05(金) 16:23:20.91ID:6PiUpIrX
>>43
じゃなんでおまえは日本語しゃべってるの?

>>44
妄想乙
命題とはその真偽が人に依存せず定まる主張。
例1「あの犬はかわいい」・・・見る人の主観に左右されるので命題ではない。
例2「ゼータ関数の非自明なゼロ点の実数部は1/2である」・・・反例があれば偽、さもなくば真。人に依存しないので命題である。
例3「空でない集合族の直積は空でない」・・・同じく命題であるが、ZF公理系において証明も反証もできない。
00520.99999…は1である
垢版 |
2021/02/05(金) 16:24:29.25ID:Z6vXAk9R
>>51
>じゃなんでおまえは日本語しゃべってるの?
おまえ、ホントアホだな

高校どこだよ 偏差値いくつ?w
0053132人目の素数さん
垢版 |
2021/02/05(金) 16:29:22.97ID:Z6vXAk9R
>命題とはその真偽が人に依存せず定まる主張。

だろ?それって論理学でいうところの
トートロジーとアンチトートロジー
しかないじゃんw

>例2「ゼータ関数の非自明なゼロ点の実数部は1/2である」
>・・・反例があれば偽、さもなくば真。人に依存しないので命題である。

反例が具体的に構成できれば偽だが、
そうでなければ真、というなら貴様は甘いw
モデルに依存する場合、あるモデルでは真だが
別のモデルでは反例があるということになる
これは「どのモデルでも存在する反例」とは異なる
つまり貴様のいう意味での命題でない可能性がある

>例3「空でない集合族の直積は空でない」
>・・・同じく命題であるが、ZF公理系において証明も反証もできない。

いや、ZF公理系では命題ではないな
つまりあるモデルでは真だが、別のモデルでは偽となるから
おまえさ、アタマわるいだろw
0054132人目の素数さん
垢版 |
2021/02/05(金) 16:33:15.15ID:Z6vXAk9R
「無限集合が存在する」というのは
ID:Z6vXAk9Rのいう
「その真偽が人に依存せず定まる主張」
という基準に照らせば命題でない

無限公理を除いた集合論では
上記は真偽が定まらない
無限集合が存在する集合論のモデルも
存在しない集合論のモデルもあるから
0055132人目の素数さん
垢版 |
2021/02/05(金) 16:34:36.81ID:Z6vXAk9R
もちろん「無限公理を前提すれば」とつければ命題になる

で、「無限公理は偽だ」というなら、それを証明する必要があるが
まあ、もしそうだとしても、安達には無理だろうw
0056132人目の素数さん
垢版 |
2021/02/05(金) 16:36:17.66ID:6PiUpIrX
>いや、ZF公理系では命題ではないな
>つまりあるモデルでは真だが、別のモデルでは偽となるから
真となるモデルと偽となるモデル、それぞれの例を挙げてみて
当然だけど、それらの例はZF公理系内なんだよね?
0057132人目の素数さん
垢版 |
2021/02/05(金) 16:37:08.78ID:Z6vXAk9R
ついでにいうと「1の自然対数は0である」は正確ではない
±2πin (n∈N)の任意性があるから

屁理屈?いやいや複素解析や複素幾何ではこれこそが重要だから
0058132人目の素数さん
垢版 |
2021/02/05(金) 16:40:21.79ID:Z6vXAk9R
>>56
フォーシングの本でも読んでくれ
ま、でも中卒で童貞の貴様には無理だろうなw

>当然だけど、それらの例はZF公理系内なんだよね?

おまえZFで、選択公理が証明できると思ってる?w
0059残り1本がキレ「た」儂
垢版 |
2021/02/05(金) 16:41:08.66ID:mYWLxS73
2_0.111…=2_1
p_…111=10_-1
2_0.111…-p_0.111…=0

Who am I?
I'm devil, not a human.

無理せんとこ。儂は慣用を無視し I'm と n't を組合わせ I'mn't と書いて後輩に叱られる大愚人。
0060132人目の素数さん
垢版 |
2021/02/05(金) 16:41:37.65ID:Z6vXAk9R
もしある命題Pが、ある理論で証明も反証もできないならば
Pを真とするモデルもPを偽とするモデルもある

これがゲーデルの完全性定理
0061132人目の素数さん
垢版 |
2021/02/05(金) 16:43:41.59ID:6PiUpIrX
>「無限集合が存在する」というのは
>ID:Z6vXAk9Rのいう
>「その真偽が人に依存せず定まる主張」
>という基準に照らせば命題でない
君は誤解してるね
「無限集合が存在する」は、ZF公理系の他の公理から証明も反証もできない。
しかし「無限集合が存在する」を認めることにすべての人が合意した場合、「無限集合が存在する」は人に依存せず真である。よって「無限集合が存在する」は命題である。
0062132人目の素数さん
垢版 |
2021/02/05(金) 16:44:16.69ID:6PiUpIrX
>>58
はい、逃げたーw
00640.99999…は1である
垢版 |
2021/02/05(金) 16:47:16.98ID:Z6vXAk9R
>「空でない集合族の直積は空でない」

局所的に直積空間で、切断が存在するからといって
全体的にも直積空間で、切断が存在するとはいえない

ホップ束って知ってるか?

S^3はS^2を底空間としS^1をファイバーとするファイバー束だが
S^2×S^1とは異なる 
そして、上記のファイバー束の大域切断は存在しない
0065132人目の素数さん
垢版 |
2021/02/05(金) 16:48:30.81ID:6PiUpIrX
>おまえZFで、選択公理が証明できると思ってる?w

なんでこういう台詞が
>例3「空でない集合族の直積は空でない」・・・同じく命題であるが、ZF公理系において証明も反証もできない。
の後に出て来るかねー
よっぽど頭が悪いか、よっぽどペテン師かのどちらかだね
どちらであるか俺には判断付かんがw
0066132人目の素数さん
垢版 |
2021/02/05(金) 16:50:25.11ID:Z6vXAk9R
>>61
>「無限集合が存在する」を認めることにすべての人が合意した場合

しかし実際は合意しないw
合意しなければならない理由もない
「無限集合が存在しない」集合論もあり得るから

なんなら無限公理の否定を公理にすればいいw

無駄なあがきはよせ 貴様は安達よりはるかに馬鹿w
0067132人目の素数さん
垢版 |
2021/02/05(金) 16:52:15.81ID:6PiUpIrX
>ホップ束って知ってるか?
知らんよ?
で?
0068132人目の素数さん
垢版 |
2021/02/05(金) 16:54:12.84ID:6PiUpIrX
>>66
それは「すべての人」が誤解を生む表現だったな、許せ
「ZF公理系を認める全ての人」という表現の方が良かった
0069132人目の素数さん
垢版 |
2021/02/05(金) 16:54:25.00ID:Z6vXAk9R
>>65
「P「空でない集合族の直積は空でない」
 ZF公理系においてPは証明も反証もできない。」

つまりZF+PもZF+¬Pも無矛盾である、ということ
だからどちらのモデルも存在する

ゲーデルの完全性定理を知っていればわかる
問題はPが本当にZFで証明も反証もできないのかという点
それはフォーシングを勉強してコーエンの証明でも
その後に出てきた別証明でもなんでも読んで
自分で理解してくれってこと・・・できるもんならなwww
0070132人目の素数さん
垢版 |
2021/02/05(金) 16:55:58.81ID:Z6vXAk9R
>>68
いやFは要らん 要するに無限公理があればいい
でも別にそんなもん認めないというのも容認されるw
0072132人目の素数さん
垢版 |
2021/02/05(金) 16:56:44.50ID:6PiUpIrX
ZF公理系を認めるすべての人にとって、「無限集合が存在する」は真である。
だから「無限集合が存在する」は命題である。
理解できた?
0073132人目の素数さん
垢版 |
2021/02/05(金) 16:58:24.76ID:6PiUpIrX
>でも別にそんなもん認めないというのも容認されるw
だーかーらー
容認されることと「無限集合が存在する」が命題であることは独立なんだってw
君頭悪いねー
0074132人目の素数さん
垢版 |
2021/02/05(金) 17:00:24.57ID:Z6vXAk9R
>>67
>>ホップ束って知ってるか?
>知らんよ?

じゃ、知っとけw
面白いぞ
https://en.wikipedia.org/wiki/Hopf_fibration

「切断」も連続性を持たなくていいなら、もちろんとれるw

「空でない集合族の直積が空」を満たすモデルは
直感には反するだろうが、存在するというから
矛盾が導けない、という結論となったはずw
0075132人目の素数さん
垢版 |
2021/02/05(金) 17:02:04.20ID:Z6vXAk9R
>>73
>容認されることと「無限集合が存在する」が命題であることは独立なんだって

いいや 容認されるなら、貴様のいう意味の命題でなくなるw

おまえ、アタマわるいな マジ中卒かよw
最終学歴どこだよ 大学行ってないだろw
0076132人目の素数さん
垢版 |
2021/02/05(金) 17:02:31.96ID:6PiUpIrX
>つまりZF+PもZF+¬Pも無矛盾である、ということ
>だからどちらのモデルも存在する
誰もそれを否定していないんだがw
君妄想症?w
0077132人目の素数さん
垢版 |
2021/02/05(金) 17:03:27.88ID:6PiUpIrX
>いいや 容認されるなら、貴様のいう意味の命題でなくなるw
それは君が「命題」を分かってないだけw
0078132人目の素数さん
垢版 |
2021/02/05(金) 17:04:45.05ID:Z6vXAk9R
>>77
>君が「命題」を分かってないだけw

いや、貴様が自分の言った条件を分かってない
自分の言ったことも分からんとかどんだけ馬鹿なんだ
おまえ高校どこ?偏差値40以下だろw
0079132人目の素数さん
垢版 |
2021/02/05(金) 17:07:15.41ID:6PiUpIrX
1. じゃあ君の命題の定義を示してくれ
2. 公理は命題である・・・Y/N
0081132人目の素数さん
垢版 |
2021/02/05(金) 17:10:33.22ID:Z6vXAk9R
>>79
1 論理式w だから別に恒真とか恒偽でなくてもよいw
2 公理は定理だが? A⇒Aがトートロジーなんだから 知らなかったのか?w
0082132人目の素数さん
垢版 |
2021/02/05(金) 17:11:53.39ID:Z6vXAk9R
利口ぶった馬鹿をからかうっておもしれぇなあwwwwwww
0083132人目の素数さん
垢版 |
2021/02/05(金) 17:15:38.29ID:Z6vXAk9R
だいたい安達が、異なるIDをみな同一人物とか妄想するのが馬鹿

ID:6PiUpIrXな利口ぶった白痴とオレ様を同じだと思うな 馬鹿!
0084132人目の素数さん
垢版 |
2021/02/05(金) 17:24:18.04ID:6PiUpIrX
>1 論理式w だから別に恒真とか恒偽でなくてもよいw
ん?君が命題であることを否定した「無限集合が存在する」も論理式で表現できるが?

>2 公理は定理だが? A⇒Aがトートロジーなんだから 知らなかったのか?w
回答になっていない
0085132人目の素数さん
垢版 |
2021/02/05(金) 17:27:34.41ID:Z6vXAk9R
>>84
1.無限公理w 
  オレのいう意味では命題だが、オマエのいう意味ではそうではない
  つまり無限公理を前提しない場合には、定理ではないからw
2.回答そのものw
  つまり、公理は公理として設定された理論では公理であり定理だが
  そうでない理論では、定理ではない そういうこと
0086132人目の素数さん
垢版 |
2021/02/05(金) 17:34:52.89ID:6PiUpIrX
>オレのいう意味では命題だが
「無限集合が存在する」は論理式ではないが、それはいいの?

>つまり、公理は公理として設定された理論では公理であり定理だが
>そうでない理論では、定理ではない そういうこと
君のいう「定理」は「命題」と同義と思っていいのかな?
「無限集合が存在する」は論理式で表現できるが、命題だったり命題じゃなかったりするってこと?
それ
>1 論理式w だから別に恒真とか恒偽でなくてもよいw
と矛盾してないか?
0087132人目の素数さん
垢版 |
2021/02/05(金) 17:54:44.13ID:Z6vXAk9R
>>86
無限公理の論理式知らんのか?w
https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86

>君のいう「定理」は「命題」と同義と思っていいのかな?

「公理⇒定理」はトートロジー

そして「ある理論の下でPが命題」というのは
「公理⇒P」か「公理⇒¬P」のいずれかが
トートロジーということ 知らんのか?
0088132人目の素数さん
垢版 |
2021/02/05(金) 17:56:33.78ID:Z6vXAk9R
ID:6PiUpIrXはぐだぐだ言い訳せずに
出身高校名と偏差値をかけ
そしたら許してやる
どうせ馬鹿高校なんだろw
0089132人目の素数さん
垢版 |
2021/02/05(金) 17:57:03.36ID:Z6vXAk9R
馬鹿が利口ぶるんじゃねえよwwwwwww
0090132人目の素数さん
垢版 |
2021/02/05(金) 18:04:03.86ID:gmpzCsy/
コロナ流行⇒全員マスクする
この命題の対偶は、
一部の人はマスクしない⇒コロナ収束
スナワチ、一部の人はマスクしない
だけで、コロナ収束ちゃうんです

by 👾の偏差値はモピロン無限大
0091132人目の素数さん
垢版 |
2021/02/05(金) 18:06:55.91ID:6PiUpIrX
>無限公理の論理式知らんのか?w
君、妄想症治した方がいいよ

>「公理⇒定理」はトートロジー
>そして「ある理論の下でPが命題」というのは
>「公理⇒P」か「公理⇒¬P」のいずれかが
>トートロジーということ 知らんのか?
ぐだぐだ言い訳せずに
>つまり、公理は公理として設定された理論では公理であり定理だが
>そうでない理論では、定理ではない そういうこと

>1 論理式w だから別に恒真とか恒偽でなくてもよいw
が矛盾してるのかしてないのか、それだけ答えてくれ
0092132人目の素数さん
垢版 |
2021/02/05(金) 18:09:55.18ID:6PiUpIrX
>>90
命題が偽だから待遇も偽
0093132人目の素数さん
垢版 |
2021/02/05(金) 18:12:52.92ID:mYWLxS73
>>71
儂じゃないが気に入ったんで借用。もしかしたらKmath1107数学王国の住人か常連客かも知れん。
何せ、あの国に出入りしとるとある奴なんかYouTubeに挙がった途端に即刻削除された、IS国に首斬られた日本人の動画を
保存しとった奴も居る。ネクロ動画やグロテスク動画の収集に於いては儂以上の大悪魔も居る言う事じゃ。

ノーコーギーリー
0094132人目の素数さん
垢版 |
2021/02/05(金) 18:14:08.96ID:Z6vXAk9R
>>91
考えれば矛盾してないとわかるよ

考えてごらん 童貞君w
0095132人目の素数さん
垢版 |
2021/02/05(金) 18:15:15.18ID:Z6vXAk9R
>>93
グロ動画を張るヤツを生きたまま1cm厚でスライスしたいw
0096132人目の素数さん
垢版 |
2021/02/05(金) 18:21:42.01ID:6PiUpIrX
「無限集合が存在する」=Pとおく。

>1 論理式w だから別に恒真とか恒偽でなくてもよいw
Pは論理式で表現できるから命題。

>  つまり、公理は公理として設定された理論では公理であり定理だが
PはZF公理系では命題。

>  そうでない理論では、定理ではない そういうこと
PはZFからPを除いた公理系では命題でない。

明らかな矛盾やんw なーにいってんだこの阿呆はw

尚、「命題と定理が同義か?」の質問からは逃げたので、こちらで同義とした。
0097132人目の素数さん
垢版 |
2021/02/05(金) 18:30:12.60ID:mYWLxS73
いつもの単独義警団じゃろID:6PiUpIrXは。どこの安達弘志じゃID:6PiUpIrXを猿石大魔王と断言した莫迦曝す皇恥神は!!

バカテラスオオチカミvsアマテラスオオミカミ
0098132人目の素数さん
垢版 |
2021/02/05(金) 18:33:29.05ID:6PiUpIrX
これが矛盾であることも解らないようじゃ、どんな名門大学出ても、偏差値高くても無意味だぞ?
学歴コンプレックスは今すぐ捨てるが宜しかろう
0099132人目の素数さん
垢版 |
2021/02/05(金) 18:37:32.82ID:mYWLxS73
間違ったバカ“テ”ラスオオチカミじゃのうてバカ“サ”ラスオオチカミ

皇帝 瀬田坊
大神 安達翁
太極 偽院生
0100132人目の素数さん
垢版 |
2021/02/05(金) 19:32:20.38ID:6PiUpIrX
>反例が具体的に構成できれば偽だが、
>そうでなければ真、というなら貴様は甘いw
だいじょうぶw 言ってないw それほどバカじゃないw
0101132人目の素数さん
垢版 |
2021/02/05(金) 19:38:44.05ID:Z6vXAk9R
>>96
ボクのいう命題とキミのいう命題は違うよ

ボク 論理式
キミ トートロジーもしくはアンチトートロジーとなる論理式

ほら全然違うよねwwwwwww

やっぱり偏差値40以下の底辺高卒には論理は全然理解できないかwwwwwww
0102132人目の素数さん
垢版 |
2021/02/05(金) 19:43:00.54ID:6PiUpIrX
じゃあ話を君の言う命題に限定しよう
公理は命題である・・・Y/N?
0103132人目の素数さん
垢版 |
2021/02/05(金) 20:32:40.77ID:6PiUpIrX
>だから別に恒真とか恒偽でなくてもよいw

>だろ?それって論理学でいうところの
>トートロジーとアンチトートロジー
>しかないじゃんw

なんでこういうコメントが付くのか理解不能
いつ誰が恒真だとかトートロジーだとか言った?

無限公理は
 ZF公理系では人によらず真
 無限公理の否定を公理とする公理系では人によらず偽
そういう意味で「人に依らず」と言ってるんだが、こいつは何を勘違いしてるんだろう?
0104132人目の素数さん
垢版 |
2021/02/05(金) 21:19:38.08ID:ZqZM2KUT
“人によらないヒトの知覚”なんて有り得ますか?

どんなヒトの知覚も、その知覚の限界を超えたものごとは知覚できないと思いますが…

人に寄る科学、ヒトの知覚の限界を探究思索するのが形式科学なのでは…
0105132人目の素数さん
垢版 |
2021/02/05(金) 21:25:29.62ID:ZqZM2KUT
そしてそれは例えば、物理学で人が行っているであろうことは、地球人類発祥の文明が滅びても存在しうるような、究極の自然科学の法則の探究であったりして、それが
ヒトの知覚による思索の限界までを探究していることなのでしょう
0106132人目の素数さん
垢版 |
2021/02/05(金) 21:33:53.16ID:ZqZM2KUT
ノイマンが晩年だったかに
そんなオカルトめいたことを言い出してたような…
0107132人目の素数さん
垢版 |
2021/02/05(金) 22:06:03.49ID:ZVa2QpzM
コングさんは形式論理の難しいお話にはついていけないようですね(笑)
0108哀れな素人
垢版 |
2021/02/05(金) 22:25:12.28ID:1Jj0JyWN
前スレからの続き(笑

ID:Z6vXAk9R
このバカがサル石(笑
発狂して連投中(ゲラゲラ

>C'.つまり0.999…は、0.9、0.99、0.999、…のいずれかである
>と💩な誤解してるわけだ
誤解だと思っているドアホ(ゲラゲラ
東京育ちの田舎者(ゲラゲラ

>焼き殺すべきだがなw
>おまえ死にたいのかよ?
>グロ動画を張るヤツを生きたまま1cm厚でスライスしたいw
サル石は調子が乗ってくるとこういう書き込みを連発するようになる(笑
精神病の素地を露呈する(ゲラゲラ

>左辺中の0.999…の小数点以下のどの桁も9であるから
>右辺の小数の小数点以下のどの桁も0にしかなり得ない
正真正銘のバカ(ゲラゲラ
0109哀れな素人
垢版 |
2021/02/05(金) 22:27:45.58ID:1Jj0JyWN
ID:Z6vXAk9R
ID:6PiUpIrX
これはどちらもサル石(笑
あたかも別人のフリをして会話をしている(ゲラゲラ
アホのサル石がよく使う自演の手(ゲラゲラ

>無限と答えたら破綻するからw
正真正銘のバカ(ゲラゲラ

>さすがに東京でも偏差値40以下は少ないねえw
その偏差値40以下のバカがお前(ゲラゲラ
>利口ぶった馬鹿をからかうっておもしれぇなあwwwwwww
その通り(笑
お前をからかうのは面白い(ゲラゲラ
>馬鹿が利口ぶるんじゃねえよwwwwwww
まったくその通り(ゲラゲラ

ID:ZVa2QpzM
これは質問少年(笑
僕は大体夜は10時頃からしか投稿しないことがまだ分ってないのか(笑
僕は一日中このスレを見ているわけではないぞ(笑
今やっとこのスレを読み終えたばかりだ(笑
それに形式論理などには何の関心もない(笑
お前やサル石はアホだからそんな話しかできない(笑
アホだからそういう基礎的な学問しかできない(笑
0110哀れな素人
垢版 |
2021/02/05(金) 22:48:06.87ID:1Jj0JyWN
お前らに形式論理学の知識があって、そんなに利口なら、
なぜ0.999…≠1が理解できないのか(笑

なぜεδ論法の原理さえ分らず、
任意だからどんな巨大な数でもいい、などとバカ丸出しのことを書くのか(笑

ケーキの問題以外はすべての点で、
サル石と質問少年の意見は一致している(笑
あらゆる点でアホさを晒している(笑

形式論理学の知識など全然なくても一般大衆はお前らより賢いのだ(笑
形式論理学の知識など全然なくても文学部の女子学生の方がお前らより賢い(笑
少なくともお前らのように嘲笑と冷笑ばかりしているクズではない(笑
0111哀れな素人
垢版 |
2021/02/05(金) 22:56:30.08ID:1Jj0JyWN
ID:Z6vXAk9R
ID:6PiUpIrX
これはどちらもサル石なのである(笑

ところが反目し合って論争しているから、
誰もがこの二人は別人だと騙されてしまう(笑
そこがサル石の狙いだ(笑

このバカは以前からずっとこういう手を使っていた(笑
エモが騙されるのも無理はない(笑
第四のバカもサル石なのである(笑
0112哀れな素人
垢版 |
2021/02/05(金) 23:00:36.12ID:1Jj0JyWN
とにかく平日の昼間からこのスレに投稿しているのは、
全部サル石の自演だと思って間違いない(笑

バカボンパパやモピロン星人や酔狂の投稿はすぐに判別がつく(笑
質問少年の投稿も、その冷笑と皮肉に満ちたですます体ですぐに見分けが付く(笑
0113132人目の素数さん
垢版 |
2021/02/05(金) 23:01:42.33ID:6PiUpIrX
>お前らに形式論理学の知識があって、そんなに利口なら、
>なぜ0.999…≠1が理解できないのか(笑
0.999…=1だから

>なぜεδ論法の原理さえ分らず、
>任意だからどんな巨大な数でもいい、などとバカ丸出しのことを書くのか(笑
εδ論法の原理とは?
任意ならどんなに大きくてもどんなに小さくても構わない。任意の意味すら分からない阿呆。

>ケーキの問題以外はすべての点で、
>サル石と質問少年の意見は一致している(笑
「ケーキを食べ尽くせる」を「1/2+1/4+1/8+…=1」と定式化した以上、否定するのはおまえと哲学バカくらいだ。
0114哀れな素人
垢版 |
2021/02/05(金) 23:01:59.95ID:1Jj0JyWN
今夜のエッセーはここまで(笑
0115哀れな素人
垢版 |
2021/02/05(金) 23:05:21.51ID:1Jj0JyWN
0.999…=1だから
任意ならどんなに大きくてもどんなに小さくても構わない。
「ケーキを食べ尽くせる」を「1/2+1/4+1/8+…=1」と定式化した以上、否定するのはおまえと哲学バカくらいだ。

↑うんざりするほどの万年バカ(ゲラゲラ
同じことを一万回説明しても理解できないアホである(笑

アホすぎて手に負えない(ゲラゲラ
0116哀れな素人
垢版 |
2021/02/05(金) 23:09:02.42ID:1Jj0JyWN
無限級数の和が極限で定義されているということは、

lim(1/2+1/4+1/8+…)=lということであり、
1/2+1/4+1/8+…≠lということである(笑

サル石というバカはこんな常識さえ知っていないのだ(笑
何でこんなアホが数学板にいるのか(ゲラゲラ
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況