19/10/08 20:49:46.66 CQ88dD50.net
>>869
集合の定義知らない奴が数学語るなゴミ
901:哀れな素人
19/10/08 21:40:57.99 qtL27EiZ.net
>>867
広辞苑 循環小数
無限小数の一種。（中略）
循環小数は分数で表すことができ、有理数である。
これは間違い（笑
辞典にも間違いはある（笑
もちろんお前が0.33333……と1/3は完全に等しい、
と思いたければ思えばいい（笑
世間の聡明な人々の失笑を買うだけである（笑
902:哀れな素人
19/10/08 21:45:17.65 qtL27EiZ.net
ID:xZFGCBHO
これはたぶんサル石（笑
こいつのアホさがよく分る（笑
自然数全体の集合は存在しないが、
自然数の集合は存在するのだから数列は存在する（笑
バカ丸出し（笑
依然としてケーキを食べ尽くせると思っている真性のバカ（笑
質問少年だってケーキを食べ尽くせないと分っているのに（笑
つまりサル石は質問少年よりバカ（笑
903:哀れな素人
19/10/08 21:48:26.61 qtL27EiZ.net
ID:CQ88dD50
>はい論破
この文章で誰だか分る（笑
例のバカである（笑
バカだから>>860が理解できない（笑
無限公理を信じているバカ（笑
集合の概念が分っていないゴミ（笑
904:１３２人目の素数さん
19/10/08 22:16:13.11 xZFGCBHO.net
>>873
>自然数の集合は存在するのだから数列は存在する（笑
つまり {0} という集合が存在するから a0 という単項数列が存在すると？
高校数学からやり直し
905:１３２人目の素数さん
19/10/08 22:18:56.13 ofPIORDH.net
>>872
まじかー？
出版社に手紙書いたら？
なんかもらえるかもー！
906:哀れな素人
19/10/08 22:22:21.48 qtL27EiZ.net
>>875
イミフなアホレス乙（笑
そういうイミフなアホレスを書くところにお前のアホさがある（笑
何でお前らは {0} とか単項数列とか、
そんな記号や用語でしか数学を語れないのか（笑
自然数とはどんなものか、小学生でも知っているのに（笑
907:哀れな素人
19/10/08 22:26:23.88 qtL27EiZ.net
>>876
>>251>>722>>839でも読めば分かるだろが（笑
0.33333……と1/3は完全に等しい
などと思っているようなアホはお前らしかいない（笑
908:１３２人目の素数さん
19/10/08 22:32:03.52 Xc9mjhbj.net
>>878
オマエらには広辞苑書いた先生とか灘中学校の先生も入ってる？
909:１３２人目の素数さん
19/10/08 22:32:10.23 ofPIORDH.net
>>878
オマエらには広辞苑書いた先生とか灘中学校の先生も入ってる？
910:１３２人目の素数さん
19/10/08 22:32:41.44 ofPIORDH.net
>>878
オマエらには広辞苑書いた先生とか灘中学校の先生も入ってる？
911:哀れな素人
19/10/08 22:40:21.95 qtL27EiZ.net
当然である（笑
0.33333……と1/3は完全に等しい
などと思っているような人間はアホである（笑
聡明な人間なら誰でも異なると分っている（笑
「分らない問題はここに書いてね」
に登場した例の聡明な青年にとって、
0.99999……は１ではないことは自明なことだったのだ（笑
ところがお前らはアホだから寄ってたかって彼を叩いた（笑
だから彼はお前らのアホさに呆れて去って行った（笑
ったくお前らと話していると
いつも中二のアホと話している気分になる（笑
912:１３２人目の素数さん
19/10/08 22:56:19.33 N7gJkFQf.net
>>874
信じる、信じないではない
「公理」
公理って知ってる？ 無批判で受け入れなければいけない数学の前提条件なんだけど
君ちゃんと公理主義勉強しようね
じゃあお前集合の定義ちゃんと言えよ
913:１３２人目の素数さん
19/10/08 22:58:24.17 N7gJkFQf.net
公理の意味も知らないやつが数学語るなよ
なんでここまで叩かれても一つも否を認めないの？
妄想で数学モドキを語るの楽しい？
914:１３２人目の素数さん
19/10/08 23:01:39.83 KgLpej7y.net
１＝0.9999…の証明
ㅤㅤㅤㅤㅤ
0.9999…＝x ㅤㅤー①とおきます。
両辺に10をかけて
9.9999…＝10x
９＋0.9999…＝10x
①より
９＋ｘ＝10x
９＝９ｘより １＝ｘ
１＝0.9999… （証明終了）
915:１３２人目の素数さん
19/10/08 23:08:12.63 KgLpej7y.net
↑実無限を公理としました。
916:哀れな素人
19/10/08 23:08:25.66 qtL27EiZ.net
>>883-884
真性のアホ乙（笑
公理が間違っていれば、その上にどんな数学を築いても何の意味もない（笑
無限集合なんて存在しないのに
無限公理など何の意味があるのか（笑
公理が間違っているということを考えもしないバカ（笑
お前らはいつもそうだ（笑
考えもせず無限公理を鵜呑みにし、
考えもせず0.99999……＝１と丸暗記し、考えもせず
無限小数は有限小数の極限値である。
無限級数は有限級数の極限値である。
などというアホ定義を信じ込む（笑
917:１３２人目の素数さん
19/10/08 23:10:31.97 N7gJkFQf.net
>>887
頭悪すぎて引くレベル
人の話聞いてた？
「公理」とは感覚で間違っているかどうかは全く関係なくて「無条件で正しいもの」とすること
公理はどれだけ現実の概念からかけ離れていても「無条件で正しい」
はぁーまじでクソ馬鹿と話すの辛いな
日本語どうやったら通じるんだろう
918:哀れな素人
19/10/08 23:10:59.36 qtL27EiZ.net
>>885-886
アホは出て来なくていい（笑
>>722でも読め（笑
お前らは一�
919:ﾌ僕のレスを真剣に読んでいるのか（笑 それとも読んでも理解できないのか（笑 まあ、たぶん後者だろう（笑
920:１３２人目の素数さん
19/10/08 23:13:04.59 N7gJkFQf.net
>>887
逆に言えば現実では間違っているものでも公理にしてしまえば「その公理の上での数学」では正しい
だから公理主義ちゃんと勉強しろって
「公理」は間違いとか正しいとかではない
お願いだから馬鹿を自覚してくれ
そして二度と数学を語るな
921:１３２人目の素数さん
19/10/08 23:13:22.30 ofPIORDH.net
>>882
まじかー！
広辞苑の先生は賢いと思ってたけどなぁ
922:哀れな素人
19/10/08 23:13:31.46 qtL27EiZ.net
>>888
頭悪すぎて引くレベルがお前（笑
アホが次から次に湧いてくる（笑
まさに2chはアホの巣（笑
教科書の丸暗記とコピペ専門の無能バカの巣（笑
923:１３２人目の素数さん
19/10/08 23:14:04.07 N7gJkFQf.net
>>892
で、具体的かつ論理的な反論は？
公理ってどういうものか勉強した？
924:哀れな素人
19/10/08 23:15:45.86 qtL27EiZ.net
11時を過ぎたから、アホの相手はここまで（笑
公理が間違っているということを考えもしないバカには何を言っても無駄（笑
925:１３２人目の素数さん
19/10/08 23:16:14.84 ofPIORDH.net
まぁでもアホでも広辞苑書いた先生も同じ意見ならちょっと安心。
926:１３２人目の素数さん
19/10/08 23:17:52.10 N7gJkFQf.net
>>894
え？？ まだ公理が間違いとか言ってるの？？？
すごいな すごすぎる ここまで頭悪いと感心するレベルだ
>>888の意味が全く読み取れていないぐらい異常なほど頭が悪いのに良く2chでレスするという高度なことが出来るな
そこまで頭悪いと日常生活に支障きたすだろ
927:哀れな素人
19/10/08 23:18:08.66 qtL27EiZ.net
>>893
まだいたか（笑
無限集合が存在しないことは何度も何度も説明している（笑
お前は読んだが理解できなかったアホである（笑
僕の過去レスを読み返せ（笑
928:１３２人目の素数さん
19/10/08 23:19:10.37 N7gJkFQf.net
>>897
「公理」は間違っている、間違っていないとかは全く関係なくて「無条件で正しいもの」とすること
はい論破
929:１３２人目の素数さん
19/10/08 23:20:08.73 N7gJkFQf.net
ゆえに「無限公理」から無限集合の存在は集合論の上では「無条件で正しい」
930:１３２人目の素数さん
19/10/08 23:20:39.47 N7gJkFQf.net
>>897
はやく公理の意味言って
931:哀れな素人
19/10/08 23:20:51.56 qtL27EiZ.net
2chは無限公理が正しいと信じているアホの巣（笑
公理だから、それが正しいかどうかは考えなくてもいいらしい（笑
アホすぎて付き合いきれない（笑
アホがぞろぞろ湧いてくる（笑
相手をしていたら限がない（笑
932:１３２人目の素数さん
19/10/08 23:23:05.93 N7gJkFQf.net
>>901
「公理」の意味を述べろ
933:哀れな素人
19/10/08 23:26:57.12 qtL27EiZ.net
いっておくが無限公理などというものは
近代のアホ数学者が立てたものだ（笑
誰が立てたかは知らないが（笑
ギリシャ時代に無限公理を立てようなら物笑いの的だ（笑
数学の歴史も知らないアホども（笑
934:１３２人目の素数さん
19/10/08 23:29:16.80 N7gJkFQf.net
>>903
「公理」の意味を述べろ
その上で「公理が正しいと信じている」という謎の発言を説明しろ 「公理」の意味が分かっていればこんな意味の分からない発言はしない
935:１３２人目の素数さん
19/10/08 23:36:45.91 N7gJkFQf.net
>>903
あと君、「自然数」自体の存在は認めているよね
じゃあ無限公理無しにどうやって「自然数」を数学的に構成するのか説明して
936:１３２人目の素数さん
19/10/08 23:37:55.69 N7gJkFQf.net
>>903
それと、数列の極限という概念も認めているよね
無限公理無しにどうやって「数列の極限」を数学的に構成するのか説明して
937:哀れな素人
19/10/08 23:39:17.95 qtL27EiZ.net
>>904
アホレス乙（笑
無限公理は公理ではないのである（笑
なぜならギリシャ人は無限など認めていなかったから（笑
嘘だと思うならアリストテレスを読んでみればいい（笑
最後にお前らに質問（笑
無限公理とは、聞くところによると、
実無限集合が存在するという公理であるらしい（笑
そこでお前らに聞くが、実無限集合の具体例を挙げてくれ（笑
いっておくが、自然数の集合は可能無限集合であって
実無限集合ではないことは常識だぞ（笑
お前ら、それが分っているのか？（笑
今夜はここまで（笑
938:１３２人目の素数さん
19/10/08 23:41:41.93 B7gLl11X.net
>>907
安達さんが京大を卒業したという公理
安達さんが京大を卒業していないという公理
どちらを採用しても数学の議論は可能なんです
意味わかりますか？
939:哀れな素人
19/10/08 23:44:44.40 qtL27EiZ.net
>>905-906
お前のいう無限公理が、可能無限公理なら認めるのである（笑
しかし聞くところによると
無限公理とは実無限公理であるらしいから、それは認めない（笑
実無限なんて存在するはずがないからだ
940:（笑 今夜はここまで（笑
941:哀れな素人
19/10/08 23:46:55.12 qtL27EiZ.net
>どちらを採用しても数学の議論は可能なんです
間違った公理を採用しても意味はない（笑
942:１３２人目の素数さん
19/10/08 23:50:10.76 N7gJkFQf.net
>>907
はやく公理の意味を述べろ
意味が分かれば「公理は間違っている」という謎発言は出来ない
>>909
「可能無限公理」とはなにか数学的に厳密に構成して
943:１３２人目の素数さん
19/10/08 23:50:49.85 KgLpej7y.net
もちろん可能無限を公理とすれば
１≠0.9999である。
944:１３２人目の素数さん
19/10/08 23:56:22.89 9PlZmJ52.net
>>910
数理論理学というのをご存知でしょうか
ヒルベルトが作った数学を対象とする数学の一部門ですね
ヒルベルトによると、数学というのは公理から推論規則を通して得られる定理を導出していく作業です
形式主義によれば、数学の主人公は意味を持たない論理式という”記号”です
つまり、正しいか正しくないかというものではないわけですよ
数理論理学では、式変形によりえられる記号列と、意味とを分離します
つまり、あなたが公理が正しい正しくない云々いうのはナンセンスなわけです
公理系のモデルにとっては、公理は正しい、そうでないなら正しくないかもしれません
まあ、安達さんにはわからないと思いますけどね
不完全性定理云々ほざくなら是非とも理解していただきたいものですけど
945:１３２人目の素数さん
19/10/09 00:02:28.25 N6K1JaVI.net
しかし、意味と形式を分離したからといって、どのような公理も公理として認めることはできません
公理系は無矛盾である必要があります
安達さんの安達数学のように今はこっち、今度はあっちというように矛盾だらけではダメなわけですね
946:１３２人目の素数さん
19/10/09 00:06:33.62 N6K1JaVI.net
数学で大事なのは、正しいか正しくないか、ではなく、矛盾があるかないか、なのですよ
何が正しいのかは人の価値観によって変わります
その価値観は、数理論理学の世界では、モデル、として形式化されます
命題の正しさはたとえ保証することができなくても、公理から命題を導くその道筋は誰にも否定することはできません
公理を認めるか認めないかに関わらず、誰にとっても数学の論理は正しいわけです
947:１３２人目の素数さん
19/10/09 00:07:41.74 YYdnbiMS.net
こうなったらとうとう最後の手である
デデキント切断
を使うしかないようだね。
948:１３２人目の素数さん
19/10/09 02:30:47.02 PFECpNHL.net
>>877
>何でお前らは {0} とか単項数列とか、
>そんな記号や用語でしか数学を語れないのか（笑
{0}は元1個の集合
単項数列は長さ1の有限列
たったそれだけのことに拒絶反応を示す国文バカがなんで数学なんかに興味持ったのか？
949:１３２人目の素数さん
19/10/09 06:41:51.45 gm3ls/Yz.net
>>907
>自然数の集合は可能無限集合であって
>>909
>お前のいう無限公理が、可能無限公理なら認めるのである
こんな数学に媚びたこというのが
安達の女々しいところ
男なら
「自然数全体の集合なんて存在しない！」
「可能無限とは、有限集合の上限が存在しないという意味でしかない！」
と言い切れよ
950:１３２人目の素数さん
19/10/09 06:45:30.19 gm3ls/Yz.net
安達がいうべきことは
0.99999……は１ではない
でなく、そもそも
0.99999……は存在しない
だった
自分にとって存在しないものを
存在すると前提して妥協した時点で
安達は数学に負けてる
951:１３２人目の素数さん
19/10/09 07:05:08.98 DIpAeh8z.net
公理を否定している時点で安達の負け
952:１３２人目の素数さん
19/10/09 07:27:05.10 gm3ls/Yz.net
>>920
公理から矛盾が導かれたから否定する、なら分かるが
気に要らないから否定する、というのはダメだよな
双曲幾何学とか相対論を否定するトンデモと同じ発想
953:１３２人目の素数さん
19/10/09 09:13:58.03 WeQhCFU4.net
依然としてアホの巣（笑
ID:B7gLl11X
ID:9PlZmJ52
ID:N6K1JaVI
これは質問少年とその同類（笑
ヒルベルトの数理論理学など無意味（笑
ID:PFECpNHL
45ID:gm3ls/Yz
ID:DIpAeh8z
これはサル石とその同類（笑
依然としてこのアホ代表二人とその同類しかいない（笑
954:哀れな素人
19/10/09 09:19:22.62 WeQhCFU4.net
ID:gm3ls/Yz
これは間違いなくサル石である（笑
「自然数全体の集合なんて存在しない！」
「可能無限とは、有限集合の上限が存在しないという意味でしかない！」
以前から�
955:ｸっとそう言い切っているのにアホだから分っていない（笑 0.99999……は１ではないし、 0.99999……は数として存在しない、 という二つのことを理解する必要がある、 と前々からずっと言っているのにアホだから分っていない（笑
956:１３２人目の素数さん
19/10/09 09:25:43.53 vw6jBuCV.net
>>922
なぜ、ヒルベルトの形式論理はダメなんですか？
具体的な理由をお願いします
可能無限とかの直観主義者でも、形式論理の方法論そのものは認めていますよ？
957:哀れな素人
19/10/09 09:26:29.75 WeQhCFU4.net
無限公理というのは公理ではないのである（笑
お前らのようなアホが公理だと思っているだけ（笑
wikipediaの説明によると
無限公理とは無限集合が存在する、という公理であるらしく、
この場合の無限集合は可能無限集合ではなく実無限集合であるようだが、
実無限集合が存在しないことは簡単に説明できる（笑
しかしその理由をここに書いてしまうと、
本にして出版した意味がなくなるから、書かないだけである（笑
その理由を書けば、お前らも認めざるを得ないのである（笑
958:哀れな素人
19/10/09 09:34:35.74 WeQhCFU4.net
>>924
ヒルベルトはカントールの実数論や無限集合論を認めているからである（笑
現代数学の深刻な矛盾はカントールの数学が根源なのに、
ヒルベルトはそれに気付かず、矛盾を克服するために
形式論理学などという無意味で非生産的な数学を立てた（笑
ヒルベルトはアホだから0.99999……＝１だと思っていたのだ（笑
高木貞治はヒルベルトの弟子だから、高木もそう思っていた（笑
そして高木が解析概論の中で5.99999……＝６と書いたから、
日本の数学生がみんな0.99999……＝１だと思うようになった（笑
959:１３２人目の素数さん
19/10/09 09:36:18.99 PFECpNHL.net
>0.99999……は１ではないし、
>0.99999……は数として存在しない、
>という二つのことを理解する必要がある、
>と前々からずっと言っているのにアホだから分っていない（笑
>0.99999……は数として存在しない、
を仮定すれば
>0.99999……は１ではないし、
は自明だろ
バカか？
960:１３２人目の素数さん
19/10/09 09:37:48.71 vw6jBuCV.net
>>926
それは形式論理で語られる具体的な内容の話ですよね
形式論理の方法論自体がダメな理由をお願いします
961:１３２人目の素数さん
19/10/09 09:38:22.30 PFECpNHL.net
「数でないもの」≠1
は自明だろｗ バカ過ぎｗ
962:哀れな素人
19/10/09 09:41:08.77 WeQhCFU4.net
>>927
>>923の意味が読めないバカはお前（笑
>>928
方法論自体がダメだなどと書いた覚えはない（笑
お前はいつも僕が書いてもいないことに難癖をつけている（笑
963:哀れな素人
19/10/09 09:43:13.75 WeQhCFU4.net
ID:PFECpNHL
こいつはサル石と同類のバカである（笑
文章にアホさとチンピラ臭が滲み出ている（笑
964:１３２人目の素数さん
19/10/09 09:44:06.98 urLY5Vhi.net
>>930
>>922
＞ヒルベルトの数理論理学など無意味（笑
方法論がダメというにしか見えませんけど
でも、形式論理はいいわけですね
では、どのような公理を持ってきても、それが無矛盾なら議論は可能であることは理解できますよね？
正しい正しくないではなく
965:哀れな素人
19/10/09 09:55:55.85 WeQhCFU4.net
>>932
このことは何回も議論したはずだ（笑
火星人は存在しないのに
火星人が存在するという公理を立てても意味はない、と（笑
実無限は存在しないのだから、
実無限が存在するという無限公理を立てても意味はないのだ（笑
お前らは無限公理から矛盾が導かなければ無限公理を立ててもいい
と思っているが、無限公理からは必ず矛盾が出るのだ（笑
そもそも無限公理からどのような成果が出ているのか、教えてほしい（笑
たとえば0.99999……＝１は無限公理から導かれたのか、
それとも無限公理とは関係ないのか（笑
966:１３２人目の素数さん
19/10/09 09:57:47.10 vw6jBuCV.net
>>933
え？
安達さん形式論理は正しいとおっしゃいましたよね？
大事なのは存在するとか正しいとかではなく、矛盾があるかないかですよ
もしかして、わからないんですか…？
967:哀れな素人
19/10/09 10:05:29.26 WeQhCFU4.net
>もしかして、わからないんですか…？
またこういう文章（笑
わからないんですか
わからないんですか
わからないんですか
いつも利口ぶって人を小馬鹿にする（笑 アホのくせに（笑
だから無限公理からどんな成果が出ているのか（笑
お前がそれを挙げれば、それが矛盾であることを証明してやる（笑
さあ、さっさと挙げてみろ、利口ぶった中二のアホ少年（笑
968:哀れな素人
19/10/09 10:09:05.05 WeQhCFU4.net
>無限公理からは必ず矛盾が出るのだ（笑
と書いているのに、
>大事なのは存在するとか正しいとかではなく、矛盾があるかないかですよ
>もしかして、わからないんですか…？
と書くアホ（笑
こいつはいつも人のレスの意味が全然読めていない（笑
だからこいつと話すといつも延々と無駄な議論をすることになる（笑
969:１３２人目の素数さん
19/10/09 10:15:23.37 vw6jBuCV.net
>>935
ZFC公理系における集合論の公理はウィキペディアかなんかにあると思います
その中でどのような矛盾があるのか教えてくださ
970:い
971:１３２人目の素数さん
19/10/09 10:17:20.96 vw6jBuCV.net
もしかして、安達さん矛盾があることと間違っていることの区別がつかないのでしょうか
ありえませんね
972:哀れな素人
19/10/09 10:20:14.56 WeQhCFU4.net
矛盾はすぐに指摘できる（笑
しかしここに書いてしまうと
本にして出版した意味がなくなるから書かないのである（笑
可能無限なら矛盾は出ないが実無限を認めると矛盾が出るのである（笑
973:１３２人目の素数さん
19/10/09 10:24:02.39 vw6jBuCV.net
可能無限を形式化するとどうなりますか？
安達さんは形式論理を認めていたので、その枠組み内で定式化できるはずですね
974:哀れな素人
19/10/09 10:24:05.28 WeQhCFU4.net
>>938を見ても、この少年が
人を小馬鹿にしている少年であることがありありと分る（笑
この少年はいつもこのような文章を書く（笑
世の中に出て働いたことのないニートだから、
世間の人をみんなアホだと思っているらしい（笑
サル石もこれとまったく同類の世間知らずのアホニートである（笑
975:哀れな素人
19/10/09 10:29:13.32 WeQhCFU4.net
>>940
何のために形式化する必要があるのか（笑
お前は形式化しないと理解できないのか（笑
可能無限の意味が分っているなら形式化などする必要はない（笑
>>923でも読めば可能無限の意味は分かるはずだか、
お前は例によって人のレスをきちんと読まないから、
何度説明しても理解しない（笑
976:１３２人目の素数さん
19/10/09 11:46:24.03 dnyJAQK9.net
もし現代の数学の礎になってる、無限公理含むZFC公理系が矛盾を孕んでいるなら
（安達さんのためにわかりやすく言うと公理系ZFCにおける矛盾とは、
ZFC公理系から出発して、ある命題φに対してφと￢φの両方が証明できることを言います）
その数学的証明は（もし正しければ）とても価値のあるものだから
本としてじゃなく論文として出版してみたらどうなんです
977:１３２人目の素数さん
19/10/09 12:05:32.33 vw6jBuCV.net
>>942
でも、形式論理は正しいのだから形式化できるはずではないですか？
もしかしてできないんですか？
978:１３２人目の素数さん
19/10/09 12:06:40.88 DIpAeh8z.net
>>939
え？ 矛盾って「無限公理」の矛盾性を他のZF公理系から導けるってこと？
979:１３２人目の素数さん
19/10/09 12:22:31.33 rFFSRADX.net
なんのためって形式化こそが形而上学の基本戦略じゃん？
あなた前形而上学の参考書あげてなかったっけ？
現代数学の形式主義は認めてたんじゃないの？
意味わかってなくて参書あげてたの？
980:哀れな素人
19/10/09 12:30:05.82 WeQhCFU4.net
依然としてアホの巣（笑
無限公理の矛盾などすぐ指摘できると書いているだろが（笑
形式化、何のためにそんなものが必要なのか（笑
そもそもお前らのいう形式化とは何を指しているのか（笑
可能無限など簡単な定義で誰にでも分るのである（笑
もちろん形式化したければすればいいが（笑
981:１３２人目の素数さん
19/10/09 12:36:46.82 rFFSRADX.net
>>947
なんのために必要かも分からず参考書にあげてたの？
982:哀れな素人
19/10/09 12:48:10.75 WeQhCFU4.net
>参考書にあげてたの？
意味不明（笑
僕がどこかに参考書などを挙げたか？（笑
お前らが形式化が必要だというなら
お前らが勝手に形式化すればいい（笑
形式化などしなくても誰でも分る（笑
たとえば自然数など形式化などしなくても誰でも分っているのである（笑
形式化というと高級なことだと思っているアホども（笑
983:１３２人目の素数さん
19/10/09 12:49:25.28 vw6jBuCV.net
>>947
矛盾指摘してください
984:１３２人目の素数さん
19/10/09 12:52:59.06 rFFSRADX.net
あげてたやん。
形而上学の教科書？
985:哀れな素人
19/10/09 12:56:16.03 WeQhCFU4.net
>>950
だから質問少年よ、お前は人のレスを読まないから
そんな質問をするのである（笑
すでに、僕はここには書かない、と何度も書いているだろが（笑
僕はお前らに可能無限の意味を説明するためにここにいるのではないし、
無限公理の矛盾を指摘するためにここにいるのでもない（笑
お前らがお前ら自身で可能無限の意味や
無限公理の矛盾に気付いてくれるように誘導しているのである（笑
986:哀れな素人
19/10/09 12:59:07.26 WeQhCFU4.net
>>951
アリストテレスのことか？（笑
いっておくがアリストテレスは形式化などしていないぞ（笑
987:１３２人目の素数さん
19/10/09 13:00:17.72 DIpAeh8z.net
>>923
全順序かつ有限集合の上限はその集合の最大元と一致する
したがって「可能無限」などという概念は存在しない
はい論破
あとちなみにだけど君誤解してるだろうからきちんと言うけど
{{1,2,...,n} | nは自然数} みたいな集合は有限集合ではなくて無限集合ってこと理解出来る？
>>947
無限公理は他のZF公理系から矛盾が導けるか
YesかNoで答えろ
988:哀れな素人
19/10/09 13:00:2
989:7.96 ID:WeQhCFU4.net
990:哀れな素人
19/10/09 13:04:08.60 WeQhCFU4.net
>>954
はい論破男乙（笑
お前は可能無限の意味が分っていない（笑
無限公理が矛盾であることは無限公理自体から導ける（笑
昼はここまで（笑
991:１３２人目の素数さん
19/10/09 13:04:21.47 vw6jBuCV.net
>>952
矛盾がわからないから教えてくださいといってるんですけど
バカだから自分じゃ気づけないんです
992:１３２人目の素数さん
19/10/09 13:04:41.16 vw6jBuCV.net
昼はここまでが二つもありますね
993:１３２人目の素数さん
19/10/09 13:08:19.84 DIpAeh8z.net
>>956
分かってないとかじゃない
>>954に対して具体的に反論しろ
全順序かつ有限集合で上限の無い集合など存在しない
はやく具体的に数学的に公理から厳密に反論しろ
お前は何一つ数学的に論じていない
はやくしろ
どう矛盾が導けるのか具体的に
994:１３２人目の素数さん
19/10/09 13:15:24.92 DIpAeh8z.net
可能無限ってマジ誰がこんなトンデモ数学作ったんだ？
いくら調べても碌な定義がないｗｗ
全順序かつ有限集合で上限の無いものからなる集合が定義だとしたら空集合のことだな
空集合じゃないというなら集合論の言葉を使うな
有限集合とか上限とか実はちゃんとした定義知らないだろこの可能無限界隈のゴミ人間どもは
995:１３２人目の素数さん
19/10/09 13:16:45.50 dypXKMJs.net
京大でもわかったふりだけしてたんだろうな。
996:１３２人目の素数さん
19/10/09 13:20:00.44 b/ijEmcL.net
可能無限はアリストテレスらしいです
可能無限の下らなさは直観主義へと続いていきます
997:１３２人目の素数さん
19/10/09 13:36:56.90 rFFSRADX.net
そもそも広辞苑の形式主義のとこに数学の話出てないのかな？
998:１３２人目の素数さん
19/10/09 14:20:54.33 VcMyVjFB.net
無限集合の公理だけから自身の矛盾を示せるってすごいこと主張してるなこのひと
和集合とか空集合とか以前に、外延性公理無しでどうやって集合として扱えるのかが理解できん
999:１３２人目の素数さん
19/10/09 17:05:39.15 yhIbqu0C.net
x≠xは矛盾じゃなくて
無限公理は矛盾か
こいつの脳内妄想国語辞典では「矛盾」の定義が「自分に都合の悪いもの」なんだろうな
1000:哀れな素人
19/10/09 17:30:35.29 WeQhCFU4.net
依然としてアホの巣（笑
お前らよりサル石の方が可能無限についてよく理解している（笑
何しろ可能無限とは何かについてガロアスレでさんざん説明してやったから（笑
ただサル石がアホなのは、あいつは実無限を信じていることである（笑
それさえ除けばサル石の方がお前らよりよく理解している（笑
1001:１３２人目の素数さん
19/10/09 17:30:49.04 tkH1in/x.net
ガッコで無限小数の定義決めてんだから、まずはそれに則って議論しましょうよ
その上で、別途自分で明確な別の定義を行えばいい。
野矢センセもお願いしますよ
1002:１３２人目の素数さん
19/10/09 17:36:34.48 DIpAeh8z.net
>>966
無限公理の矛盾性を示せ
1003:哀れな素人
19/10/09 17:39:02.96 WeQhCFU4.net
回顧談
僕が最初の数学本を出したのは2016年だ。
そのときは実無限とか可能無限などという語は知らなかった。
その後ヤフー掲示板でサル石と市川氏が論争しているのを知り、
そのとき初めて実無限とか可能無限という語を知ったのだ。
そして人間が古来無限と呼んできたものは可能無限のことだと分った。
ちなみに改訂版を出したのは今年。
しかし実無限とか可能無限という語は使わなかった。
なぜなら正式な数学用語でもなく、
一般に浸透している用語でもないと思ったからである。
1004:哀れな素人
19/10/09 17:45:42.10 WeQhCFU4.net
無限公理という、あの意味不明な証明を読んでも、
ただ単に自然数はいくらでも作れますよ、
ということを証明しているだけとしか思えない（笑
そして自然数はいくらでも作れますよ、
ということは可能無限であって実無限ではないのである（笑
今夕はここまで（笑
1005:１３２人目の素数さん
19/10/09 17:51:29.77 DIpAeh8z.net
>>970
無限公理の証明？？？？
なにをトンチンカンなこと言ってるの？ 公理は証明するものではないって散々言ってるよね
やっぱり「公理」がどんなものか全く理解してないじゃん
やっぱりか
やっぱり想像通りの究極ゴミ脳みそだったか
人の話を全く聞かないすんんんごいレベルの白痴
1006:哀れな素人
19/10/09 18:41:37.47 WeQhCFU4.net
>究極ゴミ脳みそ
>人の話を全く聞かないすんんんごいレベルの白痴
それがお前（笑
無限公理は公理ではないと何度も書いているのに�
1007:揄ﾅきないアホ（笑
1008:１３２人目の素数さん
19/10/09 18:56:18.89 vw6jBuCV.net
無限公理が公理ではないということは定理だということですか？
証明お願いしますね
1009:哀れな素人
19/10/09 19:05:58.59 WeQhCFU4.net
公理でもなければ定理でもない（笑
>証明お願いしますね
いつもこうして人にお願いする乞食（笑
ニートだから他人が全部やってくれると思っている（笑
1010:１３２人目の素数さん
19/10/09 19:06:30.09 vw6jBuCV.net
今まで誰も公理を証明することなんてできてませんからね
安達さんがするしかないですよ
1011:哀れな素人
19/10/09 19:09:39.71 WeQhCFU4.net
>公理でもなければ定理でもない（笑
と書いているのに>>975のようなレスを書くアホ（笑
こいつがいかに他人のレスを読んでいないか分る（笑
こいつを相手にするといつもこうだ（笑
そしてやることがないアホニートだから
延々と質問攻めにしてくる（笑
1012:１３２人目の素数さん
19/10/09 19:18:35.72 N6K1JaVI.net
はいはい失礼しました
では、無限公理は公理ではないとはどのようなことですか？
矛盾があるから公理として採用できないということでしょうか
1013:１３２人目の素数さん
19/10/09 19:21:20.77 gm3ls/Yz.net
>>918で「有限集合の上限が存在しない」といったのは
単に「最大の有限集合は存在しない」という意味
1014:１３２人目の素数さん
19/10/09 19:28:50.49 PFECpNHL.net
>>935
>いつも利口ぶって人を小馬鹿にする（笑 アホのくせに（笑
小馬鹿になんてしてません
だっておまえ大馬鹿じゃんｗ
1015:哀れな素人
19/10/09 19:30:20.61 WeQhCFU4.net
>>977
何度も説明している（笑
可能無限は認めるが実無限は認めない、と（笑
無限公理が可能無限公理なら認めるが実無限公理なら認めない、と（笑
>>978
サル石よ、それも正しいのである（笑
とにかくここの連中はお前が理解していることを理解していない（笑
1016:哀れな素人
19/10/09 19:32:18.41 WeQhCFU4.net
>>979
大馬鹿はお前（笑
文章にアホさが露骨に現れている（笑
1017:１３２人目の素数さん
19/10/09 19:34:48.01 N6K1JaVI.net
>>980
無限公理は可能無限公理でも実無限公理でもないですよ
「無限公理」です
漢字読めます？
で、可能無限公理ってなんですか？
定義してみてください
1018:哀れな素人
19/10/09 19:41:13.87 WeQhCFU4.net
>>982
お前のアホさに心底呆れる（笑
これまで延々とお前の相手をしてきてやったのに、
一体どこを読んでいたのか（笑
可能無限について僕がどう説明していたか、
過去レスを全部読み返せ（笑
ちなみにサル石は可能無限とはどういうものか知っているのだ（笑
お前にもサル石同様に可能無限の意味を説明してきてやったのに、
依然として何も分っていない（笑
1019:１３２人目の素数さん
19/10/09 19:41:52.16 N6K1JaVI.net
可能無限はわかりましたけど可能無限公理については何も教えてもらってませんね
1020:哀れな素人
19/10/09 19:46:23.92 WeQhCFU4.net
次スレ
0.99999……は１ではない その２
ｽﾚﾘﾝｸ(math板)
早くも質問少年のアホが投稿している（笑
>>984
お前は可能無限が分っていない（笑
可能無限公理とは可能無限が存在するという公理である（笑
バカか、お前は（笑
1021:１３２人目の素数さん
19/10/09 19:47:05.58 N6K1JaVI.net
では、実無限とは実無限が存在する、という定義ですか？
無限公理はそんな公理ではないですよ？
1022:１３２人目の素数さん
19/10/09 19:47:35.66 N6K1JaVI.net
では、実無限公理は実無限が存在する、という公理ですか？
無限公理はそんな公理ではないですよ？
1023:哀れな素人
19/10/09 19:49:54.02 WeQhCFU4.net
↑見よ、このキチガイのような矢継ぎ早の連投（笑
では無限公理とは何なのか（笑
1024:１３２人目の素数さん
19/10/09 19:50:40.33 PFECpNHL.net
>>936
>無限公理からは必ず矛盾が出るのだ（笑
おまえの言う矛盾ってせいぜい
「無限は完結しないのに無限集合は完結している」
とかその程度のアホな屁理屈だろ？
ケーキを切る行為には時間がかかるから無限に切る行為は完結しないが
0+0+…は初めから完結した0である。
なぜなら足し算に時間という概念が無く、1+1は時間t(>0)後に2になるのではなく最初から2だからだ
つまりケーキの例えは例えになってない
1025:安達数学では足し算に時間t(>0)を要するのか知らんが、数学ではそんなものは認められない。 おまえの屁理屈は安達数学の中でだけ通用する。数学では通用しない。 分ったらさっさと数学板から出て行け
1026:１３２人目の素数さん
19/10/09 19:51:25.20 N6K1JaVI.net
え？
そんなことも知らずに批判してたんですか……(笑)(笑)(笑)？
1027:哀れな素人
19/10/09 19:53:32.43 WeQhCFU4.net
ID:PFECpNHL
これはたぶんサル石だ（笑
アホ丸出し（笑
ケーキの話は時間とは何の関係もない（笑
1028:１３２人目の素数さん
19/10/09 19:54:42.88 N6K1JaVI.net
安達さんは無限公理が何かも知らずに批判してたんですね(笑)
1029:１３２人目の素数さん
19/10/09 19:55:14.61 PFECpNHL.net
安達はアホ本を自費出版したように、安達数学板を自費で立ち上げたらいい
サーバから何から全部自費でなｗ
ここは安達数学板ではなく数学板だからおまえの好き勝手は許さん
1030:１３２人目の素数さん
19/10/09 19:56:20.76 PFECpNHL.net
>>991
>ケーキの話は時間とは何の関係もない（笑
じゃあ食べ尽くせないとする理由は？
1031:１３２人目の素数さん
19/10/09 19:56:55.40 PFECpNHL.net
安達よ
無限公理の式くらい書けや
おまえ脳みそ無いの？
1032:哀れな素人
19/10/09 20:01:06.44 WeQhCFU4.net
>>990
こうして利口ぶって人を小馬鹿にしたようなことを書く（笑
無限公理とは無限集合が存在するという公理だが、
その無限集合が実無限集合か可能無限集合か
という話をしているのであって、話の流れから、
可能無限公理とは可能無限集合が存在する、という意味だが、
それは暗黙の了解として分っているものとして
可能無限公理とは可能無限が存在するという公理だ、
と書いているのだが、たぶんこの少年は、
無限公理とは無限集合が存在するという公理ですよ、
という揚げ足取りをしたいのである（笑
とにかく人を小馬鹿にしなければ気が済まない少年なのだ（笑
ここで一時間ほど中断（笑
1033:１３２人目の素数さん
19/10/09 20:01:22.57 PFECpNHL.net
ケーキを無限個に切り食べる
切ったり食べたりが時間０でできるなら食べ尽くせるわなｗ
自分の持論も理解できないバカ それが安達ｗ
数列のときもそうだけど安達は数学はもちろん安達数学も理解していないｗ
バカ丸出しｗ
1034:１３２人目の素数さん
19/10/09 20:02:19.29 PFECpNHL.net
>>996
安心しろ、誰もおまえを小馬鹿になんてしてない
だっておまえ大馬鹿じゃんｗ
1035:１３２人目の素数さん
19/10/09 20:03:23.18 vw6jBuCV.net
>>996
可能無限集合が存在する？？？？
あなた可算無限と可能無限、非可算無限と実無限、色々混同してるんじゃないですか？
1036:１３２人目の素数さん
19/10/09 20:04:50.17 PFECpNHL.net
バカ安達が可算無限と非可算無限を区別できる訳が無いｗ
1037:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 25日 21時間 40分 13秒
1038:1002
Over 1000 Thread.net
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
──────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
──────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
▼ プレミアム会員登録はこちら ▼
URLﾘﾝｸ(premium.5ch.net)
▼ 浪人ログインはこちら ▼
URLﾘﾝｸ(login.5ch.net)
1039:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています