21/02/05 12:32:29.35 mYWLxS73.net
食肉加工される人
URLﾘﾝｸ(img.erogazopple.com)
串焼きされる人
URLﾘﾝｸ(img.erogazopple.com)
URLﾘﾝｸ(img.erogazopple.com)
URLﾘﾝｸ(img.erogazopple.com)
URLﾘﾝｸ(img.erogazopple.com)
URLﾘﾝｸ(img.erogazopple.com)
URLﾘﾝｸ(img.erogazopple.com)
23:0.99999…は１である
21/02/05 14:12:23.60 Z6vXAk9R.net
>>20
>頭の中で、まず0+0.5=0.5と計算して､
>そのあとで、答えの0.5を1/2に換算しているのである
いやｗ
頭の中で、0.5×2=1、1/2×2=1と計算して
0.5×2=1/2×2から両辺の×2を取っ払って
0.5=1/2と推論しているのである
そんな初歩的な推論もわからんか 耄碌爺ｗ
24:0.99999…は１である
21/02/05 14:17:45.48 Z6vXAk9R.net
>>20
>われわれは、まず0+0.999…=0.999…と計算して､
>そのあとで、答えの0.999…を1に換算するのだが､
いやｗ
貴様以外の人類は、1-0.999…=0.000…で
左辺中の0.999…の小数点以下のどの桁も9であるから
右辺の小数の小数点以下のどの桁も0にしかなり得ない
と理解した上で、右辺が0であると認識したから
-0.999…を右辺に移項して1=0.999…と推論しているのである
そんな初歩的な推論もわからんか 耄碌爺ｗ
25:１３２人目の素数さん
21/02/05 14:57:57.03 6PiUpIrX.net
数式が個々人の頭の中の考えに依存するなら、そもそも共通言語の用を成さない
阿呆もここまでくると矯正不能
26:0.99999…は１である
21/02/05 15:04:37.86 Z6vXAk9R.net
>>25
いや、数式以前の問題だよ
共通言語？そんなものがあるとおもってるのか？ナイーブだなｗ
安達は頑固だから死ぬまで無限を受け入れられないだろう
27:１３２人目の素数さん
21/02/05 15:08:54.03 6PiUpIrX.net
共通言語が無いならおまえはどうやって他人と意思疎通するのか？
28:0.99999…は１である
21/02/05 15:16:16.89 Z6vXAk9R.net
そもそも意思疎通は幻想
あなたはわたしではなく、わたしはあなたではない
この言葉につきる
29:0.99999…は１である
21/02/05 15:19:29.93 Z6vXAk9R.net
IUT狂賛君は、日本人なら理屈ぬきにIUT支持すべきと思ってるが
私は日本人とかいう以前に
30:数学を理解したいので、 たかが日本人だとかいうだけでの理屈抜きの支持はありえない 意思疎通は幻想だということがよくわかるだろう
31:１３２人目の素数さん
21/02/05 15:34:19.00 6PiUpIrX.net
意思疎通が幻想ならなぜおまえは数学板にいるのか？
32:0.99999…は１である
21/02/05 15:36:10.39 Z6vXAk9R.net
暇だから！（ドヤ顔）
おまえもそうだろ？正直になれよ クソガキｗ
33:１３２人目の素数さん
21/02/05 15:37:08.39 6PiUpIrX.net
意味不明
意思疎通ができないのなら、数学板に来たとて暇であることに変わりはない
34:0.99999…は１である
21/02/05 15:38:50.79 Z6vXAk9R.net
意味明解ｗ
自分の言ったことに対する相手の反応を楽しめばいい
おまえ、もしかしてセックスしたことない童貞？
35:１３２人目の素数さん
21/02/05 15:39:39.59 6PiUpIrX.net
おまえの数学知識はすべておまえ独りで発見したものか？
数式の共通言語性を否定するからには、おまえは数学書から学べないはずだ
36:１３２人目の素数さん
21/02/05 15:42:27.40 Z6vXAk9R.net
>>34
学習は誤解がつきものだｗ
おまえ、数学の勉強したことない中卒？
37:１３２人目の素数さん
21/02/05 15:44:51.04 Z6vXAk9R.net
>>34
数学理解が共通とか言ってるヤツはセックスしたことない童貞
単純に「同値類」というだけであって、全く同じ元なんて言えない
38:0.99999…は１である
21/02/05 15:47:11.39 Z6vXAk9R.net
例えば一般の線型空間で成り立つ命題について
差異が認められないからといって、
自分と相手がそもそも同じ体で考えてるかどうか
わかったもんではない
自分はナイーブに実数体で考えてたが
相手は複素数体で考えてたかもしれんし
あるいはｐ進体で考えてたかもしれんｗ
39:１３２人目の素数さん
21/02/05 15:48:20.10 6PiUpIrX.net
誤解は数式が原因か？つまりその数式が修正されていたら誤解を生じ得なかったか？
違うだろ？ならば数式の共通言語性を否定する根拠にならない
40:0.99999…は１である
21/02/05 15:52:31.20 Z6vXAk9R.net
>>38
誤解は数式以前にあるｗ
つまり数式は共通言語ではない
おまえ数式は共通言語だとおもってたの？
おまえ女とセックスしたことない童貞？
41:１３２人目の素数さん
21/02/05 15:54:49.65 6PiUpIrX.net
考えているスカラー空間が明確でなければ一般に命題たり得ない
もし命題たり得るならそれはスカラー空間の違いに依存しない命題なのだから、相手が異なるスカラー空間で考えていても何ら問題無い
42:１３２人目の素数さん
21/02/05 15:55:54.62 6PiUpIrX.net
誤解の原因が数式以前にあるのなら、数式の共通言語性を否定する根拠にならない
おまえもしかしてバカ？
43:１３２人目の素数さん
21/02/05 15:56:44.97 Z6vXAk9R.net
「0.99999…が小数点以下すべての桁で9となる小数」
という言葉の意味は安達も理解したようだ
しかし、安達は理解した上で
「おまえらのいうすべての桁なんて存在しない
桁は無限に延長できるから、それらが同時に存在できるわけがない
そんな小数は存在しない」
といっている 要するに「無限集合」を否定してる
この時点でキリスト教徒と仏教徒のごとく違う
ユダヤ教徒とかイスラム教徒ならともかく
仏教徒をキリスト教徒に改宗させるのは無理
44:0.99999…は１である
21/02/05 15:58:39.35 Z6vXAk9R.net
>>41
誤解の原因が数式以前にあるのだから
数式を用いたところで共通言語になり得ない
おまえこそ白痴だろ？
高校の偏差値いくつだ？４０以下だろ？
IQ８５以下か？平均ー1σ以下だろ
45:0.99999…は１である
21/02/05 16:00:11.85 Z6vXAk9R.net
>>40
命題＝証明可能か反証可能、とおもってる？
おまえ中卒かよｗｗｗ
46:0.99999…は１である
21/02/05 16:02:52.18 Z6vXAk9R.net
安達が有限主義者だから馬鹿にしてるのではない
安達が有限主義者としても底が浅いから馬鹿にしている
徹底的に有限主義の立場で現代数学を解釈しなおせｗ
47:１３２人目の素数さん
21/02/05 16:03:54.93 6PiUpIrX.net
>要するに「無限集合」を否定してる
だから阿呆爺は数学板に来るべきではないと言っている
自分でサイトでも何でも作って同類たちだけで無限公理の無い数学を好きなだけ語り合えばよい
48:0.99999…は１である
21/02/05 16:06:19.48 Z6vXAk9R.net
>>46
別に無限集合を否定したければすればいい
無限集合を否定しても現代数学の結果と
実質的に同じことができるというなら
それはそれで一つの成果であるから
やってみればいい
まあしかし国文科には無理だろう
馬鹿にしてるのではなく
そもそも実力がないといっている
（実力がないというのは侮蔑でもなんでもない）
49:１３２人目の素数さん
21/02/05 16:08:34.14 Z6vXAk9R.net
安達はIUT狂賛野郎に比べれば、はるかに「誠実」である
別に在日朝鮮人だの部落民だのとかいうのは痛くも痒くもない
朝鮮人のほうが日本人よりもはるかに先進的であるし
部落民のほうが貴族なんぞよりはるかに善良であるｗ
50:１３２人目の素数さん
21/02/05 16:11:00.14 Z6vXAk9R.net
IUT狂賛野郎はとにかくウソつきである
理解もできないことを理解したとウソをつくことばかり考えている
実際には大学１年のεδも行列の正則性も理解できない馬鹿だと露見しているのに
いやそもそも集合の∈の意味すら理解してない
これはさすがに酷い こんなバカでも国立大学に受かるんだな
日本の数学教育がいかに劣悪であるかわかろうってもんだｗ
51:１３２人目の素数さん
21/02/05 16:13:23.08 Z6vXAk9R.net
整数の集合と、偶数の集合と奇数の集合を要素とする集合は、全く異なる
しかし、IUT狂賛馬鹿は、{}のつく位置が違うだけであとは同じだとほざく
｛｝のつく位置こそが重要なんだ、馬鹿ｗ
52:１３２人目の素数さん
21/02/05 16:23:20.91 6PiUpIrX.net
>>43
じゃなんでおまえは日本語しゃべってるの？
>>44
妄想乙
命題とはその真偽が人に依存せず定まる主張。
例１「あの犬はかわいい」・・・見る人の主観に左右されるので命題ではない。
例２「ゼータ関数の非自明なゼロ点の実数部は1/2である」・・・反例があれば偽、さもなくば真。人に依存しないので命題である。
例３「空でない集合族の直積は空でない」・・・同じく命題であるが、ZF公理系において証明も反証もできない。
53:0.99999…は１である
21/02/05 16:24:29.25 Z6vXAk9R.net
>>51
＞じゃなんでおまえは日本語しゃべってるの？
おまえ、ホントアホだな
高校どこだよ 偏差値いくつ？ｗ
54:１３２人目の素数さん
21/02/05 16:29:22.97 Z6vXAk9R.net
＞命題とはその真偽が人に依存せず定まる主張。
だろ？それって論理学でいうところの
トートロジーとアンチトートロジー
しかないじゃんｗ
＞例２「ゼータ関数の非自明なゼロ点の実数部は1/2である」
＞・・・反例があれば偽、さもなくば真。人に依存しないので命題である。
反例が具体的に構成できれば偽だが、
そうでなければ真、というなら貴様は甘いｗ
モデルに依存する場合、あるモデルでは真だが
別のモデルでは反例があるということになる
これは「どのモデルでも存在する反例」とは異なる
つまり貴様のいう意味での命題でない可能性がある
＞例３「空でない集合族の直積は空でない」
＞・・・同じく命題であるが、ZF公理系において証明も反証もできない。
いや、ZF公理系では命題ではないな
つまりあるモデルでは真だが、別のモデルでは偽となるから
おまえさ、アタマわるいだろｗ
55:１３２人目の素数さん
21/02/05 16:33:15.15 Z6vXAk9R.net
「無限集合が存在する」というのは
ID:Z6vXAk9Rのいう
「その真偽が人に依存せず定まる主張」
という基準に照らせば命題でない
無限公理を除いた集合論では
上記は真偽が定まらない
無限集合が存在する集合論のモデルも
存在しない集合論のモデルもあるから
56:１３２人目の素数さん
21/02/05 16:34:36.81 Z6vXAk9R.net
もちろん「無限公理を前提すれば」とつければ命題になる
で、「無限公理は偽だ」というなら、それを証明する必要があるが
まあ、もしそうだとしても、安達には無理だろうｗ
57:１３２人目の素数さん
21/02/05 16:36:17.66 6PiUpIrX.net
>いや、ZF公理系では命題ではないな
>つまりあるモデルでは真だが、別のモデルでは偽となるから
真となるモデルと偽となるモデル、それぞれの例を挙げてみて
当然だけど、それらの例はZF公理系内なんだよね？
58:１３２人目の素数さん
21/02/05 16:37:08.78 Z6vXAk9R.net
ついでにいうと「1の自然対数は0である」は正確ではない
±2πin (n∈N）の任意性があるから
屁理屈？いやいや複素解析や複素幾何ではこれこそが重要だから
59:１３２人目の素数さん
21/02/05 16:40:21.79 Z6vXAk9R.net
>>56
フォーシングの本でも読んでくれ
ま、でも中卒で童貞の貴様には無理だろうなｗ
＞当然だけど、それらの例はZF公理系内なんだよね？
おまえZFで、選択公理が証明できると思ってる？ｗ
60:残り1本がキレ｢た｣儂
21/02/05 16:41:08.66 mYWLxS73.net
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 と書いて後輩に叱られる大愚人｡
61:１３２人目の素数さん
21/02/05 16:41:37.65 Z6vXAk9R.net
もしある命題Pが、ある理論で証明も反証もできないならば
Pを真とするモデルもPを偽とするモデルもある
これがゲーデルの完全性定理
62:１３２人目の素数さん
21/02/05 16:43:41.59 6PiUpIrX.net
>「無限集合が存在する」というのは
>ID:Z6vXAk9Rのいう
>「その真偽が人に依存せず定まる主張」
>という基準に照らせば命題でない
君は誤解してるね
「無限集合が存在する」は、ZF公理系の他の公理から証明も反証もできない。
しかし「無限集合が存在する」を認めることにすべての人が合意した場合、「無限集合が存在する」は人に依存せず真である。よって「無限集合が存在する」は命題である。
63:１３２人目の素数さん
21/02/05 16:44:16.69 6PiUpIrX.net
>>58
はい、逃げたーｗ
64:１３２人目の素数さん
21/02/05 16:45:47.25 mYWLxS73.net
|ln_1|=|2πin|=1
65:0.99999…は１である
21/02/05 16:47:16.98 Z6vXAk9R.net
＞「空でない集合族の直積は空でない」
局所的に直積空間で、切断が存在するからといって
全体的にも直積空間で、切断が存在するとはいえない
ホップ束って知ってるか？
S^3はS^2を底空間としS^1をファイバーとするファイバー束だが
S^2×S^1とは異なる
そして、上記のファイバー束の大域切断は存在しない
66:１３２人目の素数さん
21/02/05 16:48:30.81 6PiUpIrX.net
>おまえZFで、選択公理が証明できると思ってる？ｗ
↑
なんでこういう台詞が
>例３「空でない集合族の直積は空でない」・・・同じく命題であるが、ZF公理系において証明も反証もできない。
の後に出て来るかねー
よっぽど頭が悪いか、よっぽどペテン師かのどちらかだね
どちらであるか俺には判断付かんがｗ
67:１３２人目の素数さん
21/02/05 16:50:25.11 Z6vXAk9R.net
>>61
＞「無限集合が存在する」を認めることにすべての人が合意した場合
しかし実際は合意しないｗ
合意しなければならない理由もない
「無限集合が存在しない」集合論もあり得るから
なんなら無限公理の否定を公理にすればいいｗ
無駄なあがきはよせ 貴様は安達よりはるかに馬鹿ｗ
68:１３２人目の素数さん
21/02/05 16:52:15.81 6PiUpIrX.net
>ホップ束って知ってるか？
知らんよ？
で？
69:１３２人目の素数さん
21/02/05 16:54:12.84 6PiUpIrX.net
>>66
それは「すべての人」が誤解を生む表現だったな、許せ
「ZF公理系を認める全ての人」という表現の方が良かった
70:１３２人目の素数さん
21/02/05 16:54:25.00 Z6vXAk9R.net
>>65
「P「空でない集合族の直積は空でない」
ZF公理系においてPは証明も反証もできない。」
つまりZF＋PもZF+￢Pも無矛盾である、ということ
だからどちらのモデルも存在する
ゲーデルの完全性定理を知っていればわかる
問題はPが本当にZFで証明も反証もできないのかという点
それはフォーシングを勉強してコーエンの証明でも
その後に出てきた別証明でもなんでも読んで
自分で理解してくれってこと・・・できるもんならなｗｗｗ
71:１３２人目の素数さん
21/02/05 16:55:58.81 Z6vXAk9R.net
>>68
いやFは要らん 要するに無限公理があればいい
でも別にそんなもん認めないというのも容認されるｗ
72:１３２人目の素数さん
21/02/05 16:56:12.93 ZqZM2KUT.net
>>22
これ蕎麦さんが貼ってたんですか？
前スレの１月１３日水曜日早朝の。
73:１３２人目の素数さん
21/02/05 16:56:44.50 6PiUpIrX.net
ZF公理系を認めるすべての人にとって、「無限集合が存在する」は真である。
だから「無限集合が存在する」は命題である。
理解できた？
74:１３２人目の素数さん
21/02/05 16:58:24.76 6PiUpIrX.net
>でも別にそんなもん認めないというのも容認されるｗ
だーかーらー
容認されることと「無限集合が存在する」が命題であることは独立なんだってｗ
君頭悪いねー
75:１３２人目の素数さん
21/02/05 17:00:24.57 Z6vXAk9R.net
>>67
>>ホップ束って知ってるか？
>知らんよ？
じゃ、知っとけｗ
面白いぞ
URLﾘﾝｸ(en.wikipedia.org)
「切断」も連続性を持たなくていいなら、もちろんとれるｗ
「空でない集合族の直積が空」を満たすモデルは
直感には反するだろうが、存在するというから
矛盾が導けない、という結論となったはずｗ
76:１３２人目の素数さん
21/02/05 17:02:04.20 Z6vXAk9R.net
>>73
>容認されることと「無限集合が存在する」が命題であることは独立なんだって
いいや 容認されるなら、貴様のいう意味の命題でなくなるｗ
おまえ、アタマわるいな マジ中卒かよｗ
最終学歴どこだよ 大学行ってないだろｗ
77:１３２人目の素数さん
21/02/05 17:02:31.96 6PiUpIrX.net
>つまりZF＋PもZF+￢Pも無矛盾である、ということ
>だからどちらのモデルも存在する
誰もそれを否定していないんだがｗ
君妄想症？ｗ
78:１３２人目の素数さん
21/02/05 17:03:27.88 6PiUpIrX.net
>いいや 容認されるなら、貴様のいう意味の命題でなくなるｗ
それは君が「命題」を分かってないだけｗ
79:１３２人目の素数さん
21/02/05 17:04:45.05 Z6vXAk9R.net
>>77
>君が「命題」を分かってないだけｗ
いや、貴様が自分の言った条件を分かってない
自分の言ったことも分からんとかどんだけ馬鹿なんだ
おまえ高校どこ？偏差値４０以下だろｗ
80:１３２人目の素数さん
21/02/05 17:07:15.41 6PiUpIrX.net
1. じゃあ君の命題の定義を示してくれ
2. 公理は命題である・・・Y/N
81:１３２人目の素数さん
21/02/05 17:08:26.09 Z6vXAk9R.net
さすがに東京でも偏差値40以下は少ないねえｗ
URLﾘﾝｸ(www.minkou.jp)
82:１３２人目の素数さん
21/02/05 17:10:33.22 Z6vXAk9R.net
>>79
１ 論理式ｗ だから別に恒真とか恒偽でなくてもよいｗ
２ 公理は定理だが？ A⇒Aがトートロジーなんだから 知らなかったのか？ｗ
83:１３２人目の素数さん
21/02/05 17:11:53.39 Z6vXAk9R.net
利口ぶった馬鹿をからかうっておもしれぇなあｗｗｗｗｗｗｗ
84:１３２人目の素数さん
21/02/05 17:15:38.29 Z6vXAk9R.net
だいたい安達が、異なるIDをみな同一人物とか妄想するのが馬鹿
ID:6PiUpIrXな利口ぶった白痴とオレ様を同じだと思うな 馬鹿！
85:１３２人目の素数さん
21/02/05 17:24:18.04 6PiUpIrX.net
>１ 論理式ｗ だから別に恒真とか恒偽でなくてもよいｗ
ん？君が命題であることを否定した「無限集合が存在する」も論理式で表現できるが？
>２ 公理は定理だが？ A⇒Aがトートロジーなんだから 知らなかったのか？ｗ
回答になっていない
86:１３２人目の素数さん
21/02/05 17:27:34.41 Z6vXAk9R.net
>>84
１．無限公理ｗ
オレのいう意味では命題だが、オマエのいう意味ではそうではない
つまり無限公理を前提しない場合には、定理ではないからｗ
２．回答そのものｗ
つまり、公理は公理として設定された理論では公理であり定理だが
そうでない理論では、定理ではない そういうこと
87:１３２人目の素数さん
21/02/05 17:34:52.89 6PiUpIrX.net
>オレのいう意味では命題だが
「無限集合が存在する」は論理式ではないが、それはいいの？
>つまり、公理は公理として設定された理論では公理であり定理だが
>そうでない理論では、定理ではない そういうこと
君のいう「定理」は「命題」と同義と思っていいのかな？
「無限集合が存在する」は論理式で表現できるが、命題だったり命題じゃなかったりするってこと？
それ
>１ 論理式ｗ だから別に恒真とか恒偽でなくてもよいｗ
と矛盾してないか？
88:１３２人目の素数さん
21/02/05 17:54:44.13 Z6vXAk9R.net
>>86
無限公理の論理式知らんのか？ｗ
URLﾘﾝｸ(ja.wikipedia.org)
>君のいう「定理」は「命題」と同義と思っていいのかな？
「公理⇒定理」はトートロジー
そして「ある理論の下でPが命題」というのは
「公理⇒P」か「公理⇒￢P」のいずれかが
トートロジーということ 知らんのか？
89:１３２人目の素数さん
21/02/05 17:56:33.78 Z6vXAk9R.net
ID:6PiUpIrXはぐだぐだ言い訳せずに
出身高校名と偏差値をかけ
そしたら許してやる
どうせ馬鹿高校なんだろｗ
90:１３２人目の素数さん
21/02/05 17:57:03.36 Z6vXAk9R.net
馬鹿が利口ぶるんじゃねえよｗｗｗｗｗｗｗ
91:１３２人目の素数さん
21/02/05 18:04:03.86 gmpzCsy/.net
コロナ流行⇒全員マスクする
この命題の対偶は、
一部の人はマスクしない⇒コロナ収束
スナワチ、一部の人はマスクしない
だけで、コロナ収束ちゃうんです
by 👾の偏差値はモピロン無限大
92:１３２人目の素数さん
21/02/05 18:06:55.91 6PiUpIrX.net
>無限公理の論理式知らんのか？ｗ
君、妄想症治した方がいいよ
>「公理⇒定理」はトートロジー
>そして「ある理論の下でPが命題」というのは
>「公理⇒P」か「公理⇒￢P」のいずれかが
>トートロジーということ 知らんのか？
ぐだぐだ言い訳せずに
>つまり、公理は公理として設定された理論では公理であり定理だが
>そうでない理論では、定理ではない そういうこと
と
>１ 論理式ｗ だから別に恒真とか恒偽でなくてもよいｗ
が矛盾してるのかしてないのか、それだけ答えてくれ
93:１３２人目の素数さん
21/02/05 18:09:55.18 6PiUpIrX.net
>>90
命題が偽だから待遇も偽
94:１３２人目の素数さん
21/02/05 18:12:52.92 mYWLxS73.net
>>71
儂じゃないが気に入ったんで借用。もしかしたらKmath1107数学王国の住人か常連客かも知れん｡
何せ、あの国に出入りしとるとある奴なんかYouTubeに挙がった途端に即刻削除された、IS国に首斬られた日本人の動画を
保存しとった奴も居る。ネクロ動画やグロテスク動画の収集に於いては儂以上の大悪魔も居る言う事じゃ｡
ノーコーギーリー
95:１３２人目の素数さん
21/02/05 18:14:08.96 Z6vXAk9R.net
>>91
考えれば矛盾してないとわかるよ
考えてごらん 童貞君ｗ
96:１３２人目の素数さん
21/02/05 18:15:15.18 Z6vXAk9R.net
>>93
グロ動画を張るヤツを生きたまま１ｃｍ厚でスライスしたいｗ
97:１３２人目の素数さん
21/02/05 18:21:42.01 6PiUpIrX.net
「無限集合が存在する」=Pとおく。
>１ 論理式ｗ だから別に恒真とか恒偽でなくてもよいｗ
Pは論理式で表現できるから命題。
> つまり、公理は公理として設定された理論では公理であり定理だが
PはZF公理系では命題。
> そうでない理論では、定理ではない そういうこと
PはZFからPを除いた公理系では命題でない。
明らかな矛盾やんｗ なーにいってんだこの阿呆はｗ
尚、「命題と定理が同義か？」の質問からは逃げたので、こちらで同義とした。
98:１３２人目の素数さん
21/02/05 18:30:12.60 mYWLxS73.net
いつもの単独義警団じゃろID:6PiUpIrXは。どこの安達弘志じゃID:6PiUpIrXを猿石大魔王と断言した莫迦曝す皇恥神は!!
バカテラスオオチカミvsアマテラスオオミカミ
99:１３２人目の素数さん
21/02/05 18:33:29.05 6PiUpIrX.net
これが矛盾であることも解らないようじゃ、どんな名門大学出ても、偏差値高くても無意味だぞ？
学歴コンプレックスは今すぐ捨てるが宜しかろう
100:１３２人目の素数さん
21/02/05 18:37:32.82 mYWLxS73.net
間違ったバカ“テ”ラスオオチカミじゃのうてバカ“サ”ラスオオチカミ
皇帝 瀬田坊
大神 安達翁
太極 偽院生
101:１３２人目の素数さん
21/02/05 19:32:20.38 6PiUpIrX.net
>反例が具体的に構成できれば偽だが、
>そうでなければ真、というなら貴様は甘いｗ
だいじょうぶｗ 言ってないｗ それほどバカじゃないｗ
102:１３２人目の素数さん
21/02/05 19:38:44.05 Z6vXAk9R.net
>>96
ボクのいう命題とキミのいう命題は違うよ
ボク 論理式
キミ トートロジーもしくはアンチトートロジーとなる論理式
ほら全然違うよねｗｗｗｗｗｗｗ
やっぱり偏差値40以下の底辺高卒には論理は全然理解できないかｗｗｗｗｗｗｗ
103:１３２人目の素数さん
21/02/05 19:43:00.54 6PiUpIrX.net
じゃあ話を君の言う命題に限定しよう
公理は命題である・・・Y/N？
104:１３２人目の素数さん
21/02/05 20:32:40.77 6PiUpIrX.net
>だから別に恒真とか恒偽でなくてもよいｗ
>だろ？それって論理学でいうところの
>トートロジーとアンチトートロジー
>しかないじゃんｗ
なんでこういうコメントが付くのか理解不能
いつ誰が恒真だとかトートロジーだとか言った？
無限公理は
ZF公理系では人によらず真
無限公理の否定を公理とする公理系では人によらず偽
そういう意味で「人に依らず」と言ってるんだが、こいつは何を勘違いしてるんだろう？
105:１３２人目の素数さん
21/02/05 21:19:38.08 ZqZM2KUT.net
“人によらないヒトの知覚”なんて有り得ますか？
どんなヒトの知覚も、その知覚の限界を超えたものごとは知覚できないと思いますが…
人に寄る科学、ヒトの知覚の限界を探究思索するのが形式科学なのでは…
106:１３２人目の素数さん
21/02/05 21:25:29.62 ZqZM2KUT.net
そしてそれは例えば、物理学で人が行っているであろうことは、地球人類発祥の文明が滅びても存在しうるような、究極の自然科学の法則の探究であったりして、それが
ヒトの知覚による思索の限界までを探究していることなのでしょう
107:１３２人目の素数さん
21/02/05 21:33:53.16 ZqZM2KUT.net
ノイマンが晩年だったかに
そんなオカルトめいたことを言い出してたような…
108:１３２人目の素数さん
21/02/05 22:06:03.49 ZVa2QpzM.net
コングさんは形式論理の難しいお話にはついていけないようですね(笑)
109:哀れな素人
21/02/05 22:25:12.28 1Jj0JyWN.net
前スレからの続き（笑
ID:Z6vXAk9R
このバカがサ
110:ル石（笑 発狂して連投中（ｹﾞﾗｹﾞﾗ >C'．つまり0.999…は、0.9、0.99、0.999、…のいずれかである >と💩な誤解してるわけだ 誤解だと思っているドアホ（ｹﾞﾗｹﾞﾗ 東京育ちの田舎者（ｹﾞﾗｹﾞﾗ >焼き殺すべきだがなｗ >おまえ死にたいのかよ？ >グロ動画を張るヤツを生きたまま１ｃｍ厚でスライスしたいｗ サル石は調子が乗ってくるとこういう書き込みを連発するようになる（笑 精神病の素地を露呈する（ｹﾞﾗｹﾞﾗ >左辺中の0.999…の小数点以下のどの桁も9であるから >右辺の小数の小数点以下のどの桁も0にしかなり得ない 正真正銘のバカ（ｹﾞﾗｹﾞﾗ
111:哀れな素人
21/02/05 22:27:45.58 1Jj0JyWN.net
ID:Z6vXAk9R
ID:6PiUpIrX
これはどちらもサル石（笑
あたかも別人のフリをして会話をしている（ｹﾞﾗｹﾞﾗ
アホのサル石がよく使う自演の手（ｹﾞﾗｹﾞﾗ
>無限と答えたら破綻するからｗ
正真正銘のバカ（ｹﾞﾗｹﾞﾗ
>さすがに東京でも偏差値40以下は少ないねえｗ
その偏差値40以下のバカがお前（ｹﾞﾗｹﾞﾗ
>利口ぶった馬鹿をからかうっておもしれぇなあｗｗｗｗｗｗｗ
その通り（笑
お前をからかうのは面白い（ｹﾞﾗｹﾞﾗ
>馬鹿が利口ぶるんじゃねえよｗｗｗｗｗｗｗ
まったくその通り（ｹﾞﾗｹﾞﾗ
ID:ZVa2QpzM
これは質問少年（笑
僕は大体夜は10時頃からしか投稿しないことがまだ分ってないのか（笑
僕は一日中このスレを見ているわけではないぞ（笑
今やっとこのスレを読み終えたばかりだ（笑
それに形式論理などには何の関心もない（笑
お前やサル石はアホだからそんな話しかできない（笑
アホだからそういう基礎的な学問しかできない（笑
112:哀れな素人
21/02/05 22:48:06.87 1Jj0JyWN.net
お前らに形式論理学の知識があって、そんなに利口なら、
なぜ0.999…≠1が理解できないのか（笑
なぜεδ論法の原理さえ分らず、
任意だからどんな巨大な数でもいい、などとバカ丸出しのことを書くのか（笑
ケーキの問題以外はすべての点で、
サル石と質問少年の意見は一致している（笑
あらゆる点でアホさを晒している（笑
形式論理学の知識など全然なくても一般大衆はお前らより賢いのだ（笑
形式論理学の知識など全然なくても文学部の女子学生の方がお前らより賢い（笑
少なくともお前らのように嘲笑と冷笑ばかりしているクズではない（笑
113:哀れな素人
21/02/05 22:56:30.08 1Jj0JyWN.net
ID:Z6vXAk9R
ID:6PiUpIrX
これはどちらもサル石なのである（笑
ところが反目し合って論争しているから、
誰もがこの二人は別人だと騙されてしまう（笑
そこがサル石の狙いだ（笑
このバカは以前からずっとこういう手を使っていた（笑
ｴﾓが騙されるのも無理はない（笑
第四のバカもサル石なのである（笑
114:哀れな素人
21/02/05 23:00:36.12 1Jj0JyWN.net
とにかく平日の昼間からこのスレに投稿しているのは、
全部サル石の自演だと思って間違いない（笑
バカボンパパやモピロン星人や酔狂の投稿はすぐに判別がつく（笑
質問少年の投稿も、その冷笑と皮肉に満ちたですます体ですぐに見分けが付く（笑
115:１３２人目の素数さん
21/02/05 23:01:42.33 6PiUpIrX.net
>お前らに形式論理学の知識があって、そんなに利口なら、
>なぜ0.999…≠1が理解できないのか（笑
0.999…=1だから
>なぜεδ論法の原理さえ分らず、
>任意だからどんな巨大な数でもいい、などとバカ丸出しのことを書くのか（笑
εδ論法の原理とは？
任意ならどんなに大きくてもどんなに小さくても構わない。任意の意味すら分からない阿呆。
>ケーキの問題以外はすべての点で、
>サル石と質問少年の意見は一致している（笑
「ケーキを食べ尽くせる」を「1/2+1/4+1/8+…=1」と定式化した以上、否定するのはおまえと哲学バカくらいだ。
116:哀れな素人
21/02/05 23:01:59.95 1Jj0JyWN.net
今夜のエッセーはここまで（笑
117:哀れな素人
21/02/05 23:05:21.51 1Jj0JyWN.net
0.999…=1だから
任意ならどんなに大きくてもどんなに小さくても構わない。
「ケーキを食べ尽くせる」を「1/2+1/4+1/8+…=1」と定式化した以上、否定するのはおまえと哲学バカくらいだ。
↑うんざりするほどの万年バカ（ｹﾞﾗｹﾞﾗ
同じことを一万回説明しても理解できないアホである（笑
アホすぎて手に負えない（ｹﾞﾗｹﾞﾗ
118:哀れな素人
21/02/05 23:09:02.42 1Jj0JyWN.net
無限級数の和が極限で定義されているということは、
lim(1/2＋1/4＋1/8＋…)=lということであり、
1/2＋1/4＋1/8＋…≠lということである（笑
サル石というバカはこんな常識さえ知っていないのだ（笑
何でこんなアホが数学板にいるのか（ｹﾞﾗｹﾞﾗ
119:１３２人目の素数さん
21/02/05 23:11:22.32 6PiUpIrX.net
じゃ聞くけどおまえの大好きな広辞苑では任意は巨大ではダメって書いてあるのか？
で、�
120:ﾃδ論法の原理って何？また逃げるのか？
121:哀れな素人
21/02/05 23:15:23.48 1Jj0JyWN.net
εδ論法のεやδは巨大ではダメなのである（笑
分らないならεδ論法を勉強し直せ、在日の阿呆（ｹﾞﾗｹﾞﾗ
122:１３２人目の素数さん
21/02/05 23:16:10.58 6PiUpIrX.net
1/2＋1/4＋1/8＋… これが無限級数
1/2＋1/4＋1/8＋…=x ｘが無限級数の和
x:=lim[n→∞](1-1/2^n) 無限級数の和が極限で定義されている
なんでこんな簡単な日本語も分らんの？脳みそ腐ってるの？
123:１３２人目の素数さん
21/02/05 23:17:00.60 6PiUpIrX.net
>εδ論法のεやδは巨大ではダメなのである（笑
なんで？ｗ
124:１３２人目の素数さん
21/02/05 23:19:30.47 Z6vXAk9R.net
>>103
＞無限公理は
＞ ZF公理系では人によらず真
＞ 無限公理の否定を公理とする公理系では人によらず偽
＞そういう意味で「人に依らず」と言ってるんだが
はい偏差値40以下の馬鹿、お得意のねじまげ
馬鹿はウソついて利口ぶる
安達よりはるかにイタイタしいね この白痴野郎はｗｗｗｗｗｗｗ
125:哀れな素人
21/02/05 23:21:52.76 1Jj0JyWN.net
ｘは存在しないのである（笑
だからxとはlim（1/2＋1/4＋1/8＋…）のことであって、
1/2＋1/4＋1/8＋…≠ｘなのである（笑
お前はこんな常識さえ知っていないアホなのだ（笑
アホすぎてうんざりする（ｹﾞﾗｹﾞﾗ
126:0.99999…は１である
21/02/05 23:23:02.51 Z6vXAk9R.net
ID:Z6vXAk9R は俺
ID:6PiUpIrX は別人の白痴
あんなIQ85以下の白痴と同一視されちゃ迷惑
安達と同一視されるほうがまだましだｗｗｗ
俺はサル石とかいう馬鹿な名前は使わない
その名前はID:6PiUpIrXとかいう白痴にのみ使ってくれｗ
127:哀れな素人
21/02/05 23:23:57.42 1Jj0JyWN.net
イタイタしい在日の白痴の相手はここまで（ｹﾞﾗｹﾞﾗ
128:１３２人目の素数さん
21/02/05 23:24:14.27 6PiUpIrX.net
>>121
>はい偏差値40以下の馬鹿、お得意のねじまげ
何をどう捻じ曲げたか具体的に頼むわ
129:１３２人目の素数さん
21/02/05 23:25:43.39 6PiUpIrX.net
>>122
存在しないから極限で定義したとおまえ言ってなかったか？ｗ
で、極限で定義した以上存在してるやんｗ
130:哀れな素人
21/02/05 23:25:46.85 1Jj0JyWN.net
ID:Z6vXAk9R
ID:6PiUpIrX
これはどちらもサル石（ｹﾞﾗｹﾞﾗ
アホが自演している（ｹﾞﾗｹﾞﾗ
131:0.99999…は１である
21/02/05 23:26:12.32 Z6vXAk9R.net
>>122
lim（1/2＋1/4＋1/8＋…）は無意味
lim（{1/2,1/2+1/4,1/2+1/4+1/8,…})なら意味がある
そしてこれを1/2+1/4+1/8+…の意味だと定義すればいい
おわったな 安達は死んだ 今ここでｗ
132:１３２人目の素数さん
21/02/05 23:27:05.93 6PiUpIrX.net
>>121
>馬鹿はウソついて利口ぶる
何をどうウソついたのか具体的に頼むわ
133:１３２人目の素数さん
21/02/05 23:28:29.27 6PiUpIrX.net
>>128
阿呆爺はとっくに死んでいるｗ
無限公理が命題ではないと言ったおまえも今日死んだｗ
134:0.99999…は１である
21/02/05 23:28:32.75 Z6vXAk9R.net
>>125
偏差値40以下の高卒の貴様には理解できん
さ、卒業した高校の名前をいいな
そしたら、貴様を白痴のミソッカスとして許してやるｗ
>>127
はっきりいうが、ID:6PiUpIrXのような底辺高卒と同一視するな
俺の出身高校は偏差値70以上だｗ
135:哀れな素人
21/02/05 23:28:42.95 1Jj0JyWN.net
>極限で定義した以上存在してるやんｗ
正真正銘のバカ（ｹﾞﾗｹﾞﾗ
お前は最初から終わっている（ｹﾞﾗｹﾞﾗ
136:１３２人目の素数さん
21/02/05 23:30:26.08 6PiUpIrX.net
>>極限で定義した以上存在してるやんｗ
>正真正銘のバカ（ｹﾞﾗｹﾞﾗ
なんで？ それが定義というものだろｗ
137:0.99999…は１である
21/02/05 23:31:06.10 Z6vXAk9R.net
>>130
＞無限公理が命題ではないと言ったおまえ
はいねじまげｗｗｗ
無限公理が命題ではないといったのはID:6PiUpIrX 貴様だ
Zから無限公理を除いた集合論では、
無限公理を追加しても、無限公理の否定を追加しても無矛盾
したがって真偽が決定できず、貴様の💩定義では命題ではな~いｗｗｗ
138:哀れな素人
21/02/05 23:31:08.57 1Jj0JyWN.net
ID:6PiUpIrX
ID:Z6vXAk9R
これはどちらもサル石なのである（笑
気が狂ったように連投していることで分る（ｹﾞﾗｹﾞﾗ
アホとはこういうものである（ｹﾞﾗｹﾞﾗ
139:0.99999…は１である
21/02/05 23:33:33.47 Z6vXAk9R.net
>>135
私、ID:Z6vXAk9Rは断じて、ID:6PiUpIrXのような白痴ではな~いｗｗｗ
サル石の名前はID:6PiUpIrXの白痴にだけ使ってくれ
140:１３２人目の素数さん
21/02/05 23:35:21.25 6PiUpIrX.net
>>134
>無限公理が命題ではないといったのはID:6PiUpIrX 貴様だ
そんな阿呆なこと言った憶え無いんだが、悪いがレス番号示してくれ
おまえが言った憶えならあるぞ？
141:１３２人目の素数さん
21/02/05 23:37:40.42 6PiUpIrX.net
公理は命題か？の問いから逃げるくせに偏差値自慢してる方がどう見ても白痴だろｗ
142:１３２人目の素数さん
21/02/05 23:39:41.22 6PiUpIrX.net
で、白痴くんの素晴らしい定義だと「無限集合が存在する」は論理式ではないから命題じゃないんだよね？ｗ
143:１３２人目の素数さん
21/02/05 23:43:45.98 6PiUpIrX.net
>Zから無限公理を除いた集合論では、
>無限公理を追加しても、無限公理の否定を追加しても無矛盾
>したがって真偽が決定できず、貴様の💩定義では命題ではな~いｗｗｗ
どうしたらこんな曲解ができるのかｗ
無限公理を追加した公理系なら真、無限公理の否定を追加した公理系なら偽
そのことは人依存しないので命題である。
どうしてこう解釈できないのか、白痴の考えることは分からんｗ
144:粋蕎
21/02/05 23:49:26.60 mYWLxS73.net
1/2+1/4+1/8+…
=lim[n→∞]{
145:1/2+1/4+1/8+…+1/2^(n-2)+1/2^(n-1)+1/2^n} =1 ≠lim(1/2+1/4+1/8+…) 『 lim(1/2+1/4+1/8+…) 』なんて書き方じゃ ・学会に通らない ・皇室に発表できない ・王室に発表できない ・18年前迄の儂じゃったら「中国や韓国や北朝鮮あたりなら通用するか知れんな」と言うとったか知れんが流石に無理
146:１３２人目の素数さん
21/02/05 23:58:50.43 6PiUpIrX.net
>したがって真偽が決定できず
できるよ？
「無限集合が存在する」を公理として定めたら真と決定できる。
「無限集合が存在しない」を公理として定めたら偽と決定できる。
君の理屈でいくと「公理は命題に非ず」ということになるが、それでいいかな？
逃げずに答えてくれ これで3度目だぞ？
147:１３２人目の素数さん
21/02/06 00:13:44.64 T542WGeB.net
あと君さあ
>>44の白痴レスをどう回収するつもり？
>>40に間違いがあるなら>>44みたいな白痴レスじゃなくてちゃんと反論してくれる？
148:１３２人目の素数さん
21/02/06 00:33:39.06 T542WGeB.net
阿呆爺よ
「εN論法の原理」とか世迷言言う前に>>11を理解しろ
理解できたのか？できてねーだろ
149:粋蕎
21/02/06 01:34:48.62 nkdyOwKg.net
>>141のレスにより
安達準拠数学の敵は
日常標準数学
学会公式数学
米国通貨発行元首
米国軍拡軍拡元首
英国王室
日本皇室
中国資本
白頭血統
と、大ぶ増えたのう
↑
「大分増えたのう」と、書きたかったが大分県が増えたと読まれかねんな、面倒じゃのう
150:誤処置致死経験者
21/02/06 02:17:07.20 nkdyOwKg.net
再>>71
手段は惨い動画貼付じゃが目的は某氏の想像妊娠出産の同調圧力責任追究遊びに儂が大人っ気無くキレて来た為｡
想像に付き合わせといて同調圧力を掛けて責任追究遊び⇔単独美人局遊び
他人の子供を実子と偽り養育費せびりとる人間を演じるに当たり同調圧力強めに絡むとか
特に儂は既製・実在・未没かつ面識ある人間を思い出すんで遣られとる当人・猿石大魔王ではなく儂が軽くキレていた｡
そんな事を想像上でやる人間は想像上だけに神隠しに遭って不思議は無い｡
神隠しと言いつつ昭和中期まで閉鎖的だった村で其れまで秘密裏に続いていた、神の名を隠れ蓑に行われていた凶行…｡
これにより某氏の想像四つ子は村の高老たちの食事となって死んでいった設定｡
所で真面目に評価すると回転ノコギリ動画で飛び出る腸の模造、これ全く実際の腸に似とらんな｡
儂、腹から飛び出た腸を肉眼で見た事が何度か有ったんじゃ｡
151:complete idiot
21/02/06 07:26:41.52 OnHbmRmU.net
どーもー、週末限定でお邪魔してる
「完全な馬鹿」コンプリート・イディオットでーす！！！（バカっぽい）
だれか、私を呼びました？ 白痴って・・・
呼んでない？でも書きますよｗ
152:１３２人目の素数さん
21/02/06 07:32:58.06 OnHbmRmU.net
なんか、数学が共通言語かどうかで
またクソガキたちが喧嘩してたみたいですねｗ
じゃ、振り返ってみましょうか
>>25
2021/02/05(金) 14:57:57.03
ID:6PiUpIrX こと クソガキA
＞数
153:式が個々人の頭の中の考えに依存するなら、そもそも共通言語の用を成さない あー、なんかこういう分かった風なこというヤツいますね こういうの利口馬鹿っていいますｗ じゃ次 >>26 2021/02/05(金) 15:04:37.86 ID:Z6vXAk9R こと クソガキB ＞共通言語？そんなものがあるとおもってるのか？ナイーブだなｗ いるいる 人のいうことにいちいちケチつけるヤツｗ こういうの反抗馬鹿っていいますｗ これが発端みたいですね
154:１３２人目の素数さん
21/02/06 07:42:33.92 OnHbmRmU.net
>>147の続き
で、ここから命題の定義論争に発展したみたいですね
きっかけはこの発言？
>>37
2021/02/05(金) 15:47:11.39
ID:Z6vXAk9R こと クソガキB
＞例えば一般の線型空間で成り立つ命題について
＞差異が認められないからといって、
＞自分と相手がそもそも同じ体で考えてるかどうか
＞わかったもんではない
ああ、そう来ましたか
いかにも5chでケンカ慣れしてるっぽいですね
で、このいちゃもんにまんまとひっかかっちゃうｗ
>>40
2021/02/05(金) 15:54:49.65
ID:6PiUpIrX こと クソガキA
＞考えているスカラー空間が明確でなければ一般に命題たり得ない
＞もし命題たり得るならそれはスカラー空間の違いに依存しない命題なのだから、
＞相手が異なるスカラー空間で考えていても何ら問題無い
なんかもっともらしいけど実はアブナイ発言してますね
ケンカ慣れしてる人はこういうウブい人をカモにしてますからね
で、やっぱりこうなった、と
>>44
2021/02/05(金) 16:00:11.85
ID:Z6vXAk9R こと クソガキB
＞命題＝証明可能か反証可能、とおもってる？
ま、「お前のいう命題って、なんか違くね？」ってことですね
相手が食いついてシメシメって感じですね
155:１３２人目の素数さん
21/02/06 07:47:43.01 nfdB7HcC.net
>>146
結局、前スレ>88は蕎麦さんが貼ってたんですか？
156:１３２人目の素数さん
21/02/06 07:52:28.04 OnHbmRmU.net
>>149の続き
で、ヤンキーにいちゃもんつけられたカタギの人
やっぱり売られたケンカを買っちゃいましたｗ
>>51
2021/02/05(金) 16:23:20.91
ID:6PiUpIrX こと クソガキA
＞妄想乙
＞命題とはその真偽が人に依存せず定まる主張。
（中略）
＞例３「空でない集合族の直積は空でない」
＞・・・同じく命題であるが、ZF公理系において証明も反証もできない。
あ、ここ、アブナイですね 具体的には
「その真偽が人に依存せず定まる」と
「公理系において証明も反証もできない」の関係
「証明も反証もできない」のになんで真偽が「人に依存せず定まる」のか？
で、やっぱりそこついてきましたね
さすがヤンキー 伊達に何人も人を凹ってきたわけじゃありませんｗ
>>53
2021/02/05(金) 16:29:22.97
ID:Z6vXAk9R こと クソガキB
＞＞命題とはその真偽が人に依存せず定まる主張。
＞だろ？それって論理学でいうところの
＞トートロジーとアンチトートロジー
＞しかないじゃんｗ
＞＞例３「空でない集合族の直積は空でない」
＞＞・・・同じく命題であるが、ZF公理系において証明も反証もできない。
＞いや、ZF公理系では命題ではないな
＞つまりあるモデルでは真だが、別のモデルでは偽となるから
案の状、
「例３はクソガキAの「審議が人に依存せず定まる」の定義に反するじゃん」
と言ってますね
相手が殴ってきた勢いを利用してカウンターパンチを撃ってます
イヤなヤツですねー ボクなら関わり合いになりたくないからまっさきに逃げますｗ
157:１３２人目の素数さん
21/02/06 08:01:59.79 OnHbmRmU.net
>>151の続き
>>56
2021/02/05(金) 16:36:17.66
ID:6PiUpIrX こと クソガキA
>>いや、ZF公理系では命題ではないな
>>つまりあるモデルでは真だが、別のモデルでは偽となるから
>真となるモデルと偽となるモデル、それぞれの例を挙げてみて
>当然だけど、それらの例はZF公理系内なんだよね？
どうやら、ヤンキーに絡まれたことに気づいて
今更ながら必死にガードしてますね
でもどうでしょう？先に選択公理と同値な命題の
ZFでの決定不能性を出しておいてこのセリフはないですね
で、やっぱりこう来ちゃいました
>>60
2021/02/05(金) 16:41:37.65
ID:Z6vXAk9R
>もしある命題Pが、ある理論で証明も反証もできないならば
>Pを真とするモデルもPを偽とするモデルもある
>これがゲーデルの完全性定理
ま、フォーシングによるコーエンの証明の説明はしない
そもそも例３でコーエンの結果を援用したのはお前だろ、と
で、コーエン以前に、決定不能命題なら
それが真となるモデルも 偽となるモデルもある
おまえ、ゲーデルの完全性定理、知らんのか？
ってことですね
この人、始めからこれをいうつもりで、ケンカしかけてますね
イヤですねー 大学の数学科の数学基礎論で習ったことを
５ｃｈの数学板とかいう場末で、一般人凹るために使うとか
もう外道というか鬼畜ですね H先生も草葉の蔭で泣いてますよｗ
158:１３２人目の素数さん
21/02/06 08:14:49.46 OnHbmRmU.net
>>152の続き
で、選択公理のほうは、さすがのヤンキー君も
コーエンのフォーシングは知らないみたいで終わり
いやー、一般人は命拾いしたね
これ、向こうがコーエンのフォーシング使って
モデル構築してきたら今頃、多摩川で死体で発見されてましたよｗ
でも、まあヤンキー君は悪辣です
ちゃんとレベルを落としたワナを仕掛けてきましたｗ
>>54
2021/02/05(金) 16:33:15.15
ID:Z6vXAk9R こと クソガキB
>「無限集合が存在する」というのは
>ID:Z6vXAk9Rのいう
>「その真偽が人に依存せず定まる主張」
>という基準に照らせば命題でない
>無限公理を除いた集合論では
>上記は真偽が定まらない
>無限集合が存在する集合論のモデルも
>存在しない集合論のモデルもあるから
選択公理の代わりに無限公理を持ち出してきましたね
で、論理のことは何もしらない一般人
やっぱり、乗っかっちゃいましたね
この人、いろいろウカツですね
>>61
2021/02/05(金) 16:43:41.59
ID:6PiUpIrX こと クソガキA
>君は誤解してるね
>「無限集合が存在する」は、ZF公理系の他の公理から証明も反証もできない。
>しかし「無限集合が存在する」を認めることにすべての人が合意した場合、
>「無限集合が存在する」は人に依存せず真である。
>よって「無限集合が存在する」は命題である。
ああ、必死にパンチ打ってるけど全然当たってないですｗ
特にイタイタシイのはこれ
「「無限集合が存在する」を認めることにすべての人が合意した場合」
あのね「無限集合が存在する」ことが、他の前提から導けるかどうかが
「前提と論理を理解したすべての人が合意できる」必須条件なんだから
「無限集合が存在する」ことを前提とすれば、というのは敗北宣言ですね
きっとヤンキー君はこの言葉聞いてこう叫んだでしょうね！
「アイハヴァウイン！！！」
ま、大人げないですけどｗ
159:１３２人目の素数さん
21/02/06 08:22:27.23 OnHbmRmU.net
>>153の続き
さて、ゲーデルの完全性定理も知らず
>>61のパンチが全然当たってないことに
気づいた一般人、ここで寝技に転じました
>>79
2021/02/05(金) 17:07:15.41
ID:6PiUpIrX こと クソガキA
>1. じゃあ君の命題の定義を示してくれ
>2. 公理は命題である・・・Y/N
「命題」に関するオレの定義を否定するけど
そういうオマエの定義はどうなんだ、と
ま、そうですね でも２が・・・カタギ丸出しですね
これいらんかったですね
で、ヤンキー君はあっさりこう答えます
>>81
2021/02/05(金) 17:10:33.22
ID:Z6vXAk9R こと クソガキB
>１ 論理式 だから別に恒真とか恒偽でなくてもよい
>２ 公理は定理だが？ A⇒Aがトートロジーなんだから 知らなかったのか？
そりゃそうだわな 命題は論理式 公理も定理だから
定理とその否定が（カタギのいう）命題だとすれば、
当然命題だろ、ってことですね
160:１３２人目の素数さん
21/02/06 08:30:19.71 OnHbmRmU.net
>>154の続き
で、ここからカタギの人が殴られ過ぎたせいか
そもそも天然なのか、アタマおかしくなってます・・・
>>84
2021/02/05(金) 17:24:18.04
ID:6PiUpIrX こと クソガキA
>ん？君が命題であることを否定した「無限集合が存在する」も論理式で表現できるが？
ここがトンチンカン
ヤンキー君は「無限集合が存在する」が自分にとって命題でない、とはいってません
あくまでカタギ君のいう「真偽が人に依存せず定まる主張」の定義によれば
「Z－無限公理」という前提から導けないから、カタギ君にとって命題でないといってます
この程度の日本語が読めないとすると
さすがに数学科では馬鹿扱いされます
>> ２ 公理は定理だが？ A⇒Aがトートロジーなんだから 知らなかったのか？ｗ
>回答になっていない
ああ、ここで数学上、カタギ君死にましたね
ま、たぶん「数学は共通言語」とかいった時点でヤンキー君は読み切ってましたね
「�
161:ｱいつ数学のイロハのイも知らねえドシロウトだな」って
162:１３２人目の素数さん
21/02/06 08:34:24.50 UW7RVyGY.net
思い、認識を担う人が物理として他の何かに生成、つまり死ねば、思いや認識も消え失せる
文化も人類も同じ
数は客観存在ではない
認識の担い手が居なくなれば無くなる
自然認識は自然と=ではない
0.999…=1は約束事
認識は基本たわめられている
二分の一、アキレスと亀の逆説は自然は大きさの無い数では出来ていないってことを示す
無で有は出来ていない
有限は無限で出来ていない
否定で理解している
エネルギー保存則の破れ？
そりゃ=では測定できないし
自然以外無いから破れは有り得ない
数学は厳密でも何でもない
いや、どの学問も、だ
163:１３２人目の素数さん
21/02/06 08:44:46.94 OnHbmRmU.net
>>155の続き
ここのくだり
「論理の基本がわかってるその筋の人」と
「論理の基本もわかってない一般人」の
違いが分かって興味深い
>>86
2021/02/05(金) 17:34:52.89
ID:6PiUpIrX こと クソガキA
>君のいう「定理」は「命題」と同義と思っていいのかな？
>「無限集合が存在する」は論理式で表現できるが、
>命題だったり命題じゃなかったりするってこと？
>>87
2021/02/05(金) 17:54:44.13
ID:Z6vXAk9R こと クソガキB
>「公理⇒定理」はトートロジー
>そして「ある理論の下でPが命題」というのは
>「公理⇒P」か「公理⇒￢P」のいずれかが
>トートロジーということ 知らんのか？
つまり、
・命題P単独で見た場合は真偽なんか判定できないから
カタギの衆のナイーブな命題定義に当てはまらんぞ、
とジャブを撃ち
・数学ではPそのものではなく
「公理⇒P」「公理⇒￢P」の証明で真偽を判定してるぞ
とさらにパンチを撃ってる
ただここで
「ある理論の下でPが命題」
というのは、正しくは
「ある理論の下でPが（「真偽が人に依存せず定まる主張」としての）命題」
というのは、命題＝論理式というヤンキー君の主張は明らかに
「公理⇒P」も「公理⇒￢P」も証明できないものも容認してるから
164:粋蕎
21/02/06 08:46:32.45 nkdyOwKg.net
>>156
儂が最初と違う
儂がノコギリ連呼しとったけぇ誰か貼ったんじゃろ
多分Kmath1107数学王国に出入りしとるもんが貼りよったんじゃろ
>>95
其れ儂が前に述べとった遣り方、マジで遣りたいんか
使用中の劣化で生じる解れが対象に喰い込み痛みとも異なる
引き攣る苦しみを与える竹製ノコギリや竹製オニオロシが最も残酷
堅い骨は錆びオロシを使うとよい
165:complete idiot
21/02/06 08:58:20.44 OnHbmRmU.net
>>156
>認識を担う人が死ねば、
>認識も消え失せる
>数は客観存在ではない
>認識の担い手が居なくなれば無くなる
>自然認識は自然と=ではない
>認識は基本たわめられている
ID:UW7RVyGYさんに質問
・客観存在ってあるの？あるとしてなぜそう言い切れるの？
・自然＝客観存在？ もしそうだとして、その場合そもそも
「主観なしに存在する客観存在がある」という前提自体
「たわめられた」どころか「でっちあげられた」認識じゃないですか？
166:哀れな素人
21/02/06 09:03:54.34 lsCMfeyN.net
ID:T542WGeB
このバカがサル石（笑
>理解できたのか？できてねーだろ
∀ε>0に対し、1/10^n<εとなるなら、1/10^nの極限値は０だ、
と言えるだけであって、1^0.999…が0になるわけではないのである（ｹﾞﾗｹﾞﾗ
初歩の初歩で躓いているバカ（ｹﾞﾗｹﾞﾗ
お前はいつもεN論法でアホ証明をしているが、
εN論法とは極限値がαになることを証明する論法であって、
ある数なり数列なりがαであることを証明する論法ではないのに、
お前はアホだから、それが分らず延々とバカ丸出し証明を書いている（ｹﾞﾗｹﾞﾗ
アホとはこういうものである（ｹﾞﾗｹﾞﾗ
ID:OnHbmRmU
このバカもサル石（笑
いつものように朝から気が狂ったように大量の連投（ｹﾞﾗｹﾞﾗ
こいつは本当に年
167:がら年中興奮して発狂している（ｹﾞﾗｹﾞﾗ ID:6PiUpIrXもID:Z6vXAk9Rも、このバカの自演だとばれているのに、 アホだから必死で誤魔化している（ｹﾞﾗｹﾞﾗ 今日もこのバカがこのスレで暴れまくる（笑 それしかやることのない精神病のアホだから（ｹﾞﾗｹﾞﾗ
168:哀れな素人
21/02/06 09:08:20.53 lsCMfeyN.net
>1-0.999…はいつかは0になる
>0.1、0.01、0.001、…という数列はいつかは0になる
とサル石は主張している（ｹﾞﾗｹﾞﾗ
ではなぜ0になるのか、証明してくれ（ｹﾞﾗｹﾞﾗ
かまってちゃんの阿呆爺の相手はここまで（笑
時間の無駄（ｹﾞﾗｹﾞﾗ
169:哀れな素人
21/02/06 09:11:16.17 lsCMfeyN.net
訂正
1^0.999…が0になるわけではないのである（ｹﾞﾗｹﾞﾗ
↓
1-0.999…が0になるわけではないのである（ｹﾞﾗｹﾞﾗ
170:粋蕎
21/02/06 09:11:16.26 nkdyOwKg.net
>>156
> 0.999…=1は約束事
0や∞を除く任意の複素数zの零乗 z^0 を =0 とするのも約束事
そもそも 1+1=2 とするのも 1-1=0 とするのも約束事
グー(石拳)はグーと御相子でチョキに強くパーに弱く､
チョキ(両拳)はチョキと御相子でパーに強くグーに弱く､
パー(雀拳)はパーと御相子でグーに強くチョキに弱いのも､
全て約束事。中国ではじゃんけんを猜拳と書く｡
三竦みとは限らん世界の色々なジャンケンを知れ｡
所でオドレ的には 肯定は無定 で 肯定は否定 で 有は無 で 色は空 なら
同様に 約束は反故 じゃな。オドレは秩序混沌同一思想主義者じゃな｡
ジャイアニズム人間に財産を分捕られて生きるが良い。生は死、なんじゃろ？なら、米は糞、じゃな｡
171:complete idiot
21/02/06 09:15:05.30 OnHbmRmU.net
>>156
>無で有は出来ていない
>有限は無限で出来ていない
>否定で理解している
そもそも物事を真と偽に分けているのは
主体の認識であって
主体抜きの客観存在である保証はどこにもない
つまり客観存在こそがでっちあげられた架空のものではないのか？
唯物論は一神教と全く同じく「宗教」なのではないか？
只、神の代わりに物を置いただけなのではないか？
172:粋蕎
21/02/06 09:32:29.61 nkdyOwKg.net
>>160 > ID:6PiUpIrXもID:Z6vXAk9Rも、このバカの自演だとばれているのに
絶対？全財産を担保にする事を公的法的効力ある誓約書を挙げて再主張できるんか？
絶対に『ぷんぷん丸』と違うんじゃな？
ノーコーギーリー
173:complete idiot
21/02/06 09:35:20.72 OnHbmRmU.net
物自体
URLﾘﾝｸ(ja.wikipedia.org)
「大陸の合理論とイギリスの経験論の哲学を綜合したといわれるカントが、
その著書『純粋理性批判』の中で、経験そのものを吟味した際、
経験の背後にあり、経験を成立させるために必要な条件として要請したものが、
物自体である。」
「「感覚によって経験されたもの以外は、何も知ることはできない」
というヒュームの主張を受けて、カントは
「「経験を生み出す何か」「物自体」は前提されなければならないが、
そうした「物自体」は経験することができない」
と考えた。物自体は認識できず、存在するにあたって、我々の主観に依存しない。
因果律に従うこともない。」
「カントに拠れば、物自体の世界が存在するといういかなる証拠もない。
「物自体」のような知的な秩序があるかどうかわからないが、
その後の経験によって正当化されるであろう。」
174:complete idiot
21/02/06 09:41:33.14 OnHbmRmU.net
理性というのは、所詮人間の習性(habit)に過ぎない
つまり動物行動学の一分野としての人間行動学の研究対象ｗ
175:complete idiot
21/02/06 09:45:40.78 OnHbmRmU.net
「チコちゃん」で動物の行動についてある先生が
「それも愛じゃないですね」というのがツボｗ
どうせなら数学についても数学者がこうい�
176:ﾁたらウケる 「それも真じゃないですね」
177:complete idiot
21/02/06 09:50:22.05 OnHbmRmU.net
>>163
>ジャイアニズム
個々人が、というより経済システムに問題があるよね
確かに、誰もが他人より稼ぐ可能性はあるよ
でも、結果としてはそれが実現できるのは特定の誰か
実は能力も関係ない ギャンブルだから
ギャンブルは大多数の人類を不幸にする
もう「自分だけは違う」と無駄な期待をするのはやめよう
運のいい勝者が富を独占していいことなんて一つもない
公平であることは正義とかいう以前にみんなの利益だから
功利主義の立場でも正当化されるってｗ
178:１３２人目の素数さん
21/02/06 10:25:16.30 UW7RVyGY.net
０に限りなく近いがって定義は有を無で規定するってことで、天才だよな
0.999…=1も同じ匂いがする
もともと１も0.99999… も無だし
規定の性格から、これで良いのだ、かなあ 笑
179:complete idiot
21/02/06 11:11:11.05 OnHbmRmU.net
>>170
＞０に限りなく近いがって定義は
＞有を無で規定するってことで、
ちょっとなにいってるのかわからない（冨澤たけし）
実数論では０に限りなく近いなら０
もちろん、実数論とは異なる数の理論も可能だが
微積分では必要ない
有を無で規定、というのは
{}∈{{}} （空集合を要素とする集合は 空集合でない）
とかいうこと？
だったらはっきりそうかいてね わけわかんない言い方しないでさ
180:１３２人目の素数さん
21/02/06 11:21:44.84 LR53yx4D.net
コンピュータの世界で1+1=1も使ってますし、なんでも数学は約束事だと言うことですね
181:１３２人目の素数さん
21/02/06 11:33:46.58 T542WGeB.net
>なんか、数学が共通言語かどうかで
>またクソガキたちが喧嘩してたみたいですねｗ
誰が「数学が」と言った。レス番号示せ。俺が言ったのは「数式が」だ。
で、数式が共通言語でないのなら、おまえはどうやって他人と数学上の意思疎通を行うんだ？ 逃げずに答えろ。
特に、おまえの数学知識はすべておまえが発見したものか？違うだろ？だったらおまえは数学上の意思疎通を行ってるはずだ。ほれ、逃げずに答えろ。
182:１３２人目の素数さん
21/02/06 11:41:13.37 T542WGeB.net
>>149
グダグダ言い訳してないで逃げずに>>143に答えろ
183:１３２人目の素数さん
21/02/06 11:48:58.35 T542WGeB.net
で、結局>>40は間違いなのか？Y/N
間違いであれば何がどう間違いなのか具体的に頼むわ
>>40は証明ないし反証可能性に一言も言及していないのだから、>>44のような的外れな白痴レスは勘弁して下さいねー
喧嘩吹っ掛けたとか訳の分からない言い訳も勘弁して下さいねー
184:complete idiot
21/02/06 11:49:54.33 OnHbmRmU.net
>>173-174
ダメダメ、ゲーデルの完全性定理も知らない一般人が
粋がっても笑われるだけだって
URLﾘﾝｸ(ja.wikipedia.org)
185:complete idiot
21/02/06 11:55:47.54 OnHbmRmU.net
>>175
じゃ線型代数じゃなく体の話で恐縮だけど
「代数方程式x^2+1=0は解をもつ」としようね
複素数体上だったら解をもつけど
実数体上だったら解をもたない
で、
「代数方程式x^2+1=0は解をもつ」
は君にとって命題？
ヤンキー君は命題だというだろうね
でカタギの君は？命題でない、と？
その場合、やっぱり>>44の指摘が当たってることになるよ
186:１３２人目の素数さん
21/02/06 12:02:36.89 T542WGeB.net
>>176
はい、逃げたーｗ
187:１３２人目の素数さん
21/02/06 12:37:46.85 UW7RVyGY.net
いずれにしても知は革命を求められている
七十年代、ドイツ、日本で科学者が疑問を投げかけ、九十年代日米で革命の必要が指摘され十年代には立花隆が量子力学の分野で新たな理論が求められていると語る
日本は森鴎外に象徴される負の伝統があるから心配だ
188:１３２人目の素数さん
21/02/06 12:44:54.66 T542WGeB.net
>>177
真偽が定まらないから命題でない。
ここは数学板なので論理学上の命題には言及していないことを注記しておく。
189:１３２人目の素数さん
21/02/06 12:51:24.66 LR53yx4D.net
>>180
形式論理における命題とは結局定理、すなわち、公理系から形式的論理規則により得られる論理式の集まりのことを指すと思います
あなたはおそらくxは実数か複素数かわからないじゃないかーと言うのかもしれませんが、公理を仮定する時点でそれは決まると思います
従って、あのような文を書いた時点で公理が設定されているわけですから、上の文は公理系から証明可能かもしくはそうでないかがわかるはずなので、命題だと思うのですがどうでしょうか？
なにも公理系を設定しないなら、そもそも+ってなんだろうってことになりますよね
190:１３２人目の素数さん
21/02/06 12:55:43.03 T542WGeB.net
>>181
>あなたはおそらくxは実数か複素数かわからないじゃないかーと言うのかもしれませんが、公理を仮定する時点でそれは決まると思います
じゃあその決まっていると主張している内容を書いて。
あと、「代数方程式x^2+1=0は解をもつ」の真偽も。
191:１３２人目の素数さん
21/02/06 12:59:47.22 T542WGeB.net
>>181
>形式論理における命題とは
>>180で断った通り私は論理学上の命題については言及していない。
192:１３２人目の素数さん
21/02/06 13:02:41.12 T542WGeB.net
>あのような文を書いた時点で公理が設定されているわけですから
設定されているとするその内容を具体的に書いて
193:１３２人目の素数さん
21/02/06 13:05:05.21 LR53yx4D.net
>>183
では、あなたの言う命題とはなんでしょうか？
194:１３２人目の素数さん
21/02/06 13:06:02.00 T542WGeB.net
数学上の命題
195:１３２人目の素数さん
21/02/06 13:07:00.75 LR53yx4D.net
私は数学上の命題は、数学の一分野である形式論理学もしくは数学基礎論によって定義される、公理系の元での定理を指すのだと理解しています
あなたのいう数学上の命題とはなんでしょうか？
196:１３２人目の素数さん
21/02/06 13:07:39.39 T542WGeB.net
先にこちらの質問に答えて
197:１３２人目の素数さん
21/02/06 13:09:30.20 LR53yx4D.net
あなたの言う命題の意味がわからないので答えようがないですね
私の知る命題と意味がかけ離れているようなので
あなたの気にしている真偽というのも、ある公理系に対するある数学的構造を適用した時の論理式の値のことを指すと私は理解しているので、真偽の定義すら異なる可能性があります
198:１３２人目の素数さん
21/02/06 13:13:38.42 LR53yx4D.net
私には、今のあなたが数学には命題は一切存在しない、と言っているようにすら感じるのですよ
それはおかしいでしょうから、あなたの中で命題を考える際の前提知識があるはずです
その前提知識は通常公理によって規定されますが、どうやらそうではないようですね
それは何か、と聞いています
前提知識を仮定することが全部ダメなら、数学には命題は一切存在しません
199:１３２人目の素数さん
21/02/06 13:14:44.41 T542WGeB.net
>>189
いや、こちらはあなたのレスに閉じた内容しか質問しかしていないからその心配は無用。
あなたは
>あのような文を書いた時点で公理が設定されているわけですから
と言った。
私はその設定内容を尋ねているだけ。
まずこれに答えて。
200:１３２人目の素数さん
21/02/06 13:17:12.29 LR53yx4D.net
+という言語が設定された時点でなにかしらの公理系が仮定されていると考えるのは普通だと思いますけど
まさか、+と書かれた関数記号を掛け算の意味で使う人はいませんよね
201:１３２人目の素数さん
21/02/06 13:18:20.08 LR53yx4D.net
+という意味を掛け算の意味で解釈することが許されないのなら、そう判断した基準になった公理系に基づいて、ある論理式がその定理になっているかどうか判断するべきですよね
202:１３２人目の素数さん
21/02/06 13:18:32.41 T542WGeB.net
>>192
質問に答えていない。
あなたが設定されているとした公理の内容を答えて。
あと「代数方程式x^2+1=0は解をもつ」の真偽も。
203:１３２人目の素数さん
21/02/06 13:19:41.31 LR53yx4D.net
>>194
x^2+1=0が等式として解釈している時点で、出題者のあなたがなにかしらの言語および公理を設定しています
その公理を用いて論理式の真偽は判断するべきです
204:１３２人目の素数さん
21/02/06 13:23:52.52 T542WGeB.net
>>195
質問に答えていない。
これ以上逃げるなら悪いがあなたを「相手する価値の無い方」と見做して無視させて頂くことになる。
205:１３２人目の素数さん
21/02/06 13:27:20.55 LR53yx4D.net
>>196
逃げてるのはあなたですよねぇ
あなたが複素数だと思えば複素数だし、実数だと思えば実数である
ただそれだけ
その不定性が、命題ではないとする根拠だと言うのなら、それは中途半端な取り扱いです
=を私は不等号だと解釈してもいいですか？
記号の意味の不定性はいいのでしょうか？
それがダメならば、あなたはその時点でなにかしらの前提知識を要求している
その前提知識の中に実数とか複素数とかそう言うのを含めないというのなら、それはただのあなたの自分勝手ですよね
そんなの知りませんよ、て感じです
だから、出題したあなたが、前提知識を全て明らかにしないといけない
しないのなら、数学に命題は一切存在しませんよ
どういう前提のもとで話すかの不定性なんて取り除けないですよね
206:１３２人目の素数さん
21/02/06 13:28:39.60 T542WGeB.net
これラストチャンスね
あなたは
>あのような文を書いた時点で公理が設定されているわけですから
と言った。
あなたが設定されていると言った公理の内容を具体的に書いて。
あとその内容に基づく「代数方程式x^2+1=0は解をもつ」の真偽もね。
207:１３２人目の素数さん
21/02/06 13:29:45.41 LR53yx4D.net
>>198
なんども言ってます
あなたの考えにより変わる
あなたがそれを隠し続けているからわからないだけ
208:１３２人目の素数さん
21/02/06 13:32:42.04 T542WGeB.net
>あなたが複素数だと思えば複素数だし、実数だと思えば実数である
どちらに思うかは人それぞれですよね？どこにもその情報って提示されてないんだから。
つまりあなたのいう命題とは人により真偽の判断が分かれるということでよいですか？
209:１３２人目の素数さん
21/02/06 13:34:18.28 T542WGeB.net
>>199
>あなたの考えにより変わる
いいえ、そんなことはありませんよ？
私はあなたのレスに閉じた内容しか問うてません。
210:complete idiot
21/02/06 13:48:15.07 OnHbmRmU.net
>>180
>形式論理における命題とは結局定理、
>すなわち、公理系から形式的論理規則により得られる論理式の集まり
>のことを指すと思います
また奇妙なこという人が出てきたなぁ
定理の否定となる論理式や、決定不能な論理式は命題ではない、と
ま、そう定義したいならしてもいいけど
211:complete idiot
21/02/06 13:53:09.37 OnHbmRmU.net
>>180
>（xは実数か複素数かは）公理を仮定する時点で決まると思います
体の公理しか仮定しない場合は決まらないが
>あのような文を書いた時点で公理が設定されているわけですから、
>上の文は公理系から証明可能かもしくはそうでないかがわかるはずなので、
>命題だと思うのですがどうでしょうか？
あなたの「命題とは（公理系の）定理である」という定義では
複素数体なら定理だから命題だが、
実数体では定理の否定だから命題でない
体の公理しかなければ証明も反証もできないからやっぱり命題でない
ということになるね
212:complete idiot
21/02/06 13:54:13.10 OnHbmRmU.net
>>202-203
誤 >>180
正 >>181
213:１３２人目の素数さん
21/02/06 13:56:52.09 T542WGeB.net
ID:LR53yx4D氏へ
なぜ私がこれほどしつこく問うているかと言うと
あなたは
>あのような文を書いた時点で公理が設定されているわけですから
と言ったが、何も設定しない輩が現にいるわけですよ。
つまり
その文の真偽が前提とするスカラー空間に依存するのにそれを設定しない
とか
その文の真偽が前提とする代数空間に依存するのにそれを設定しない
とかね
その場合、真偽が決定できないので、あるいは真偽を決定するために想定する仮定が人に依存するので命題ではないと私は思っています。
あなたは命題だと思うんですか？
214:complete idiot
21/02/06 14:08:47.37 OnHbmRmU.net
ID:LR53yx4DをクソガキCと名付けようｗ
>>181 C>公理が設定されているわけですから、
>>184 B>設定されているとするその内容を具体的に書いて
>>185 C>あなたの言う命題とはなんでしょうか？
>>186 B>数学上の命題
>>187 C>あなたのいう数学上の命題とはなんでしょうか？
>>188 B>先にこちらの質問に答えて
Bは昨日Aに凹られたトラウマで、明らかに腰が引けてるね
Cのいうことは全く見当違いというわけでもない
で、なぜCが一見狭く見える命題の定義を
口にしたかもなんとなくわかってくる
なぜならPが一般の論理式である場合
「公理⇒P」も論理式だというには
公理が有限個である必要があるから
しかし公理が無限にある場合ももちろんある
しかし実は証明できてしまえば有限個に制限できるので
Pが定理でありさえすれば
「公理⇒P」というトートロジー
だと言い切れる
215:１３２人目の素数さん
21/02/06 14:11:04.99 T542WGeB.net
>Bは昨日Aに凹られたトラウマで、明らかに腰が引けてるね
見当違いもここまで来ると病気だね
216:１３２人目の素数さん
21/02/06 14:12:20.75 T542WGeB.net
idiotくんは数学板に来る前に病院へ行った方がいい
君の妄想症と学歴コンプレックスは見ていて痛々しい
217:complete idiot
21/02/06 14:17:46.78 OnHbmRmU.net
>>190
C>前提知識を仮定することが全部ダメなら、数学には命題は一切存在しません
>>192 C> +という言語が設定された時点でなにかしらの公理系が仮定されている と考えるのは普通だと思いますけど >>193 C> +という意味を掛け算の意味で解釈することが許されないのなら、 そう判断した基準になった公理系に基づいて、 ある論理式がその定理になっているかどうか判断するべきですよね そうだね この場合>>177で体の話といったから、体の公理は前提されてる （実は環でもいいが、それじゃあんまりなんて体にしとくｗ） 一方で、それ以上の例えば実数とか複素数とかいうのは定義してない だから宙ぶらりんである
219:１３２人目の素数さん
21/02/06 14:21:30.12 T542WGeB.net
idiotくんが病院へ行く前に一つだけ質問したいんだけど
論理式Pは君の定義だと命題なんだよね？
Pの具体的内容はまったく不明だけれども
220:complete idiot
21/02/06 14:27:54.39 OnHbmRmU.net
主張の違い
クソガキB:真偽が決定できないなら命題ではない
クソガキC:定理でないなら命題ではない
>>197
C>不定性が、命題ではないとする根拠だと言うのなら、
>それは中途半端な取り扱いです
そうだろうね
Cは「定理じゃないから命題じゃないんでしょう？」
といってるからね
Cの定義には賛同はしないけど、
Cのいうことは筋は通ってる
要は
「証明された定理だけが命題として確定しているといっときゃ
それが一番確実でしょう」
っていうことで、
昨日のAは逆に
「論理式なら命題だといっときゃ確実
論理式かどうかは定義で確かめられる
一番確実」
といってる これまた正論
実はBが定義から一番アヤフヤ
昨日のAは
「おまえがいってるのって、結局
”公理を前提した上でのトートロジーかアンチトートロジー”
なんだろ」
と水を向けたが、それすら意味がわからず
なんか自分勝手な曖昧な発言で逃げまくったあげく
逃げられずに凹られまくった経緯がある
Cは
「命題とは公理系での定理、つまり”公理を前提した上でのトートロジー”」
と言い切った点ではエライｗ
221:１３２人目の素数さん
21/02/06 14:32:56.02 T542WGeB.net
>>211
>クソガキC:定理でないなら命題ではない
まず定理を定義せよ
これで何度目か？おまえは昨日から逃げ続けている
222:１３２人目の素数さん
21/02/06 14:35:17.09 T542WGeB.net
>逃げられずに凹られまくった経緯がある
はいはい、早く妄想症治しましょうねー
223:complete idiot
21/02/06 14:36:24.80 OnHbmRmU.net
>>208
私の馬鹿は完璧なので病院では治せませーんｗ
偏差値とIQに拘ってたのは昨日のA氏であって私じゃありませーんｗ
ちなみに大学の数学科は実に恐ろしいところなので
有名高校を出て東大に入っても挫折する人はザラにいます
タイガーマスクの「虎の穴」かよ！（でもまんざら誇張でもないよ）
224:１３２人目の素数さん
21/02/06 14:36:34.84 T542WGeB.net
>実はBが定義から一番アヤフヤ
じゃあ君の定義は明確なんだね？
じゃあ>>210もすぐ答えられるよね？
225:１３２人目の素数さん
21/02/06 14:40:15.58 T542WGeB.net
>偏差値とIQに拘ってたのは昨日のA氏であって私じゃありませーんｗ
そんな嘘要らんから
>ちなみに大学の数学科は実に恐ろしいところなので
>有名高校を出て東大に入っても挫折する人はザラにいます
そんな trivial information も要らんから
226:１３２人目の素数さん
21/02/06 14:42:22.07 T542WGeB.net
>ちなみに大学の数学科は実に恐ろしいところなので
>有名高校を出て東大に入っても挫折する人はザラにいます
だから出身大学や偏差値を語っても何の意味も無いと言ってるの
だから君の学歴コンプレックス早く治しなさいと言ってるの
227:粋蕎
21/02/06 14:44:26.54 nkdyOwKg.net
ほぅ言やぁ何年前じゃったろ？オイラー以上の数学職人エルデシュよりも多く論文を出しとる数学者が
イスラム圏に居ったとか何とかチラホラ数学板に話題が挙がっとったのう｡
もしかしたらイスラム圏の数学はG7公用数学とは異なる書式か知れんな｡
G7公用数学にしても小学算数の文章掛け算問題に際して
少なくとも立式の際は被乗数と乗数の関係を示す為に固定であるらしいのう｡
日本の公立学校でも近年は厳しくなったらしいのう。儂の頃は不問じゃったわい｡
また、推論起点である立式の際の被乗数項と乗数項を示す為の記述順序要件と、推論過程の次式移行の順序要件は
全く違う要件なんで実数体上の積の交換則 ab=ba に背
228:く事は無いと言うフレキシブルな言い分を 脳発達上、二重思考が未熟な年頃に押し通そうってんじゃけぇ軽く無茶な話ではある｡ 問題なんはドイツ語の場合はドイツ語の性質の為に立式時は乗数を先に書き被乗数を後に書く｡ ドイツ語じゃったか？いや忘れたが、どっか確実に逆順立式の国が有った筈じゃ｡ また、米国と日本じゃ厳密に書くと a÷b/cd=a÷b/c･d=a÷b/(c×d)=a÷{b÷(c×d)}=a×{(c×d)÷b}=acd/b と ×と・の演算順位が違う事情があり、其れについて来れん生徒学生に配慮する為に 1990年代から『括弧を多用し演算順序を迷わせぬ様に配慮する事』を議論され 数学では秘かに改定されたが、数学を参考に組まれる国際SI単位系も1997年に改定された｡ そこまでは良い。問題は算数でも数学でも×を全く使わん国と・を全く使わん国が存在する言う事｡ 結論 算数数式も数学数式も世界で公用性が有るとは言えず通訳が必要である｡
229:１３２人目の素数さん
21/02/06 14:45:22.80 LR53yx4D.net
>>205
あなたは結局、xは体である、とかそこらへんまで仮定してるわけですよね？
わざと曖昧性が残るように、前提知識を制限している
私はxが体であるというのすら不定性だと思うので、あなたがわざと曖昧に捉えられるような前提知識を要求して話をややこしくしてるだけなのではないかな、と思ったまでです
実際そうですよね？
あなたが最初からxは実数とか複素数だとすれば話は済むわけです
xは体であるという中途半端な仮定だけ要求している
そんなの知りませんって感じですよねぇ
230:complete idiot
21/02/06 14:47:17.55 OnHbmRmU.net
>>210
＞論理式Pは君の定義だと命題なんだよね？
ボクじゃなくてクソガキAね
＞Pの具体的内容はまったく不明だけれども
別に具体的内容とか要らないけどね
∃y.∀x.Q(x,y)⇔￢Q(x,x)
はいこの論理式は君のいう命題ですか？
命題だとして真ですか？偽ですか？
Q(x,y)は
「xがyの要素である」でも
「xがyによって散髪される」でも
「xがyにエッチされる」でも
なんでもいいよ
三番目ならこうなります
「ある人ｙが存在して、どんな人ｘについても
ｘがｙにエッチされるのは、ｘがｘ自身をエッチしないとき、そのときに限る」
ああ、アレか？ そう、アレです（ニンマリ）
231:粋蕎
21/02/06 14:52:18.99 nkdyOwKg.net
国際度量衡総会による改定前と改定後
重力定数単位
G[m^3/kgs^2] または G[m^3/kg･s^2] →(世代の壁)→ G[m^3/(kg･s^2)]
モル比熱
Cp[J/molK] または Cp[J/mol･K] →(世代の壁)→ Cp[J/(mol･K)]
燃料消費率
BSFC[g/PSh] または BSFC[g/PS･h] →(世代の壁)→ BSFC[g/(PS･h)]
単位系は数学とは外れる話じゃが単位系の話ともなると各国により異なって来よるな｡
232:１３２人目の素数さん
21/02/06 14:54:24.64 T542WGeB.net
>>219
>私はxが体であるというのすら不定性だと思うので、あなたがわざと曖昧に捉えられるような前提知識を要求して話をややこしくしてるだけなのではないかな、と思ったまでです
まず>>198に答えて
答えてから言い訳するならして
233:１３２人目の素数さん
21/02/06 14:58:23.76 OnHbmRmU.net
>>222
＞まず・・・に答えて
わけのわからんこと尋ね続けて
答えないと「逃げた」という
それしか技がないのかい？
今度からクソガキBの名前はこうしよう
「似毛逃げ太君」
いい名前だろうｗ
234:complete idiot
21/02/06 15:08:15.36 OnHbmRmU.net
さて昨日＆今日のクソガキBこと「似毛逃げ太」君は
>>220にこたえられないだろうから、代わりに答えいっちゃう
えーと、
∃y.∀x.Q(x,y)⇔￢Q(x,x)
は恒に偽です
例えばｙが存在するとして仮に名前を「逃げ太」としますね
逃げ太の掟ｗ
１．自分を＊＊しないつまりオナニーしないヤツは全て片っ端から＊＊する
２．しかしオナニーするヤツは決して＊＊しない
さて逃げ太はオナニーするのか？
しないなら、掟１に反する
しかしするなら、掟２に反する
いやーどっちにしても矛盾する
したがって、こんなヤツは存在しえない！
逃げ太、バイバーイｗｗｗ
別に具体的内容がいるわけじゃない
単純に証明できるか否かが問題なだけ
そういう点で「命題とは定理である」と
何のあいまいさもなく言い切ったCはさすが
（どう定義してもいいけど、ちゃんと筋を通した）
もしかしたらプロかもしれん うわっ、やっべぇ
235:１３２人目の素数さん
21/02/06 15:27:00.43 T542WGeB.net
>>220
>Q(x,y)は
>「xがyの要素である」でも
>「xがyによって散髪される」でも
>「xがyにエッチされる」でも
>なんでもいいよ
もしかして暗に「命題変数が不定なら命題ではない」と言ってる？
でも違うよね、論理式は命題なんだよね？君の定義だと
236:complete idiot
21/02/06 15:31:52.36 OnHbmRmU.net
>>225
>もしかして暗に「命題変数が不定なら命題ではない」と言ってる？
いや、逆
そもそも ∃y.∀x.Q(x,y)⇔￢Q(x,x) 偽だしｗ
237:１３２人目の素数さん
21/02/06 15:37:40.64 T542WGeB.net
つまり、
命題変数が不定なら一般に真偽不定なんだけど、それでも君の定義だと命題なんだね？
一般には命題変数が不定でも真偽が定まる恒真命題や恒偽命題だけじゃないからね。
238:１３２人目の素数さん
21/02/06 15:43:21.93 T542WGeB.net
もっと噛み砕くと
論理式Pは命題変数Pが不定なら真偽が定まらないけど君の定義だと命題なんでしょ？
239:１３２人目の素数さん
21/02/06 15:48:36.30 T542WGeB.net
>>226
言ってる意味が分らないね
まさか論理値＝偽の論理式は命題に非ずって訳じゃないよね？
240:complete idiot
21/02/06 15:56:23.99 OnHbmRmU.net
>>227
>命題変数が不定なら一般に真偽不定なんだけど、それでも君の定義だと命題なんだね？
逆に聞くけどなんで真偽が不定だと命題にならない、と思うの？
命題（＝論理式）であることと真偽が定まることは全然違うよね？
命題論理の式でも述語論理の式でも
１）恒真式 トートロジー
２）恒偽式 アンチトートロジー
３）どちらでもない式
の３つがあるよ
３）だけ命題じゃないの？それなんかヘンじゃね？
241:１３２人目の素数さん
21/02/06 15:59:52.90 jsYA7H5X.net
>>110
ならお前も嘲笑と冷笑ばかりせず、クズではない賢い一般大衆になったらどうだ？
>>111
ID:Z6vXAk9R
ID:6PiUpIrX
こいつらがどちらもサル石なのは同意。
しかしそうするとバカは3人だけ。
安達と安達2号とサル石。
第四は存在しない。
242:complete idiot
21/02/06 16:00:43.82 OnHbmRmU.net
>>228
＞論理式Pは命題変数Pが不定なら真偽が定まらないけど
それ、嘘ねｗ
A∨￢Aとか、A∧￢Aとかは 真偽が定まる
前者は真（トートロジー)、後者は偽（アンチトートロジー）
逆にいうと、数学は公理を前提として式に組み込んだ上で
トートロジー判定をする で判定でOKになった結論部が定理
243:１３２人目の素数さん
21/02/06 16:19:50.16 T542WGeB.net
>>232
>それ、嘘ねｗ
はい、大間違いね
命題変数は原子論理式なので、論理式P（＝命題変数P）は恒真でも恒偽でもありませーん
名は体を表す idiot!!!
244:complete idiot
21/02/06 16:41:23.63 OnHbmRmU.net
>>233
>論理式P（＝命題変数P）は恒真でも恒偽でもありませーん
何も問題ないが
恒真式、恒偽式でないと命題でないというほど
真偽決定フェチじゃないんでｗ
245:１３２人目の素数さん
21/02/06 16:44:33.61 nkdyOwKg.net
あら？義警団ひとりは>>231か
じゃあ詰問中年とも違うID:6PiUpIrXは一体…
> こいつらがどちらもサル石なのは同意｡
> しかしそうするとバカは3人だけ｡
ほりゃあ違うじゃろ。ヒュームの奇跡論を恐れ過ぎたオッカムの剃刀の濫用じゃな｡
> 安達と安達2号とサル石｡
> 第四は存在しない｡
2号？ああ、規定と否定を一緒朽多にする味噌糞野郎の事か｡
246:complete idiot
21/02/06 16:57:58.42 OnHbmRmU.net
このスレッドの登場人物
「哀れな素人」 本名 安達弘志
”パルメニデス”
”蕎麦っち”
”元祖サル石” （別名 Mara Papiyas
247:） ”質問君” 元祖サル石がクソガキＡ 質問君がクソガキＢ だろうな なんとなく
248:１３２人目の素数さん
21/02/06 17:10:36.88 T542WGeB.net
>何も問題ないが
開き直っちゃったよｗ
249:１３２人目の素数さん
21/02/06 17:13:44.03 T542WGeB.net
>恒真式、恒偽式でないと命題でないというほど
だーかーらー
いつ誰がそんなこと言ったのかレス番号示せ
示せないなら今すぐ死ね
250:１３２人目の素数さん
21/02/06 17:17:56.13 T542WGeB.net
というかさ、おまえ恒真式の意味分かって言ってる？
恒真式とは命題変数の値によらずに論理値＝真の論理式だぞ？
「命題は論理値が定まる」と「命題は恒真式または恒偽式である」はまったく違うぞ？
分かってねーだろおまえ やっぱりidiot!!!だな
251:complete idiot
21/02/06 17:19:17.29 OnHbmRmU.net
>>237 ＞開き直っちゃったよｗ
>>238 ＞いつ誰がそんなこと言ったのか
ブレブレ・・・
＞示せないなら今すぐ死ね
あと数十年以内には死ぬのでご安心を！！！
252:complete idiot
21/02/06 17:21:53.75 OnHbmRmU.net
>>239
＞「命題は論理値が定まる」と
＞「命題は恒真式または恒偽式である」は
＞まったく違うぞ？
数学の証明って、論理値代入してましたっけ？
してないですよね？
証明って”トートロジー”であることを確認してるだけですよ
253:１３２人目の素数さん
21/02/06 17:22:30.16 T542WGeB.net
idiotくんさあ、いくら凹られ過ぎたからって荒唐無稽な発言はやめてねー
254:１３２人目の素数さん
21/02/06 17:24:54.37 T542WGeB.net
>数学の証明って、論理値代入してましたっけ？
>してないですよね？
あー こいつやっぱりなーんも分かってねーｗ
なんか昨日から話が噛み合わんと思ってたら分かってねーから噛み合わなくて当然ｗ