[過去ﾛｸﾞ] 0.99999……は１ではない (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
931: 哀れな素人 2019/10/09(水)09:43 ID:WeQhCFU4(6/31) AAS
ID:PFECpNHL
こいつはサル石と同類のバカである（笑
文章にアホさとチンピラ臭が滲み出ている（笑
932(1): 2019/10/09(水)09:44 ID:urLY5Vhi(1) AAS
>>930
>>922
＞ヒルベルトの数理論理学など無意味（笑
方法論がダメというにしか見えませんけど
でも、形式論理はいいわけですね
では、どのような公理を持ってきても、それが無矛盾なら議論は可能であることは理解できますよね？
正しい正しくないではなく
933(1): 哀れな素人 2019/10/09(水)09:55 ID:WeQhCFU4(7/31) AAS
>>932
このことは何回も議論したはずだ（笑
火星人は存在しないのに
火星人が存在するという公理を立てても意味はない、と（笑
実無限は存在しないのだから、
実無限が存在するという無限公理を立てても意味はないのだ（笑
お前らは無限公理から矛盾が導かなければ無限公理を立ててもいい
と思っているが、無限公理からは必ず矛盾が出るのだ（笑
そもそも無限公理からどのような成果が出ているのか、教えてほしい（笑
たとえば0.99999……＝１は無限公理から導かれたのか、
省1
934: 2019/10/09(水)09:57 ID:vw6jBuCV(3/13) AAS
>>933
え？
安達さん形式論理は正しいとおっしゃいましたよね？
大事なのは存在するとか正しいとかではなく、矛盾があるかないかですよ
もしかして、わからないんですか…？
935(5): 哀れな素人 2019/10/09(水)10:05 ID:WeQhCFU4(8/31) AAS
>もしかして、わからないんですか…？
またこういう文章（笑
わからないんですか
わからないんですか
わからないんですか
いつも利口ぶって人を小馬鹿にする（笑 アホのくせに（笑
だから無限公理からどんな成果が出ているのか（笑
お前がそれを挙げれば、それが矛盾であることを証明してやる（笑
さあ、さっさと挙げてみろ、利口ぶった中二のアホ少年（笑
936(1): 哀れな素人 2019/10/09(水)10:09 ID:WeQhCFU4(9/31) AAS
>無限公理からは必ず矛盾が出るのだ（笑
と書いているのに、
>大事なのは存在するとか正しいとかではなく、矛盾があるかないかですよ
>もしかして、わからないんですか…？
と書くアホ（笑
こいつはいつも人のレスの意味が全然読めていない（笑
だからこいつと話すといつも延々と無駄な議論をすることになる（笑
937: 2019/10/09(水)10:15 ID:vw6jBuCV(4/13) AAS
>>935
ZFC公理系における集合論の公理はウィキペディアかなんかにあると思います
その中でどのような矛盾があるのか教えてください
938(1): 2019/10/09(水)10:17 ID:vw6jBuCV(5/13) AAS
もしかして、安達さん矛盾があることと間違っていることの区別がつかないのでしょうか
ありえませんね
939(1): 哀れな素人 2019/10/09(水)10:20 ID:WeQhCFU4(10/31) AAS
矛盾はすぐに指摘できる（笑
しかしここに書いてしまうと
本にして出版した意味がなくなるから書かないのである（笑
可能無限なら矛盾は出ないが実無限を認めると矛盾が出るのである（笑
940(1): 2019/10/09(水)10:24 ID:vw6jBuCV(6/13) AAS
可能無限を形式化するとどうなりますか？
安達さんは形式論理を認めていたので、その枠組み内で定式化できるはずですね
941: 哀れな素人 2019/10/09(水)10:24 ID:WeQhCFU4(11/31) AAS
>>938を見ても、この少年が
人を小馬鹿にしている少年であることがありありと分る（笑
この少年はいつもこのような文章を書く（笑
世の中に出て働いたことのないニートだから、
世間の人をみんなアホだと思っているらしい（笑
サル石もこれとまったく同類の世間知らずのアホニートである（笑
942(1): 哀れな素人 2019/10/09(水)10:29 ID:WeQhCFU4(12/31) AAS
>>940
何のために形式化する必要があるのか（笑
お前は形式化しないと理解できないのか（笑
可能無限の意味が分っているなら形式化などする必要はない（笑
>>923でも読めば可能無限の意味は分かるはずだか、
お前は例によって人のレスをきちんと読まないから、
何度説明しても理解しない（笑
943: 2019/10/09(水)11:46 ID:dnyJAQK9(1) AAS
もし現代の数学の礎になってる、無限公理含むZFC公理系が矛盾を孕んでいるなら
（安達さんのためにわかりやすく言うと公理系ZFCにおける矛盾とは、
ZFC公理系から出発して、ある命題φに対してφと¬φの両方が証明できることを言います）
その数学的証明は（もし正しければ）とても価値のあるものだから
本としてじゃなく論文として出版してみたらどうなんです
944: 2019/10/09(水)12:05 ID:vw6jBuCV(7/13) AAS
>>942
でも、形式論理は正しいのだから形式化できるはずではないですか？
もしかしてできないんですか？
945: 2019/10/09(水)12:06 ID:DIpAeh8z(2/7) AAS
>>939
え？ 矛盾って「無限公理」の矛盾性を他のZF公理系から導けるってこと？
946: 2019/10/09(水)12:22 ID:rFFSRADX(1/4) AAS
なんのためって形式化こそが形而上学の基本戦略じゃん？
あなた前形而上学の参考書あげてなかったっけ？
現代数学の形式主義は認めてたんじゃないの？
意味わかってなくて参書あげてたの？
947(3): 哀れな素人 2019/10/09(水)12:30 ID:WeQhCFU4(13/31) AAS
依然としてアホの巣（笑
無限公理の矛盾などすぐ指摘できると書いているだろが（笑
形式化、何のためにそんなものが必要なのか（笑
そもそもお前らのいう形式化とは何を指しているのか（笑
可能無限など簡単な定義で誰にでも分るのである（笑
もちろん形式化したければすればいいが（笑
948: 2019/10/09(水)12:36 ID:rFFSRADX(2/4) AAS
>>947
なんのために必要かも分からず参考書にあげてたの？
949: 哀れな素人 2019/10/09(水)12:48 ID:WeQhCFU4(14/31) AAS
>参考書にあげてたの？
意味不明（笑
僕がどこかに参考書などを挙げたか？（笑
お前らが形式化が必要だというなら
お前らが勝手に形式化すればいい（笑
形式化などしなくても誰でも分る（笑
たとえば自然数など形式化などしなくても誰でも分っているのである（笑
形式化というと高級なことだと思っているアホども（笑
950(1): 2019/10/09(水)12:49 ID:vw6jBuCV(8/13) AAS
>>947
矛盾指摘してください
上下前次1-新書関写板覧索設栞歴
あと 52 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s