0.99999…は1ではない その20
■ このスレッドは過去ログ倉庫に格納されています
簡単な証明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 もっと深いことが知りたい人は 「相対性理論はペテンである/無限小数は数ではない」参照 単純な誤解1 「整数や小数は、数字が違うなら、違う数である。」 実は数字が違っても同じとなる数がある 単純な誤解2 「1と0.999…は対応する位の数字がすべて違うから、違う数である。」 実は小数点以下の数字がすべて違っても同じとなる数がある 単純な誤解3 「どんな数に0を足しても変化しない」 実は変化してもよい 単純な誤解4 「9に1を足さないと10にはならないから 小数点以下に9が続くだけなら1にはならない。」 小数点以下が9が続いて、最後の9がなければ 最後の9に足すべき1が存在しない つまり、何も足さなくても1となる 単純な誤解5 「1÷3は永遠に割り切れないゆえに1/3≠0.333…」 割り切れないから延々と3が続く 単純な誤解6 「0.999…=0.9+0.09+0.009+…=9/10+9/100+9/1000+… この無限級数は1に近づくが1にはならない。ゆえに0.999…≠1」 近づかない そもそも1であるから ID:Z6vXAk9R このバカがサル石(笑 正真正銘のアホである(笑 2chの数学板最大のバカだ(笑 >>3 「サル石」じゃなくHN「0.99999…は1である」で呼べ それから私は1日1IDしか使わないから 他のいかなるIDも私と同一視するな 馬鹿 サル石は少なくとも三つのIDを使ってなりすまし投稿をする馬鹿である(笑 知っている人は知っている2chの常識(笑 アホだからありとあらゆる手を使って自演しているバカである(笑 >>6 その3つのIDはみな別人だろう すくなくとも今日のID:Z6vXAk9R以外のIDは俺とは別人だ 覚えとけ 馬鹿 ↑と誤魔化すバカ(ゲラゲラ サル石は少なくとも三つのIDを使ってなりすまし投稿をする馬鹿である(笑 知っている人は知っている2chの常識(笑 アホだからありとあらゆる手を使って自演しているバカである(笑 80歳を過ぎている在日の阿呆爺いだ(笑 若い頃は実際に精神病だったキチガイである(笑 何年間も2chに貼り付いて狂犬のように相手に噛み付きまくっている噛み付き魔だ(笑 これも2chの常連なら知っている常識(笑 >>8 そもそも「哀れな素人」こと安達弘志翁をいじる奴は複数人いる 少なくとも俺のほかにもう一人いる そいつの口癖は「また逃げた」 おれはこういう陳腐な煽りはしない 白痴感丸出しだからw したがって「また逃げた」と馬鹿な煽りをするヤツは俺とは別人だ 今日そいつが同じ煽りしたらIDメモっとけ 確実に俺とは違うから >>スレ主 0.999… は世界基準数学に於いては『実質無限小数』であり 決して『可能的無限小数(:高々有限小数に含まれる)』ではなく 1/2+1/4+1/8+… も世界基準数学に於いては『実質無限級数』であり 決して『可能的無限級数(:高々有限級数に含まれる)』ではない。 一方で 0.999… をスレ主は自身の信条理念に於いては『可能的無限小数(:高々有限小数に含まれる)』と定め 決して『実質無限小数』とは定めず 1/2+1/4+1/8+… もスレ主は自身の信条理念に於いては『可能的無限級数(:高々有限級数に含まれる)』と定め 決して『実質無限級数』とは定めない。 スレ主。貴殿の信条理念による無限の意味付けが世界基準数学と丸っきり逆。 論理出発点である定義が丸っきり異なる推論を論理中途が誤っていると指摘する事は、的外れである。 よって、これからは世界基準数学と安達基準数学とを区別し、違いを語られたし。 >それを証明してくれ(ゲラゲラ 0.999…:=lim[n→∞](1-1/10^n)=1 ∵∀ε>0に対し、n≧log_10_(1/ε)+1 ⇒ |1-(1-1/10^n)|=1/10^n<ε 可能的無限って、結局、無限集合をみとめないから ただの有限主義だけどね 無限集合だけじゃなく無限小数も無限級数も数列も認めない 要するにある対象が無限の構成要素を持つことを認めない しかしなぜか数直線の有限区間上に存在する点の個数は答えないw 無限と答えたら破綻するからw 安達翁は飽く迄も極限を殺したい様なんで lim 書かずに表記 a=e^ln(a) (1-0.999…)^0={[n→∞](Σ[k=1,n]9/10^k)}={[n→∞]0.1^n}^0=(0.1^∞)^0=0.1^(∞×0) ←壱 =e^[ln{0.1^(∞×0)}] =e^{(∞×0)×ln(0.1)} ←弐 安達翁の数学は 0≠1/∞ & 0×∞=0 よって上式の壱、弐は双方とも 0.1^(∞×0)=0.1^0=0 e^(0×ln(0.1))=e^0=1 何とした事か、安達翁の信義「1/∞≠0 & 0×∞=0」を採用すると指数演算前の底が 0.1 の場合でも e の場合でも復元されなくなる。 此れは 1/∞≠0 を採用し 0×∞=0 を導入したが故の理非である。 此れにて Wheel Theory どころかアフィン拡張実数も引っ込めた書き方で 1/∞≠0 説の否定が 遂に導かれた(否、本当は『遂に導かれた』じゃのうて『既に遠い昔に導かれていた』じゃが)。 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| としてしまいたい所だが、演算規則が崩れるので、面倒でも逐一逐一の極限操作指定を省けない。 〜 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 の理念について、出鱈目で、第一印象主義で、高括り的で、決め付けがましく、 何よりも真剣味が足りぬ為である。 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 となる 安達翁、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…なのである(笑 分るか?(笑  ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ 愚かなりし安達翁、相変わらず悟性を捨て切った儘で居る。しかし安達翁の見識とは裏腹に、人の知識は進化止揚する。 三段論法 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 の差を語る事は能わず、語れば野次しか返せなかったりノーコメントを貫くのみ、哀れ。 >>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 >>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 数式が個々人の頭の中の考えに依存するなら、そもそも共通言語の用を成さない 阿呆もここまでくると矯正不能 >>25 いや、数式以前の問題だよ 共通言語?そんなものがあるとおもってるのか?ナイーブだなw 安達は頑固だから死ぬまで無限を受け入れられないだろう 共通言語が無いならおまえはどうやって他人と意思疎通するのか? そもそも意思疎通は幻想 あなたはわたしではなく、わたしはあなたではない この言葉につきる IUT狂賛君は、日本人なら理屈ぬきにIUT支持すべきと思ってるが 私は日本人とかいう以前に数学を理解したいので、 たかが日本人だとかいうだけでの理屈抜きの支持はありえない 意思疎通は幻想だということがよくわかるだろう 暇だから!(ドヤ顔) おまえもそうだろ?正直になれよ クソガキw 意味不明 意思疎通ができないのなら、数学板に来たとて暇であることに変わりはない 意味明解w 自分の言ったことに対する相手の反応を楽しめばいい おまえ、もしかしてセックスしたことない童貞? おまえの数学知識はすべておまえ独りで発見したものか? 数式の共通言語性を否定するからには、おまえは数学書から学べないはずだ >>34 学習は誤解がつきものだw おまえ、数学の勉強したことない中卒? >>34 数学理解が共通とか言ってるヤツはセックスしたことない童貞 単純に「同値類」というだけであって、全く同じ元なんて言えない 例えば一般の線型空間で成り立つ命題について 差異が認められないからといって、 自分と相手がそもそも同じ体で考えてるかどうか わかったもんではない 自分はナイーブに実数体で考えてたが 相手は複素数体で考えてたかもしれんし あるいはp進体で考えてたかもしれんw 誤解は数式が原因か?つまりその数式が修正されていたら誤解を生じ得なかったか? 違うだろ?ならば数式の共通言語性を否定する根拠にならない >>38 誤解は数式以前にあるw つまり数式は共通言語ではない おまえ数式は共通言語だとおもってたの? おまえ女とセックスしたことない童貞? 考えているスカラー空間が明確でなければ一般に命題たり得ない もし命題たり得るならそれはスカラー空間の違いに依存しない命題なのだから、相手が異なるスカラー空間で考えていても何ら問題無い 誤解の原因が数式以前にあるのなら、数式の共通言語性を否定する根拠にならない おまえもしかしてバカ? 「0.99999…が小数点以下すべての桁で9となる小数」 という言葉の意味は安達も理解したようだ しかし、安達は理解した上で 「おまえらのいうすべての桁なんて存在しない 桁は無限に延長できるから、それらが同時に存在できるわけがない そんな小数は存在しない」 といっている 要するに「無限集合」を否定してる この時点でキリスト教徒と仏教徒のごとく違う ユダヤ教徒とかイスラム教徒ならともかく 仏教徒をキリスト教徒に改宗させるのは無理 >>41 誤解の原因が数式以前にあるのだから 数式を用いたところで共通言語になり得ない おまえこそ白痴だろ? 高校の偏差値いくつだ?40以下だろ? IQ85以下か?平均ー1σ以下だろ >>40 命題=証明可能か反証可能、とおもってる? おまえ中卒かよwww 安達が有限主義者だから馬鹿にしてるのではない 安達が有限主義者としても底が浅いから馬鹿にしている 徹底的に有限主義の立場で現代数学を解釈しなおせw >要するに「無限集合」を否定してる だから阿呆爺は数学板に来るべきではないと言っている 自分でサイトでも何でも作って同類たちだけで無限公理の無い数学を好きなだけ語り合えばよい >>46 別に無限集合を否定したければすればいい 無限集合を否定しても現代数学の結果と 実質的に同じことができるというなら それはそれで一つの成果であるから やってみればいい まあしかし国文科には無理だろう 馬鹿にしてるのではなく そもそも実力がないといっている (実力がないというのは侮蔑でもなんでもない) 安達はIUT狂賛野郎に比べれば、はるかに「誠実」である 別に在日朝鮮人だの部落民だのとかいうのは痛くも痒くもない 朝鮮人のほうが日本人よりもはるかに先進的であるし 部落民のほうが貴族なんぞよりはるかに善良であるw IUT狂賛野郎はとにかくウソつきである 理解もできないことを理解したとウソをつくことばかり考えている 実際には大学1年のεδも行列の正則性も理解できない馬鹿だと露見しているのに いやそもそも集合の∈の意味すら理解してない これはさすがに酷い こんなバカでも国立大学に受かるんだな 日本の数学教育がいかに劣悪であるかわかろうってもんだw 整数の集合と、偶数の集合と奇数の集合を要素とする集合は、全く異なる しかし、IUT狂賛馬鹿は、{}のつく位置が違うだけであとは同じだとほざく {}のつく位置こそが重要なんだ、馬鹿w >>43 じゃなんでおまえは日本語しゃべってるの? >>44 妄想乙 命題とはその真偽が人に依存せず定まる主張。 例1「あの犬はかわいい」・・・見る人の主観に左右されるので命題ではない。 例2「ゼータ関数の非自明なゼロ点の実数部は1/2である」・・・反例があれば偽、さもなくば真。人に依存しないので命題である。 例3「空でない集合族の直積は空でない」・・・同じく命題であるが、ZF公理系において証明も反証もできない。 >>51 >じゃなんでおまえは日本語しゃべってるの? おまえ、ホントアホだな 高校どこだよ 偏差値いくつ?w >命題とはその真偽が人に依存せず定まる主張。 だろ?それって論理学でいうところの トートロジーとアンチトートロジー しかないじゃんw >例2「ゼータ関数の非自明なゼロ点の実数部は1/2である」 >・・・反例があれば偽、さもなくば真。人に依存しないので命題である。 反例が具体的に構成できれば偽だが、 そうでなければ真、というなら貴様は甘いw モデルに依存する場合、あるモデルでは真だが 別のモデルでは反例があるということになる これは「どのモデルでも存在する反例」とは異なる つまり貴様のいう意味での命題でない可能性がある >例3「空でない集合族の直積は空でない」 >・・・同じく命題であるが、ZF公理系において証明も反証もできない。 いや、ZF公理系では命題ではないな つまりあるモデルでは真だが、別のモデルでは偽となるから おまえさ、アタマわるいだろw 「無限集合が存在する」というのは ID:Z6vXAk9Rのいう 「その真偽が人に依存せず定まる主張」 という基準に照らせば命題でない 無限公理を除いた集合論では 上記は真偽が定まらない 無限集合が存在する集合論のモデルも 存在しない集合論のモデルもあるから もちろん「無限公理を前提すれば」とつければ命題になる で、「無限公理は偽だ」というなら、それを証明する必要があるが まあ、もしそうだとしても、安達には無理だろうw >いや、ZF公理系では命題ではないな >つまりあるモデルでは真だが、別のモデルでは偽となるから 真となるモデルと偽となるモデル、それぞれの例を挙げてみて 当然だけど、それらの例はZF公理系内なんだよね? ついでにいうと「1の自然対数は0である」は正確ではない ±2πin (n∈N)の任意性があるから 屁理屈?いやいや複素解析や複素幾何ではこれこそが重要だから >>56 フォーシングの本でも読んでくれ ま、でも中卒で童貞の貴様には無理だろうなw >当然だけど、それらの例はZF公理系内なんだよね? おまえZFで、選択公理が証明できると思ってる?w 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 と書いて後輩に叱られる大愚人。 もしある命題Pが、ある理論で証明も反証もできないならば Pを真とするモデルもPを偽とするモデルもある これがゲーデルの完全性定理 >「無限集合が存在する」というのは >ID:Z6vXAk9Rのいう >「その真偽が人に依存せず定まる主張」 >という基準に照らせば命題でない 君は誤解してるね 「無限集合が存在する」は、ZF公理系の他の公理から証明も反証もできない。 しかし「無限集合が存在する」を認めることにすべての人が合意した場合、「無限集合が存在する」は人に依存せず真である。よって「無限集合が存在する」は命題である。 >「空でない集合族の直積は空でない」 局所的に直積空間で、切断が存在するからといって 全体的にも直積空間で、切断が存在するとはいえない ホップ束って知ってるか? S^3はS^2を底空間としS^1をファイバーとするファイバー束だが S^2×S^1とは異なる そして、上記のファイバー束の大域切断は存在しない >おまえZFで、選択公理が証明できると思ってる?w ↑ なんでこういう台詞が >例3「空でない集合族の直積は空でない」・・・同じく命題であるが、ZF公理系において証明も反証もできない。 の後に出て来るかねー よっぽど頭が悪いか、よっぽどペテン師かのどちらかだね どちらであるか俺には判断付かんがw >>61 >「無限集合が存在する」を認めることにすべての人が合意した場合 しかし実際は合意しないw 合意しなければならない理由もない 「無限集合が存在しない」集合論もあり得るから なんなら無限公理の否定を公理にすればいいw 無駄なあがきはよせ 貴様は安達よりはるかに馬鹿w >>66 それは「すべての人」が誤解を生む表現だったな、許せ 「ZF公理系を認める全ての人」という表現の方が良かった >>65 「P「空でない集合族の直積は空でない」 ZF公理系においてPは証明も反証もできない。」 つまりZF+PもZF+¬Pも無矛盾である、ということ だからどちらのモデルも存在する ゲーデルの完全性定理を知っていればわかる 問題はPが本当にZFで証明も反証もできないのかという点 それはフォーシングを勉強してコーエンの証明でも その後に出てきた別証明でもなんでも読んで 自分で理解してくれってこと・・・できるもんならなwww >>68 いやFは要らん 要するに無限公理があればいい でも別にそんなもん認めないというのも容認されるw >>22 これ蕎麦さんが貼ってたんですか? 前スレの1月13日水曜日早朝の。 ZF公理系を認めるすべての人にとって、「無限集合が存在する」は真である。 だから「無限集合が存在する」は命題である。 理解できた? >でも別にそんなもん認めないというのも容認されるw だーかーらー 容認されることと「無限集合が存在する」が命題であることは独立なんだってw 君頭悪いねー >>67 >>ホップ束って知ってるか? >知らんよ? じゃ、知っとけw 面白いぞ https://en.wikipedia.org/wiki/Hopf_fibration 「切断」も連続性を持たなくていいなら、もちろんとれるw 「空でない集合族の直積が空」を満たすモデルは 直感には反するだろうが、存在するというから 矛盾が導けない、という結論となったはずw >>73 >容認されることと「無限集合が存在する」が命題であることは独立なんだって いいや 容認されるなら、貴様のいう意味の命題でなくなるw おまえ、アタマわるいな マジ中卒かよw 最終学歴どこだよ 大学行ってないだろw >つまりZF+PもZF+¬Pも無矛盾である、ということ >だからどちらのモデルも存在する 誰もそれを否定していないんだがw 君妄想症?w >いいや 容認されるなら、貴様のいう意味の命題でなくなるw それは君が「命題」を分かってないだけw >>77 >君が「命題」を分かってないだけw いや、貴様が自分の言った条件を分かってない 自分の言ったことも分からんとかどんだけ馬鹿なんだ おまえ高校どこ?偏差値40以下だろw 1. じゃあ君の命題の定義を示してくれ 2. 公理は命題である・・・Y/N >>79 1 論理式w だから別に恒真とか恒偽でなくてもよいw 2 公理は定理だが? A⇒Aがトートロジーなんだから 知らなかったのか?w 利口ぶった馬鹿をからかうっておもしれぇなあwwwwwww だいたい安達が、異なるIDをみな同一人物とか妄想するのが馬鹿 ID:6PiUpIrXな利口ぶった白痴とオレ様を同じだと思うな 馬鹿! >1 論理式w だから別に恒真とか恒偽でなくてもよいw ん?君が命題であることを否定した「無限集合が存在する」も論理式で表現できるが? >2 公理は定理だが? A⇒Aがトートロジーなんだから 知らなかったのか?w 回答になっていない >>84 1.無限公理w オレのいう意味では命題だが、オマエのいう意味ではそうではない つまり無限公理を前提しない場合には、定理ではないからw 2.回答そのものw つまり、公理は公理として設定された理論では公理であり定理だが そうでない理論では、定理ではない そういうこと >オレのいう意味では命題だが 「無限集合が存在する」は論理式ではないが、それはいいの? >つまり、公理は公理として設定された理論では公理であり定理だが >そうでない理論では、定理ではない そういうこと 君のいう「定理」は「命題」と同義と思っていいのかな? 「無限集合が存在する」は論理式で表現できるが、命題だったり命題じゃなかったりするってこと? それ >1 論理式w だから別に恒真とか恒偽でなくてもよいw と矛盾してないか? >>86 無限公理の論理式知らんのか?w https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86 >君のいう「定理」は「命題」と同義と思っていいのかな? 「公理⇒定理」はトートロジー そして「ある理論の下でPが命題」というのは 「公理⇒P」か「公理⇒¬P」のいずれかが トートロジーということ 知らんのか? ID:6PiUpIrXはぐだぐだ言い訳せずに 出身高校名と偏差値をかけ そしたら許してやる どうせ馬鹿高校なんだろw コロナ流行⇒全員マスクする この命題の対偶は、 一部の人はマスクしない⇒コロナ収束 スナワチ、一部の人はマスクしない だけで、コロナ収束ちゃうんです by 👾の偏差値はモピロン無限大 >無限公理の論理式知らんのか?w 君、妄想症治した方がいいよ >「公理⇒定理」はトートロジー >そして「ある理論の下でPが命題」というのは >「公理⇒P」か「公理⇒¬P」のいずれかが >トートロジーということ 知らんのか? ぐだぐだ言い訳せずに >つまり、公理は公理として設定された理論では公理であり定理だが >そうでない理論では、定理ではない そういうこと と >1 論理式w だから別に恒真とか恒偽でなくてもよいw が矛盾してるのかしてないのか、それだけ答えてくれ >>71 儂じゃないが気に入ったんで借用。もしかしたらKmath1107数学王国の住人か常連客かも知れん。 何せ、あの国に出入りしとるとある奴なんかYouTubeに挙がった途端に即刻削除された、IS国に首斬られた日本人の動画を 保存しとった奴も居る。ネクロ動画やグロテスク動画の収集に於いては儂以上の大悪魔も居る言う事じゃ。 ノーコーギーリー >>91 考えれば矛盾してないとわかるよ 考えてごらん 童貞君w >>93 グロ動画を張るヤツを生きたまま1cm厚でスライスしたいw 「無限集合が存在する」=Pとおく。 >1 論理式w だから別に恒真とか恒偽でなくてもよいw Pは論理式で表現できるから命題。 > つまり、公理は公理として設定された理論では公理であり定理だが PはZF公理系では命題。 > そうでない理論では、定理ではない そういうこと PはZFからPを除いた公理系では命題でない。 明らかな矛盾やんw なーにいってんだこの阿呆はw 尚、「命題と定理が同義か?」の質問からは逃げたので、こちらで同義とした。 いつもの単独義警団じゃろID:6PiUpIrXは。どこの安達弘志じゃID:6PiUpIrXを猿石大魔王と断言した莫迦曝す皇恥神は!! バカテラスオオチカミvsアマテラスオオミカミ これが矛盾であることも解らないようじゃ、どんな名門大学出ても、偏差値高くても無意味だぞ? 学歴コンプレックスは今すぐ捨てるが宜しかろう 間違ったバカ“テ”ラスオオチカミじゃのうてバカ“サ”ラスオオチカミ 皇帝 瀬田坊 大神 安達翁 太極 偽院生 >反例が具体的に構成できれば偽だが、 >そうでなければ真、というなら貴様は甘いw だいじょうぶw 言ってないw それほどバカじゃないw ■ このスレッドは過去ログ倉庫に格納されています
read.cgi ver 07.5.5 2024/06/08 Walang Kapalit ★ | Donguri System Team 5ちゃんねる