Π01言明について理解しておこう (215ﾚｽ)
上下前次1-新
1(2): BLACKX ◆SvoRwjQrNc 02/23(日)18:43 ID:f/qalxpg(1/5) AAS
ZFCの無矛盾性を信じるだけでは, ZFCでの証明可能性から A (引用者注: Aは算術的定理)が真だとすることは, 一般的に正当化できないのである
ゲーデルの第二不完全性定理によると, ZFCが無矛盾であれば ZFC+「ZFCは矛盾している」 という理論も無矛盾であるが、この理論は真なるΠ01言明「ZFCは無矛盾である」を自明に反証できる。また、同じことだが、偽なる言明「ZFCは矛盾している」を自明に証明できる。
よって、証明されたとしても
無矛盾な理論のなかには, 証明できても偽である算術的言明がある
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
採点も人間のなせる技に過ぎない。
192: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)03:08 ID:3PRvO3Ut(27/31) AAS
点数が上下するなら採点も上下している。
193: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)03:11 ID:3PRvO3Ut(28/31) AAS
簡単に成績が出るよりは出来てても点数がなかなか出ないで成績が下になる方が良い。評価の尺度というか。
194: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)03:12 ID:3PRvO3Ut(29/31) AAS
最高点が不可。みたいな。
195: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)03:13 ID:3PRvO3Ut(30/31) AAS
まあそういう人はテンションが弱点。
196: 死狂幻調教大師S.A.D.@月と六ベンツ 04/01(火)03:14 ID:3PRvO3Ut(31/31) AAS
だから成績を歪めてもバレる。
197: poem 04/01(火)22:54 ID:1H0QGzWm(1) AAS
先の続編だから荒らし
教科種類の話と亜流が出現。教科亜流と命名しようか。教科種類と教科亜流。本章と亜章が出現
─
なぜ数学の分野には藤井聡太のような飛び抜けた天才が現れなくなったのか？
2chｽﾚ:math
─
15poem
省14
198: poem 04/04(金)15:19 ID:7UO6FmPf(1) AAS
2chｽﾚ:sci
↑
他の人の「創発」「還元主義者」の読み物を読んで欲しい。新たな読み物需要が出現
前回この人とは違う人がメソッド主義とオブジェクト主義という読み物需要を置いた
今回は「演繹を越える者」と「演繹を越えない者」みたいで前回と別教科種類のよう
199: poem 04/07(月)18:09 ID:rLdm7yCK(1) AAS
0から順に∞まで足すのと∞から順に0まで足す答え違う
2chｽﾚ:math
200: poem 04/10(木)15:18 ID:2t0CWyzR(1) AAS
「こういう問題を作った」って論文になる？
2chｽﾚ:math
─
22 poem 225/04/10(木) 15:00:46.12
ともかく
スレタイの結論は
良問は論文には成り得ない
省1
201: poem 04/12(土)19:56 ID:wHddaTUF(1) AAS
教科の話はΠ01言明に参考だったからよかったけど
今回は教科書の話関連で最新なんだけど
スレチ内容になる
哲学ゾンビと非哲学ゾンビとは何か解明
2chｽﾚ:sci
202(1): poem 04/18(金)11:02 ID:e+YSIK1b(1/3) AAS
>>1 スレタイ、ド真ん中、荒らしじゃない話題
↓
マクロのランダムは多項式時間の終わらない計算がか？
2chｽﾚ:math
203: poem 04/18(金)13:21 ID:e+YSIK1b(2/3) AAS
スレチ
↓
辞書と非辞書
2chｽﾚ:sci
204: 04/18(金)16:00 ID:NReuFt/b(1) AAS
>>202
お前がスレを立てること自体が荒らしなんだよ
意味のあるスレを立てたことないだろ
205: poem 04/18(金)22:04 ID:e+YSIK1b(3/3) AAS
スレ建てたから
スレタイテーマ
雑談しよーぜえ
雑談のための場
騒げば良スレに
騒がないから駄
糞スレにするの
省1
206: poem 04/28(月)21:18 ID:nMxllwm6(1/2) AAS
このスレに関係あり
猿のタイプライターは5億年ボタンと知力の原理
2chｽﾚ:math
207(1): poem 04/28(月)22:59 ID:nMxllwm6(2/2) AAS
真相はもしかしたら不正解かもだけど
Π01言明の自己言及が論理おかしくなる理由の
一説として算学的単位の異常が一案できるのでは
0除算乗算問題を解明した。算学的単位がおかしくなるっぽい。算学にも物理と同様に単位が必要だったみたい。小学生にも説明できる目途が立った
2chｽﾚ:math
208: 04/29(火)11:16 ID:Iv5Qiae2(1) AAS
>>207
死んどけゴミ
お前は無益で有害なんだよ
209: poem 04/29(火)21:06 ID:aOxFfPZf(1) AAS
2chｽﾚ:math
210: poem 05/02(金)21:32 ID:3GpIa3zc(1) AAS
「有意に有効」「有意に無効」法律なら社会通念。
2chｽﾚ:math
─
07 poem 225/05/02(金) 21:12:40.23
学問…「確度の高い推論をさらに確度の高い推論で覆し続け高確度を得る試み」→「人類皆同じ生きやすさを抱えてる」→「人類に良い悪いの良いに近づく」→「真理(学問)」
哲学…「確度の低い推論をさらに確度の低い推論で覆し続け低確度を捨る試み」→「人類皆同じ生きづらさを抱えてる」→「人類に良い悪いの悪いから退く」→「真理(哲学)」
09 poem 225/05/02(金) 21:15:43.99
省5
211: poem 05/08(木)14:15 ID:if2KmJfW(1) AAS
これはスレチ
感想文や総合文の書方の違い無学ながら後学に
2chｽﾚ:occult
─
23poem
225/05/07(水) 15:01:24.69ID:31d2rApj0
☝ (・-・)☝
省3
212: poem 05/10(土)21:19 ID:SlZwt4zG(1) AAS
良問なら高難度で攻略不可でも高純体験の仮説
2chｽﾚ:math
213: poem 05/18(日)16:53 ID:lXcnBuZN(1) AAS
数学板:
2chｽﾚ:math
─
22poem
225/05/18(日) 13:28:11.42ID:lXcnBuZN
💃
50poem
省2
214: poem 05/23(金)12:53 ID:S1rga4ep(1) AAS
血統って数学パラドックス問題の一つだと判明。新ミレニアム問題になればいいんじゃ
2chｽﾚ:math
215: poem 05/26(月)14:16 ID:CWYrU6wk(1) AAS
大衆文化ごとの分類大別
2chｽﾚ:occult
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.552s*