Π01言明について理解しておこう (247ﾚｽ)
上下前次1-新
111: 03/05(水)06:23 ID:EnrHvu28(1/2) AAS
>>107
お前はZFCに興味を持つほどの知能を持ってない
>>105
部品を取り揃えているというのも誤り
こいつの論理は破綻していて部品ですらない
112: poem 03/05(水)09:05 ID:UHachPlg(1/25) AAS
今日もおはよう🪴
113: poem 03/05(水)09:50 ID:UHachPlg(2/25) AAS
一切Π01言明なる物わからないままだけど
もしかして
自分の言った「パラドックスやパラレルなど」の話でなく
「右向きながら左向けない」みたいな話？
この話ならパラドックスやパラレルよりさらに根本な話になる
114: poem 03/05(水)09:51 ID:UHachPlg(3/25) AAS
少し考えてみよう
パラレルもパラドックスも
「同じ存在や歴史前提が2箇所に同時存在できないルール」
を基幹とする
115: poem 03/05(水)09:52 ID:UHachPlg(4/25) AAS
言わなくてもわかるだろうけど
パラドックスやパラレルは
同時存在禁止からの発展した応用であり
より基本が同時存在禁止
116: poem 03/05(水)09:54 ID:UHachPlg(5/25) AAS
つまり
ZFCで無矛盾
ZFC+で矛盾
になるような理屈があるとして
これは
左向きながら右向いてる理屈が実在するに同じ
117: poem 03/05(水)09:54 ID:UHachPlg(6/25) AAS
今はこれ以上わからないな
118: poem 03/05(水)14:09 ID:UHachPlg(7/25) AAS
疑問出た
右向きながら左向けない
これ
右向きながら同じ方向向けなくないか
何故かというと
右向く一重は可能だが右向く二重は不可能なのは同時に2箇所で存在不可だから同位置でも不可
何か使えないかこれ
省1
119: poem 03/05(水)14:12 ID:UHachPlg(8/25) AAS
ヒントわかった
ある人が一重のみの存在で左右を同時に見るには
世界が二重に座標をある人に及ぼさなければならない
逆にある人が二重に存在するためには
ある人が二重に世界に存在を及ぼさなければならない
120: poem 03/05(水)14:13 ID:UHachPlg(9/25) AAS
つまりそもそも
一重以上可能定義なら
二重に及ぼさなくても
世界もある人もよい
一重定義だから
二重に及ぼす必要がある
121: poem 03/05(水)14:15 ID:UHachPlg(10/25) AAS
ヒントになるかわからないけど
カメラに映る時
カメラとの直線に障害物がない
二重以上可能定義みたいな物なら
片方だけが可能
122: poem 03/05(水)14:17 ID:UHachPlg(11/25) AAS
このカメラを使えるかわからないけど、実験
ZFCとZFC+がカメラのように直線に障害物があってはならない
場合どうなる
123: poem 03/05(水)14:19 ID:UHachPlg(12/25) AAS
そもそも
ZFC
及び
ZFC+
内部自体に本題があるな
最初からと同じ事言ってるだけだが
124: poem 03/05(水)14:21 ID:UHachPlg(13/25) AAS
まず
ZFCとZFC+の+の定義はa=b,b=c→a=cの演繹拡張だろうから
カメラ直線と同じにならなきゃいけないよね？
125: poem 03/05(水)14:23 ID:UHachPlg(14/25) AAS
通常三段論法は無矛盾のはずだから
ZFC+で矛盾になるのは
ZFCとZFC+は
通常三段論法で使われる証明では無いとなる
これがΠ01というタイプなんだろうかね
126: poem 03/05(水)14:26 ID:UHachPlg(15/25) AAS
そもそも
通常三段論法では
a=b自体も証明可能無矛盾
b=c自体も証明可能無矛盾
なはずなのに
ZFC自体は証明不可能
ZFC自体も証明不可能
省1
127: poem 03/05(水)14:28 ID:UHachPlg(16/25) AAS
だと
何が証明可能と証明不可能と変える条件なのか
「証明」自体が本題なのかな
128: poem 03/05(水)14:28 ID:UHachPlg(17/25) AAS
ゆっくり進もう
129(1): 03/05(水)18:17 ID:EnrHvu28(2/2) AAS
荒らすなって言われてたろ
お前は人の指示も聞けないのか？
130: poem 03/05(水)19:06 ID:UHachPlg(18/25) AAS
>>129
「スレチは荒らし」∧「荒らすな」と言われたんだよ
対偶は
「スレタイ通り」∧「いいよ」
131: poem 03/05(水)19:06 ID:UHachPlg(19/25) AAS
ていうか
ヒント判明させたよ！
132: poem 03/05(水)19:08 ID:UHachPlg(20/25) AAS
自己言及がミソだったんだね
つまり
ZFCの中に自己言及が含む？
ZFC+の中にも同じ自己言及が含む？
場合
ZFCの要素は
「自己言及Aと他の要素を含む」
133: poem 03/05(水)19:10 ID:UHachPlg(21/25) AAS
すると
他の要素は
自己言及Aからa=b,b=c→a=cと演繹されて出てるから無問題
そしてZFC+の新たな
c=d,d=e→a=e
も演繹されて出てるから無問題
134: poem 03/05(水)19:11 ID:UHachPlg(22/25) AAS
しかし
だからヒントしか判明しなかった、ってことなんだけど
自己言及Aは
ZFCでは無矛盾になり
ZFC+では矛盾になる場合
が
このΠ01問題なんじゃないか
135: poem 03/05(水)19:13 ID:UHachPlg(23/25) AAS
もしこれが正解なら
自己言及が証明でどのような振る舞いをするか
yi/xiがy/xにならないのと同じ
136: poem 03/05(水)19:14 ID:UHachPlg(24/25) AAS
とりあえず
自分も少し外堀の外堀の外堀は理解できたってことだね
証明内で自己言及すると自己言及を扱う方法が必要
137: poem 03/05(水)19:16 ID:UHachPlg(25/25) AAS
Π01言明問題のパラドックス起きるのは
Π01言明問題で自己言及が問題になると最初に言ってたのが
本当に引っ掛かりの部分がその自己言及自体だった理屈があったと正解ならこうなる
138(1): 03/07(金)03:20 ID:i2yZGNB0(1) AAS
ここまでのお前のレスを見てもお前が何も理解してないことが丸わかりだから大人しくオカルト板に返りな
139: poem 03/07(金)09:32 ID:SRIAPvOK(1) AAS
>>138 え？Π01言明の矛盾無矛盾パラドックスの原理は「自己言及以外の部分を原理にする」と思う立場なの？
140: 03/08(土)04:49 ID:V01Q2DNc(1) AAS
お前は何も理解せずに単語を並べてるだけだろ
141: poem 03/08(土)13:40 ID:58YQBPpL(1/6) AAS
????????
せんと せんと せんき せんき
ち んち んち ろち ろ
↑
ちゃんと意味分かりながら並べてるじゃん
142(1): BLACKX ◆SvoRwjQrNc 03/08(土)14:20 ID:xqA+ZxYA(1) AAS
だから、スレチの内容は他でやれ
143(1): poem 03/08(土)16:15 ID:58YQBPpL(2/6) AAS
>>142 内容無いんだが…
144: 03/08(土)16:21 ID:hlgeVTvv(1) AAS
いいかげんになさい
145(1): 03/08(土)17:22 ID:ieIAK+mt(1) AAS
>>143
首吊って死ねよゴミ
146: poem 03/08(土)17:36 ID:58YQBPpL(3/6) AAS
スレチ
2chｽﾚ:sci
147(1): 03/08(土)17:51 ID:cUB3WoJ3(1) AAS
内容理解しない知恵遅れガイジが書き込んでて草
>>145
今すぐ死ね無価値の中卒
148: poem 03/08(土)17:59 ID:58YQBPpL(4/6) AAS
>>147 もしかしてそちらレス番狂ってる？
149: poem 03/08(土)18:04 ID:58YQBPpL(5/6) AAS
名前欄だけ眺めたけど1レス番狂いそうな名前欄はなかったな
150: poem 03/08(土)18:06 ID:58YQBPpL(6/6) AAS
もしかしてこの人のIDをNGしてる？
144１３２人目の素数さん
225/03/08(土) 16:21:15.47ID:hlgeVTvv
いいかげんになさい
151: BLACKX ◆SvoRwjQrNc 03/08(土)22:01 ID:vi24841g(1/3) AAS
俺もそろそろNGしよ
152: BLACKX ◆SvoRwjQrNc 03/08(土)22:09 ID:vi24841g(2/3) AAS
非社交数では
1を取るもの(非社交数)
ある数を取るもの(完全数)
2数でループするもの(友愛数、社交数)
発散？に向かおうとするもの(後で説明)があり、
これら完全数、友愛数、社交数を除いたものが非社交数とし一般化を目指す
153: BLACKX ◆SvoRwjQrNc 03/08(土)22:40 ID:vi24841g(3/3) AAS
すまん俺のプログラムが悪くリストがエラーしてるのが多数ある
発散に向かおうとするものは約数の中に10の倍数が奇数個含まれる？(わからん)又は
偶数の方が全体の数に比べて多い(わからん)
ので含まれなくなるまで無限の方向へ進む
しかし、数が多くなるにつれて素数が多くなるので偶数の割合が減って来て何らかの数に戻ってくる(証明の設定必要)
154(1): BLACKX ◆SvoRwjQrNc 03/23(日)07:39 ID:D54Xe/Pz(1) AAS
なんかアイディア考えたんだけど社交数の判定式いけるな…
1に収束する場合
∃m∈N,sm(n)=1∃m∈N,sm(n)>10m∀k∈N,sk(n)≠n
このとき、非社交数の集合を以下のように定義する。N={n∈N∣sk(n)≠n,∃m,sm(n)=1 または sm(n)>10m}
判別式は
P(n)={1,if ∃k≥1,sk(n)=n (loop)
{0, if ∃m,sm(n)=1 or sm(n)→∞
省2
155: BLACKX ◆SvoRwjQrNc 03/25(火)08:04 ID:kgVrEpmj(1) AAS
わかる奴はおらんか
156: poem 03/31(月)19:37 ID:RBb8S9gJ(1/2) AAS
この中の哲学についてとか色々使える
最新、知力の大小でなく思考法の種類、進展
2chｽﾚ:occult
157: poem 03/31(月)19:38 ID:RBb8S9gJ(2/2) AAS
155へのレスでなく、スレタイのテーマに、で荒らしラベルで色々使えると
158: 03/31(月)22:56 ID:ePJx/l8g(1) AAS
セメント太郎
159: poem 04/01(火)01:29 ID:4jMEuiqT(1) AAS
学術の隙間
パテ太郎？
160: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)01:54 ID:3PRvO3Ut(1/31) AAS
最後の結論が間違ってると思うよ。物事を単純に簡略化してはダメさ。
161: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)01:57 ID:3PRvO3Ut(2/31) AAS
しかしさ、プログラミング言語とかのアドリブで恋愛とか面白いでしょ。C言語を使った数式とか流行らないかなあ。
162: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)01:58 ID:3PRvO3Ut(3/31) AAS
方程式の右辺のほうが難しいべき。
163: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)01:59 ID:3PRvO3Ut(4/31) AAS
なにか素朴な人が多いのね…。
164: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)02:00 ID:3PRvO3Ut(5/31) AAS
解自体が高度にならないと進化しないよ。
165: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)02:02 ID:3PRvO3Ut(6/31) AAS
表現をするべきで安易な快感を求めすぎない。
166: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)02:03 ID:3PRvO3Ut(7/31) AAS
数学にも流派があって主流より進んだ文明がおすすめ。
167: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)02:05 ID:3PRvO3Ut(8/31) AAS
矛盾のままスッキリしないほうが恋愛失敗しないと思うな。
168: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)02:08 ID:3PRvO3Ut(9/31) AAS
数式を書くのと詩で理論をすることは違うことでしょうか。暗唱という面で全く同じことじゃないですか。
169(1): 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)02:09 ID:3PRvO3Ut(10/31) AAS
俺は専門より数学のほうが時に自信ある。別学で一番時間をかけた。
170: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)02:11 ID:3PRvO3Ut(11/31) AAS
数学が好きで得意だから続けているから苦手克服してる人が気の毒だ。
171: BLACKX ◆SvoRwjQrNc 04/01(火)02:12 ID:oMnTV836(1/6) AAS
>>169
じゃあ無駄レスしてないで>>154に答えてよ
172: BLACKX ◆SvoRwjQrNc 04/01(火)02:13 ID:oMnTV836(2/6) AAS
方針だいたい固まってコラッツと完全数で執筆なう
173: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)02:14 ID:3PRvO3Ut(12/31) AAS
数学なんて選択科目にしたら数学関連の望まない妊娠などなくなるだろうに。原爆が落ちたから生まれた子は不幸だ。
174: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)02:15 ID:3PRvO3Ut(13/31) AAS
初心者をカモることは妊娠の反応が出やすいんだよ。
175: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)02:16 ID:3PRvO3Ut(14/31) AAS
数学者なんてほとんどは信じるに値しないよ。
176: BLACKX ◆SvoRwjQrNc 04/01(火)02:17 ID:oMnTV836(3/6) AAS
はい、会話にならない…あぼーん
177: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)02:17 ID:3PRvO3Ut(15/31) AAS
数学は人助けにもなる。
178: BLACKX ◆SvoRwjQrNc 04/01(火)02:17 ID:oMnTV836(4/6) AAS
どっか行けよ荒らすなよあぼーん
179: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)02:19 ID:3PRvO3Ut(16/31) AAS
妊娠した人も多い不幸な業界なんじゃないの。右辺が複雑だと妊娠するか？俺は趣味でもやってる。
180: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)02:20 ID:3PRvO3Ut(17/31) AAS
避妊数学は役に立つのに。
181: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)02:21 ID:3PRvO3Ut(18/31) AAS
堕落した数学にならないようにな。
182: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)02:22 ID:3PRvO3Ut(19/31) AAS
でさあ見直せとかよく言うだろ？
183: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)02:23 ID:3PRvO3Ut(20/31) AAS
避妊できるからさ。
184: BLACKX ◆SvoRwjQrNc 04/01(火)02:24 ID:oMnTV836(5/6) AAS
なんで真面目なスレは無駄レス叩くやつしか来ないのに、よしきとか高木君とかの知恵遅れスレにガチ煽り君が来るんだよ
俺のスレにも来いよ
185: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)02:25 ID:3PRvO3Ut(21/31) AAS
頭が良いかどうかは恋愛の繊細な倫理による。
186: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)02:25 ID:3PRvO3Ut(22/31) AAS
性も含めて。
187: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)02:27 ID:3PRvO3Ut(23/31) AAS
理想がすべてなら理想は高いさ。
188: BLACKX ◆SvoRwjQrNc 04/01(火)02:27 ID:oMnTV836(6/6) AAS
荒らすなよゴミ
189: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)03:05 ID:3PRvO3Ut(24/31) AAS
熱心に原稿を書くのが荒らしか。
190: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)03:06 ID:3PRvO3Ut(25/31) AAS
意味がわからないのは経験不足。
191: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)03:07 ID:3PRvO3Ut(26/31) AAS
採点も人間のなせる技に過ぎない。
上下前次1-新書関写板覧索設栞歴
あと 56 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.568s*