19/10/09 12:22:31.33 rFFSRADX.net
なんのためって形式化こそが形而上学の基本戦略じゃん?
あなた前形而上学の参考書あげてなかったっけ?
現代数学の形式主義は認めてたんじゃないの?
意味わかってなくて参書あげてたの?
980:哀れな素人
19/10/09 12:30:05.82 WeQhCFU4.net
依然としてアホの巣(笑
無限公理の矛盾などすぐ指摘できると書いているだろが(笑
形式化、何のためにそんなものが必要なのか(笑
そもそもお前らのいう形式化とは何を指しているのか(笑
可能無限など簡単な定義で誰にでも分るのである(笑
もちろん形式化したければすればいいが(笑
981:132人目の素数さん
19/10/09 12:36:46.82 rFFSRADX.net
>>947
なんのために必要かも分からず参考書にあげてたの?
982:哀れな素人
19/10/09 12:48:10.75 WeQhCFU4.net
>参考書にあげてたの?
意味不明(笑
僕がどこかに参考書などを挙げたか?(笑
お前らが形式化が必要だというなら
お前らが勝手に形式化すればいい(笑
形式化などしなくても誰でも分る(笑
たとえば自然数など形式化などしなくても誰でも分っているのである(笑
形式化というと高級なことだと思っているアホども(笑
983:132人目の素数さん
19/10/09 12:49:25.28 vw6jBuCV.net
>>947
矛盾指摘してください
984:132人目の素数さん
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:132人目の素数さん
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:132人目の素数さん
19/10/09 13:04:21.47 vw6jBuCV.net
>>952
矛盾がわからないから教えてくださいといってるんですけど
バカだから自分じゃ気づけないんです
992:132人目の素数さん
19/10/09 13:04:41.16 vw6jBuCV.net
昼はここまでが二つもありますね
993:132人目の素数さん
19/10/09 13:08:19.84 DIpAeh8z.net
>>956
分かってないとかじゃない
>>954に対して具体的に反論しろ
全順序かつ有限集合で上限の無い集合など存在しない
はやく具体的に数学的に公理から厳密に反論しろ
お前は何一つ数学的に論じていない
はやくしろ
どう矛盾が導けるのか具体的に
994:132人目の素数さん
19/10/09 13:15:24.92 DIpAeh8z.net
可能無限ってマジ誰がこんなトンデモ数学作ったんだ?
いくら調べても碌な定義がないww
全順序かつ有限集合で上限の無いものからなる集合が定義だとしたら空集合のことだな
空集合じゃないというなら集合論の言葉を使うな
有限集合とか上限とか実はちゃんとした定義知らないだろこの可能無限界隈のゴミ人間どもは
995:132人目の素数さん
19/10/09 13:16:45.50 dypXKMJs.net
京大でもわかったふりだけしてたんだろうな。
996:132人目の素数さん
19/10/09 13:20:00.44 b/ijEmcL.net
可能無限はアリストテレスらしいです
可能無限の下らなさは直観主義へと続いていきます
997:132人目の素数さん
19/10/09 13:36:56.90 rFFSRADX.net
そもそも広辞苑の形式主義のとこに数学の話出てないのかな?
998:132人目の素数さん
19/10/09 14:20:54.33 VcMyVjFB.net
無限集合の公理だけから自身の矛盾を示せるってすごいこと主張してるなこのひと
和集合とか空集合とか以前に、外延性公理無しでどうやって集合として扱えるのかが理解できん
999:132人目の素数さん
19/10/09 17:05:39.15 yhIbqu0C.net
x≠xは矛盾じゃなくて
無限公理は矛盾か
こいつの脳内妄想国語辞典では「矛盾」の定義が「自分に都合の悪いもの」なんだろうな
1000:哀れな素人
19/10/09 17:30:35.29 WeQhCFU4.net
依然としてアホの巣(笑
お前らよりサル石の方が可能無限についてよく理解している(笑
何しろ可能無限とは何かについてガロアスレでさんざん説明してやったから(笑
ただサル石がアホなのは、あいつは実無限を信じていることである(笑
それさえ除けばサル石の方がお前らよりよく理解している(笑
1001:132人目の素数さん
19/10/09 17:30:49.04 tkH1in/x.net
ガッコで無限小数の定義決めてんだから、まずはそれに則って議論しましょうよ
その上で、別途自分で明確な別の定義を行えばいい。
野矢センセもお願いしますよ
1002:132人目の素数さん
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:132人目の素数さん
19/10/09 17:51:29.77 DIpAeh8z.net
>>970
無限公理の証明????
なにをトンチンカンなこと言ってるの? 公理は証明するものではないって散々言ってるよね
やっぱり「公理」がどんなものか全く理解してないじゃん
やっぱりか
やっぱり想像通りの究極ゴミ脳みそだったか
人の話を全く聞かないすんんんごいレベルの白痴
1006:哀れな素人
19/10/09 18:41:37.47 WeQhCFU4.net
>究極ゴミ脳みそ
>人の話を全く聞かないすんんんごいレベルの白痴
それがお前(笑
無限公理は公理ではないと何度も書いているのに�
1007:揄ナきないアホ(笑
1008:132人目の素数さん
19/10/09 18:56:18.89 vw6jBuCV.net
無限公理が公理ではないということは定理だということですか?
証明お願いしますね
1009:哀れな素人
19/10/09 19:05:58.59 WeQhCFU4.net
公理でもなければ定理でもない(笑
>証明お願いしますね
いつもこうして人にお願いする乞食(笑
ニートだから他人が全部やってくれると思っている(笑
1010:132人目の素数さん
19/10/09 19:06:30.09 vw6jBuCV.net
今まで誰も公理を証明することなんてできてませんからね
安達さんがするしかないですよ
1011:哀れな素人
19/10/09 19:09:39.71 WeQhCFU4.net
>公理でもなければ定理でもない(笑
と書いているのに>>975のようなレスを書くアホ(笑
こいつがいかに他人のレスを読んでいないか分る(笑
こいつを相手にするといつもこうだ(笑
そしてやることがないアホニートだから
延々と質問攻めにしてくる(笑
1012:132人目の素数さん
19/10/09 19:18:35.72 N6K1JaVI.net
はいはい失礼しました
では、無限公理は公理ではないとはどのようなことですか?
矛盾があるから公理として採用できないということでしょうか
1013:132人目の素数さん
19/10/09 19:21:20.77 gm3ls/Yz.net
>>918で「有限集合の上限が存在しない」といったのは
単に「最大の有限集合は存在しない」という意味
1014:132人目の素数さん
19/10/09 19:28:50.49 PFECpNHL.net
>>935
>いつも利口ぶって人を小馬鹿にする(笑 アホのくせに(笑
小馬鹿になんてしてません
だっておまえ大馬鹿じゃんw
1015:哀れな素人
19/10/09 19:30:20.61 WeQhCFU4.net
>>977
何度も説明している(笑
可能無限は認めるが実無限は認めない、と(笑
無限公理が可能無限公理なら認めるが実無限公理なら認めない、と(笑
>>978
サル石よ、それも正しいのである(笑
とにかくここの連中はお前が理解していることを理解していない(笑
1016:哀れな素人
19/10/09 19:32:18.41 WeQhCFU4.net
>>979
大馬鹿はお前(笑
文章にアホさが露骨に現れている(笑
1017:132人目の素数さん
19/10/09 19:34:48.01 N6K1JaVI.net
>>980
無限公理は可能無限公理でも実無限公理でもないですよ
「無限公理」です
漢字読めます?
で、可能無限公理ってなんですか?
定義してみてください
1018:哀れな素人
19/10/09 19:41:13.87 WeQhCFU4.net
>>982
お前のアホさに心底呆れる(笑
これまで延々とお前の相手をしてきてやったのに、
一体どこを読んでいたのか(笑
可能無限について僕がどう説明していたか、
過去レスを全部読み返せ(笑
ちなみにサル石は可能無限とはどういうものか知っているのだ(笑
お前にもサル石同様に可能無限の意味を説明してきてやったのに、
依然として何も分っていない(笑
1019:132人目の素数さん
19/10/09 19:41:52.16 N6K1JaVI.net
可能無限はわかりましたけど可能無限公理については何も教えてもらってませんね
1020:哀れな素人
19/10/09 19:46:23.92 WeQhCFU4.net
次スレ
0.99999……は1ではない その2
スレリンク(math板)
早くも質問少年のアホが投稿している(笑
>>984
お前は可能無限が分っていない(笑
可能無限公理とは可能無限が存在するという公理である(笑
バカか、お前は(笑
1021:132人目の素数さん
19/10/09 19:47:05.58 N6K1JaVI.net
では、実無限とは実無限が存在する、という定義ですか?
無限公理はそんな公理ではないですよ?
1022:132人目の素数さん
19/10/09 19:47:35.66 N6K1JaVI.net
では、実無限公理は実無限が存在する、という公理ですか?
無限公理はそんな公理ではないですよ?
1023:哀れな素人
19/10/09 19:49:54.02 WeQhCFU4.net
↑見よ、このキチガイのような矢継ぎ早の連投(笑
では無限公理とは何なのか(笑
1024:132人目の素数さん
19/10/09 19:50:40.33 PFECpNHL.net
>>936
>無限公理からは必ず矛盾が出るのだ(笑
おまえの言う矛盾ってせいぜい
「無限は完結しないのに無限集合は完結している」
とかその程度のアホな屁理屈だろ?
ケーキを切る行為には時間がかかるから無限に切る行為は完結しないが
0+0+…は初めから完結した0である。
なぜなら足し算に時間という概念が無く、1+1は時間t(>0)後に2になるのではなく最初から2だからだ
つまりケーキの例えは例えになってない
1025:安達数学では足し算に時間t(>0)を要するのか知らんが、数学ではそんなものは認められない。 おまえの屁理屈は安達数学の中でだけ通用する。数学では通用しない。 分ったらさっさと数学板から出て行け
1026:132人目の素数さん
19/10/09 19:51:25.20 N6K1JaVI.net
え?
そんなことも知らずに批判してたんですか……(笑)(笑)(笑)?
1027:哀れな素人
19/10/09 19:53:32.43 WeQhCFU4.net
ID:PFECpNHL
これはたぶんサル石だ(笑
アホ丸出し(笑
ケーキの話は時間とは何の関係もない(笑
1028:132人目の素数さん
19/10/09 19:54:42.88 N6K1JaVI.net
安達さんは無限公理が何かも知らずに批判してたんですね(笑)
1029:132人目の素数さん
19/10/09 19:55:14.61 PFECpNHL.net
安達はアホ本を自費出版したように、安達数学板を自費で立ち上げたらいい
サーバから何から全部自費でなw
ここは安達数学板ではなく数学板だからおまえの好き勝手は許さん
1030:132人目の素数さん
19/10/09 19:56:20.76 PFECpNHL.net
>>991
>ケーキの話は時間とは何の関係もない(笑
じゃあ食べ尽くせないとする理由は?
1031:132人目の素数さん
19/10/09 19:56:55.40 PFECpNHL.net
安達よ
無限公理の式くらい書けや
おまえ脳みそ無いの?
1032:哀れな素人
19/10/09 20:01:06.44 WeQhCFU4.net
>>990
こうして利口ぶって人を小馬鹿にしたようなことを書く(笑
無限公理とは無限集合が存在するという公理だが、
その無限集合が実無限集合か可能無限集合か
という話をしているのであって、話の流れから、
可能無限公理とは可能無限集合が存在する、という意味だが、
それは暗黙の了解として分っているものとして
可能無限公理とは可能無限が存在するという公理だ、
と書いているのだが、たぶんこの少年は、
無限公理とは無限集合が存在するという公理ですよ、
という揚げ足取りをしたいのである(笑
とにかく人を小馬鹿にしなければ気が済まない少年なのだ(笑
ここで一時間ほど中断(笑
1033:132人目の素数さん
19/10/09 20:01:22.57 PFECpNHL.net
ケーキを無限個に切り食べる
切ったり食べたりが時間0でできるなら食べ尽くせるわなw
自分の持論も理解できないバカ それが安達w
数列のときもそうだけど安達は数学はもちろん安達数学も理解していないw
バカ丸出しw
1034:132人目の素数さん
19/10/09 20:02:19.29 PFECpNHL.net
>>996
安心しろ、誰もおまえを小馬鹿になんてしてない
だっておまえ大馬鹿じゃんw
1035:132人目の素数さん
19/10/09 20:03:23.18 vw6jBuCV.net
>>996
可能無限集合が存在する????
あなた可算無限と可能無限、非可算無限と実無限、色々混同してるんじゃないですか?
1036:132人目の素数さん
19/10/09 20:04:50.17 PFECpNHL.net
バカ安達が可算無限と非可算無限を区別できる訳が無いw
1037:1001
Over 1000 Thread.net
このスレッドは1000を超えました。
新しいスレッドを立ててください。
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:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています