Π01言明について理解しておこう (233ﾚｽ)
Π01言明について理解しておこう http://rio2016.5ch.net/test/read.cgi/math/1740303816/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
1: BLACKX ◆SvoRwjQrNc [sage] 2025/02/23(日) 18:43:36.79 ID:f/qalxpg ZFCの無矛盾性を信じるだけでは, ZFCでの証明可能性から A (引用者注: Aは算術的定理)が真だとすることは, 一般的に正当化できないのである ゲーデルの第二不完全性定理によると, ZFCが無矛盾であれば ZFC+「ZFCは矛盾している」 という理論も無矛盾であるが、この理論は真なるΠ01言明「ZFCは無矛盾である」を自明に反証できる。また、同じことだが、偽なる言明「ZFCは矛盾している」を自明に証明できる。 よって、証明されたとしても 無矛盾な理論のなかには, 証明できても偽である算術的言明がある http://rio2016.5ch.net/test/read.cgi/math/1740303816/1
153: BLACKX ◆SvoRwjQrNc [sage] 2025/03/08(土) 22:40:51.99 ID:vi24841g すまん俺のプログラムが悪くリストがエラーしてるのが多数ある 発散に向かおうとするものは約数の中に10の倍数が奇数個含まれる？(わからん)又は 偶数の方が全体の数に比べて多い(わからん) ので含まれなくなるまで無限の方向へ進む しかし、数が多くなるにつれて素数が多くなるので偶数の割合が減って来て何らかの数に戻ってくる(証明の設定必要) http://rio2016.5ch.net/test/read.cgi/math/1740303816/153
154: BLACKX ◆SvoRwjQrNc [sage] 2025/03/23(日) 07:39:30.29 ID:D54Xe/Pz なんかアイディア考えたんだけど社交数の判定式いけるな… 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)→∞ とおもうのだがどうか？ これの判別式がΠ01に引っ掛かるかどうか http://rio2016.5ch.net/test/read.cgi/math/1740303816/154
155: BLACKX ◆SvoRwjQrNc [sage] 2025/03/25(火) 08:04:05.38 ID:kgVrEpmj わかる奴はおらんか http://rio2016.5ch.net/test/read.cgi/math/1740303816/155
156: poem [] 2025/03/31(月) 19:37:27.55 ID:RBb8S9gJ この中の哲学についてとか色々使える 最新、知力の大小でなく思考法の種類、進展 https://mao.5ch.net/test/read.cgi/occult/1734946313/463-473/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/156
157: poem [] 2025/03/31(月) 19:38:37.35 ID:RBb8S9gJ 155へのレスでなく、スレタイのテーマに、で荒らしラベルで色々使えると http://rio2016.5ch.net/test/read.cgi/math/1740303816/157
158: １３２人目の素数さん [] 2025/03/31(月) 22:56:36.35 ID:ePJx/l8g セメント太郎 http://rio2016.5ch.net/test/read.cgi/math/1740303816/158
159: poem [] 2025/04/01(火) 01:29:26.96 ID:4jMEuiqT 学術の隙間 パテ太郎？ http://rio2016.5ch.net/test/read.cgi/math/1740303816/159
160: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 01:54:02.52 ID:3PRvO3Ut 最後の結論が間違ってると思うよ。物事を単純に簡略化してはダメさ。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/160
161: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 01:57:32.41 ID:3PRvO3Ut しかしさ、プログラミング言語とかのアドリブで恋愛とか面白いでしょ。C言語を使った数式とか流行らないかなあ。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/161
162: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 01:58:37.32 ID:3PRvO3Ut 方程式の右辺のほうが難しいべき。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/162
163: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 01:59:39.14 ID:3PRvO3Ut なにか素朴な人が多いのね…。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/163
164: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 02:00:48.65 ID:3PRvO3Ut 解自体が高度にならないと進化しないよ。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/164
165: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 02:02:10.28 ID:3PRvO3Ut 表現をするべきで安易な快感を求めすぎない。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/165
166: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 02:03:30.57 ID:3PRvO3Ut 数学にも流派があって主流より進んだ文明がおすすめ。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/166
167: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 02:05:01.77 ID:3PRvO3Ut 矛盾のままスッキリしないほうが恋愛失敗しないと思うな。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/167
168: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 02:08:00.21 ID:3PRvO3Ut 数式を書くのと詩で理論をすることは違うことでしょうか。暗唱という面で全く同じことじゃないですか。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/168
169: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 02:09:56.65 ID:3PRvO3Ut 俺は専門より数学のほうが時に自信ある。別学で一番時間をかけた。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/169
170: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 02:11:56.74 ID:3PRvO3Ut 数学が好きで得意だから続けているから苦手克服してる人が気の毒だ。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/170
171: BLACKX ◆SvoRwjQrNc [sage] 2025/04/01(火) 02:12:16.59 ID:oMnTV836 >>169 じゃあ無駄レスしてないで>>154に答えてよ http://rio2016.5ch.net/test/read.cgi/math/1740303816/171
172: BLACKX ◆SvoRwjQrNc [sage] 2025/04/01(火) 02:13:12.69 ID:oMnTV836 方針だいたい固まってコラッツと完全数で執筆なう http://rio2016.5ch.net/test/read.cgi/math/1740303816/172
173: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 02:14:21.21 ID:3PRvO3Ut 数学なんて選択科目にしたら数学関連の望まない妊娠などなくなるだろうに。原爆が落ちたから生まれた子は不幸だ。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/173
174: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 02:15:39.11 ID:3PRvO3Ut 初心者をカモることは妊娠の反応が出やすいんだよ。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/174
175: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 02:16:32.72 ID:3PRvO3Ut 数学者なんてほとんどは信じるに値しないよ。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/175
176: BLACKX ◆SvoRwjQrNc [sage] 2025/04/01(火) 02:17:09.62 ID:oMnTV836 はい、会話にならない…あぼーん http://rio2016.5ch.net/test/read.cgi/math/1740303816/176
177: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 02:17:18.35 ID:3PRvO3Ut 数学は人助けにもなる。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/177
178: BLACKX ◆SvoRwjQrNc [sage] 2025/04/01(火) 02:17:52.35 ID:oMnTV836 どっか行けよ荒らすなよあぼーん http://rio2016.5ch.net/test/read.cgi/math/1740303816/178
179: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 02:19:41.33 ID:3PRvO3Ut 妊娠した人も多い不幸な業界なんじゃないの。右辺が複雑だと妊娠するか？俺は趣味でもやってる。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/179
180: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 02:20:44.41 ID:3PRvO3Ut 避妊数学は役に立つのに。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/180
181: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 02:21:48.15 ID:3PRvO3Ut 堕落した数学にならないようにな。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/181
182: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 02:22:54.55 ID:3PRvO3Ut でさあ見直せとかよく言うだろ？ http://rio2016.5ch.net/test/read.cgi/math/1740303816/182
183: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 02:23:39.50 ID:3PRvO3Ut 避妊できるからさ。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/183
184: BLACKX ◆SvoRwjQrNc [sage] 2025/04/01(火) 02:24:41.09 ID:oMnTV836 なんで真面目なスレは無駄レス叩くやつしか来ないのに、よしきとか高木君とかの知恵遅れスレにガチ煽り君が来るんだよ 俺のスレにも来いよ http://rio2016.5ch.net/test/read.cgi/math/1740303816/184
185: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 02:25:06.66 ID:3PRvO3Ut 頭が良いかどうかは恋愛の繊細な倫理による。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/185
186: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 02:25:45.63 ID:3PRvO3Ut 性も含めて。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/186
187: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 02:27:06.82 ID:3PRvO3Ut 理想がすべてなら理想は高いさ。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/187
188: BLACKX ◆SvoRwjQrNc [sage] 2025/04/01(火) 02:27:37.23 ID:oMnTV836 荒らすなよゴミ http://rio2016.5ch.net/test/read.cgi/math/1740303816/188
189: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 03:05:22.71 ID:3PRvO3Ut 熱心に原稿を書くのが荒らしか。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/189
190: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 03:06:25.31 ID:3PRvO3Ut 意味がわからないのは経験不足。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/190
191: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 03:07:29.63 ID:3PRvO3Ut 採点も人間のなせる技に過ぎない。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/191
192: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 03:08:37.71 ID:3PRvO3Ut 点数が上下するなら採点も上下している。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/192
193: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 03:11:53.25 ID:3PRvO3Ut 簡単に成績が出るよりは出来てても点数がなかなか出ないで成績が下になる方が良い。評価の尺度というか。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/193
194: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 03:12:55.53 ID:3PRvO3Ut 最高点が不可。みたいな。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/194
195: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 03:13:52.37 ID:3PRvO3Ut まあそういう人はテンションが弱点。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/195
196: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/04/01(火) 03:14:32.83 ID:3PRvO3Ut だから成績を歪めてもバレる。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/196
197: poem [] 2025/04/01(火) 22:54:57.29 ID:1H0QGzWm 先の続編だから荒らし 教科種類の話と亜流が出現。教科亜流と命名しようか。教科種類と教科亜流。本章と亜章が出現 ─ なぜ数学の分野には藤井聡太のような飛び抜けた天才が現れなくなったのか？ https://rio2016.5ch.net/test/read.cgi/math/1743493890/15-25/ ─ 15poem 225/04/01(火) 21:44:51.19ID:1H0QGzWm 普通の人は運がよくないと 《以下URLから》 ─ 《以上URLより》 25poem 225/04/01(火) 22:19:27.75ID:1H0QGzWm 6→36→216→1296→ の道を 見つけようとするのが 先ヘ向かう作業 自分も無意識 ─ 関連スレにリンクを http://rio2016.5ch.net/test/read.cgi/math/1740303816/197
198: poem [] 2025/04/04(金) 15:19:58.74 ID:7UO6FmPf https://itest.5ch.net/rio2016/test/read.cgi/sci/1741600472/450-500/ ↑ 他の人の「創発」「還元主義者」の読み物を読んで欲しい。新たな読み物需要が出現 前回この人とは違う人がメソッド主義とオブジェクト主義という読み物需要を置いた 今回は「演繹を越える者」と「演繹を越えない者」みたいで前回と別教科種類のよう http://rio2016.5ch.net/test/read.cgi/math/1740303816/198
199: poem [] 2025/04/07(月) 18:09:47.87 ID:rLdm7yCK 0から順に∞まで足すのと∞から順に0まで足す答え違う https://itest.5ch.net/rio2016/test/read.cgi/math/1744001190/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/199
200: poem [] 2025/04/10(木) 15:18:41.15 ID:2t0CWyzR 「こういう問題を作った」って論文になる？ https://itest.5ch.net/rio2016/test/read.cgi/math/1744188631 ─ 22 poem 225/04/10(木) 15:00:46.12 ともかく スレタイの結論は 良問は論文には成り得ない と出たね http://rio2016.5ch.net/test/read.cgi/math/1740303816/200
201: poem [] 2025/04/12(土) 19:56:53.14 ID:wHddaTUF 教科の話はΠ01言明に参考だったからよかったけど 今回は教科書の話関連で最新なんだけど スレチ内容になる 哲学ゾンビと非哲学ゾンビとは何か解明 https://itest.5ch.net/rio2016/test/read.cgi/sci/1743238216/19-39/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/201
202: poem [] 2025/04/18(金) 11:02:57.47 ID:e+YSIK1b >>1 スレタイ、ド真ん中、荒らしじゃない話題 ↓ マクロのランダムは多項式時間の終わらない計算がか？ https://rio2016.5ch.net/test/read.cgi/math/1744941540/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/202
203: poem [] 2025/04/18(金) 13:21:54.78 ID:e+YSIK1b スレチ ↓ 辞書と非辞書 https://rio2016.5ch.net/test/read.cgi/sci/1741600472/779-781/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/203
204: １３２人目の素数さん [sage] 2025/04/18(金) 16:00:12.03 ID:NReuFt/b >>202 お前がスレを立てること自体が荒らしなんだよ 意味のあるスレを立てたことないだろ http://rio2016.5ch.net/test/read.cgi/math/1740303816/204
205: poem [] 2025/04/18(金) 22:04:43.46 ID:e+YSIK1b スレ建てたから スレタイテーマ 雑談しよーぜえ 雑談のための場 騒げば良スレに 騒がないから駄 糞スレにするの 糞静かにする故 http://rio2016.5ch.net/test/read.cgi/math/1740303816/205
206: poem [] 2025/04/28(月) 21:18:09.53 ID:nMxllwm6 このスレに関係あり 猿のタイプライターは5億年ボタンと知力の原理 https://rio2016.5ch.net/test/read.cgi/math/1729767804/10/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/206
207: poem [] 2025/04/28(月) 22:59:14.40 ID:nMxllwm6 真相はもしかしたら不正解かもだけど Π01言明の自己言及が論理おかしくなる理由の 一説として算学的単位の異常が一案できるのでは 0除算乗算問題を解明した。算学的単位がおかしくなるっぽい。算学にも物理と同様に単位が必要だったみたい。小学生にも説明できる目途が立った https://rio2016.5ch.net/test/read.cgi/math/1745834630/28/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/207
208: １３２人目の素数さん [sage] 2025/04/29(火) 11:16:09.50 ID:Iv5Qiae2 >>207 死んどけゴミ お前は無益で有害なんだよ http://rio2016.5ch.net/test/read.cgi/math/1740303816/208
209: poem [] 2025/04/29(火) 21:06:34.08 ID:aOxFfPZf https://rio2016.5ch.net/test/read.cgi/math/1745698690/8/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/209
210: poem [] 2025/05/02(金) 21:32:14.07 ID:3GpIa3zc 「有意に有効」「有意に無効」法律なら社会通念。 https://itest.5ch.net/rio2016/test/read.cgi/math/1746187239/ ─ 07 poem 225/05/02(金) 21:12:40.23 学問…「確度の高い推論をさらに確度の高い推論で覆し続け高確度を得る試み」→「人類皆同じ生きやすさを抱えてる」→「人類に良い悪いの良いに近づく」→「真理(学問)」 哲学…「確度の低い推論をさらに確度の低い推論で覆し続け低確度を捨る試み」→「人類皆同じ生きづらさを抱えてる」→「人類に良い悪いの悪いから退く」→「真理(哲学)」 09 poem 225/05/02(金) 21:15:43.99 有意に の 通念 について わかったよね？ http://rio2016.5ch.net/test/read.cgi/math/1740303816/210
211: poem [] 2025/05/08(木) 14:15:55.41 ID:if2KmJfW これはスレチ 感想文や総合文の書方の違い無学ながら後学に https://mao.5ch.net/test/read.cgi/occult/1746594953/ ─ 23poem 225/05/07(水) 15:01:24.69ID:31d2rApj0 ☝ (・-・)☝ 👁_👁 👍 👌(🔮🕳🔮) うぇーい http://rio2016.5ch.net/test/read.cgi/math/1740303816/211
212: poem [] 2025/05/10(土) 21:19:17.86 ID:SlZwt4zG 良問なら高難度で攻略不可でも高純体験の仮説 https://itest.5ch.net/rio2016/test/read.cgi/math/1746878925 http://rio2016.5ch.net/test/read.cgi/math/1740303816/212
213: poem [] 2025/05/18(日) 16:53:06.83 ID:lXcnBuZN 数学板: https://rio2016.5ch.net/test/read.cgi/math/1747540658/ ─ 22poem 225/05/18(日) 13:28:11.42ID:lXcnBuZN 💃 50poem 225/05/18(日) 16:14:59.44ID:lXcnBuZN やった💃ね♪ http://rio2016.5ch.net/test/read.cgi/math/1740303816/213
214: poem [] 2025/05/23(金) 12:53:33.66 ID:S1rga4ep 血統って数学パラドックス問題の一つだと判明。新ミレニアム問題になればいいんじゃ https://itest.5ch.net/rio2016/test/read.cgi/math/1747959728/12-15/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/214
215: poem [] 2025/05/26(月) 14:16:10.21 ID:CWYrU6wk 大衆文化ごとの分類大別 https://mao.5ch.net/test/read.cgi/occult/1746594953/57-63/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/215
216: poem [] 2025/06/25(水) 19:50:48.07 ID:qmkTuKxj 米騒動は法律 https://itest.5ch.net/rio2016/test/read.cgi/sci/1750830799/2-14/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/216
217: poem [] 2025/06/29(日) 18:50:06.07 ID:RTbDqmy7 poemと魔術の解明に取り組もうか〜参戦あり〜 https://rio2016.5ch.net/test/read.cgi/sci/1751186723/1-11/ ─ 1poem 225/06/29(日) 17:45:23.91ID:pR4f4CaW 長文コピペ開始 ─ 11poem 225/06/29(日) 17:50:50.32ID:pR4f4CaW 長文コピペ終了〜参戦あり〜 ─ http://rio2016.5ch.net/test/read.cgi/math/1740303816/217
218: poem [] 2025/07/02(水) 13:56:42.11 ID:1DiORhX/ 新〜参戦あり〜皇板: poem占術矛盾。命題vs蓋然･言及vs天然･属性vs黙然 https://egg.5ch.net/test/read.cgi/emperor/1751425180/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/218
219: poem [] 2025/07/23(水) 23:49:13.07 ID:8NLTYNax 補助機構術式でなく表示措置術式 https://rio2016.5ch.net/test/read.cgi/sci/1751186723/83-88/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/219
220: poem [] 2025/08/19(火) 19:33:07.77 ID:AOe6iWvE スレタイから始まる｢量子力学誕生100年特設 中学生でも解る量子もつれ｣続く話をラーニング https://rio2016.5ch.net/test/read.cgi/sci/1755576246/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/220
221: poem [] 2025/08/25(月) 22:31:51.17 ID:ND9+JIk/ パルプンテの魔術案件の今ラインをレベル上げ中 https://rio2016.5ch.net/test/read.cgi/sci/1751186723/120/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/221
222: poem [] 2025/08/31(日) 00:49:24.99 ID:7x3o42Bg 魔術案件進展ならず。不可要件について進展 https://rio2016.5ch.net/test/read.cgi/sci/1751186723/152-157/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/222
223: BLACKX ◆SvoRwjQrNc [] 2025/08/31(日) 05:09:07.08 ID:L3ewCuRA ハローBLACKXです。 >>1～>>35はΠ01の大枠についての理解だったけどΠ01の中にもボレル集合と言う計算可能な一部閉集合が存在するものもある ボレル集合は第一階論理の有効に公理化された理論Tごとに、 Tのすべての完備化の集合であり、Π1~0クラス。 さらに、各サブセットS2^ω Sの各要素がTの完備化を計算し、Tの各完備化がSの要素を計算する ような、効果的に公理化された理論Tが存在する。 したがってΠ01クラスの中にも事実上閉じたクラスであるボレル集合の存在によりディオファントス方程式の問10は近年の同値性からは計算可能な加算集合の導入によりグレーとなり一部否定の否定(一部反例あり)で研究対象が無く止まってしまっているのである。 再帰的に列挙可能な言語は、形式言語の計算可能に列挙可能な サブセットのため、集合Sは原始再帰関数の値域、またはΦです。S が無限であっても、この場合、値の繰り返しのチューリング停止が必要になることがあります。それを第2条件として半決定可能性(REクラス)と計算可能な領域で判断出来れば、 F(x)=1,または,undifedで解ける あなたが11月、単純な集合は計算可能に列挙可能ですが、計算可能ではありません。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/223
224: BLACKX ◆SvoRwjQrNc [] 2025/08/31(日) 05:48:11.16 ID:L3ewCuRA すまん、寝てしまって予測変換凄いことなってる ❌あなたが11月、単純な集合は計算可能に列挙可能ですが、計算可能ではありません。 ○したがって整数から整数への多項式が存在し、集合Sにはその範囲内の非負の数が正確に含まれる。 http://rio2016.5ch.net/test/read.cgi/math/1740303816/224
225: poem [] 2025/08/31(日) 08:21:34.31 ID:ufgRuPuD おお！あれから！どれくらい進展？過ごしてれば進んだこともあるはずだからポンして？ http://rio2016.5ch.net/test/read.cgi/math/1740303816/225
226: BLACKX ◆SvoRwjQrNc [] 2025/08/31(日) 08:31:22.89 ID:L3ewCuRA とりあえず荒らさないでね http://rio2016.5ch.net/test/read.cgi/math/1740303816/226
227: poem [] 2025/08/31(日) 08:33:46.49 ID:ufgRuPuD └^^┐─└┐ズンドコ http://rio2016.5ch.net/test/read.cgi/math/1740303816/227
228: poem [] 2025/09/01(月) 15:26:08.87 ID:1NfjMY/Y 10進数に素数桁の数字って特有な性質あったりするの？wikiかgpt https://itest.5ch.net/rio2016/test/read.cgi/math/1756706312/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/228
229: poem [] 2025/09/13(土) 17:46:31.10 ID:c2FUnqxg デデキント切断できる物の例…1≠2。デデキント切断できない物の例…1＝1。の意味するところとは。dy/dxを約分できないことと同じところ。 https://itest.5ch.net/rio2016/test/read.cgi/math/1757661956/15 http://rio2016.5ch.net/test/read.cgi/math/1740303816/229
230: poem [] 2025/09/14(日) 09:29:49.96 ID:luWu/Kso 物理板英会話。英訳は若者言葉。日本人が苦手は若者言葉に訳さない。慣用 https://itest.5ch.net/rio2016/test/read.cgi/sci/1757670568/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/230
231: poem [] 2025/09/15(月) 14:47:51.08 ID:ZTHlqLla 憶えること｢対偶は真証明、だが、真相堀は片方｣忘れぬこと https://itest.5ch.net/rio2016/test/read.cgi/math/1757829488/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/231
232: poem [] 2025/09/26(金) 18:51:03.77 ID:/nNnTyOt パルプンテの魔術の、まるで将棋だな、とはどういうことなのか？ https://rio2016.5ch.net/test/read.cgi/sci/1751186723/172-187/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/232
233: poem [] 2025/10/01(水) 19:21:36.50 ID:1ad0Tcm/ PorNP問題は死後世界の解析しなきゃ生前世界の解析じゃ実在しないこれってヤバいね https://itest.5ch.net/rio2016/test/read.cgi/math/1759283654/ http://rio2016.5ch.net/test/read.cgi/math/1740303816/233
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.011s