[過去ﾛｸﾞ] 0.99999……は１ではない (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
矛盾指摘してください
951(1): 2019/10/09(水)12:52 ID:rFFSRADX(3/4) AAS
あげてたやん。
形而上学の教科書？
952(2): 哀れな素人 2019/10/09(水)12:56 ID:WeQhCFU4(15/31) AAS
>>950
だから質問少年よ、お前は人のレスを読まないから
そんな質問をするのである（笑
すでに、僕はここには書かない、と何度も書いているだろが（笑
僕はお前らに可能無限の意味を説明するためにここにいるのではないし、
無限公理の矛盾を指摘するためにここにいるのでもない（笑
お前らがお前ら自身で可能無限の意味や
無限公理の矛盾に気付いてくれるように誘導しているのである（笑
953: 哀れな素人 2019/10/09(水)12:59 ID:WeQhCFU4(16/31) AAS
>>951
アリストテレスのことか？（笑
いっておくがアリストテレスは形式化などしていないぞ（笑
954(2): 2019/10/09(水)13:00 ID:DIpAeh8z(3/7) AAS
>>923
全順序かつ有限集合の上限はその集合の最大元と一致する
したがって「可能無限」などという概念は存在しない
はい論破
あとちなみにだけど君誤解してるだろうからきちんと言うけど
{{1,2,...,n} | nは自然数} みたいな集合は有限集合ではなくて無限集合ってこと理解出来る？
>>947
無限公理は他のZF公理系から矛盾が導けるか
YesかNoで答えろ
955: 哀れな素人 2019/10/09(水)13:00 ID:WeQhCFU4(17/31) AAS
昼はここまで（笑
956(1): 哀れな素人 2019/10/09(水)13:04 ID:WeQhCFU4(18/31) AAS
>>954
はい論破男乙（笑
お前は可能無限の意味が分っていない（笑
無限公理が矛盾であることは無限公理自体から導ける（笑
昼はここまで（笑
上下前次1-新書関写板覧索設栞歴
あと 46 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.185s*