25/05/18 16:53:06.83 lXcnBuZN.net
数学板:
ｽﾚﾘﾝｸ(math板)
─
22poem
225/05/18(日) 13:28:11.42ID:lXcnBuZN
💃
50poem
225/05/18(日) 16:14:59.44ID:lXcnBuZN
やった💃ね♪
214:poem
25/05/23 12:53:33.66 S1rga4ep.net
血統って数学パラドックス問題の一つだと判明。新ミレニアム問題になればいいんじゃ
URLﾘﾝｸ(itest.5ch.net)
215:poem
25/05/26 14:16:10.21 CWYrU6wk.net
大衆文化ごとの分類大別
ｽﾚﾘﾝｸ(occult板:57番)-63/
216:poem
25/06/25 19:50:48.07 qmkTuKxj.net
米騒動は法律
URLﾘﾝｸ(itest.5ch.net)
217:poem
25/06/29 18:50:06.07 RTbDqmy7.net
poemと魔術の解明に取り組もうか～参戦あり～
ｽﾚﾘﾝｸ(sci板:1番)-11/
─
1poem
225/06/29(日) 17:45:23.91ID:pR4f4CaW
長文コピペ開始
─
11poem
225/06/29(日) 17:50:50.32ID:pR4f4CaW
長文コピペ終了～参戦あり～
─
218:poem
25/07/02 13:56:42.11 1DiORhX/.net
新～参戦あり～皇板:
poem占術矛盾。命題vs蓋然･言及vs天然･属性vs黙然
ｽﾚﾘﾝｸ(emperor板)
219:poem
25/07/23 23:49:13.07 8NLTYNax.net
補助機構術式でなく表示措置術式
ｽﾚﾘﾝｸ(sci板:83番)-88/
220:poem
25/08/19 19:33:07.77 AOe6iWvE.net
スレタイから始まる｢量子力学誕生100年特設 中学生でも解る量子もつれ｣続く話をラーニング
ｽﾚﾘﾝｸ(sci板)
221:poem
25/08/25 22:31:51.17 ND9+JIk/.net
パルプンテの魔術案件の今ラインをレベル上げ中
ｽﾚﾘﾝｸ(sci板:120番)/
222:poem
25/08/31 00:49:24.99 7x3o42Bg.net
魔術案件進展ならず。不可要件について進展
ｽﾚﾘﾝｸ(sci板:152番)-157/
223:BLACKX
25/08/31 05:09:07.08 L3ewCuRA.net
ハロー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月、単純な集合は計算可能に列挙可能ですが、計算可能ではありません。
224:BLACKX
25/08/31 05:48:11.16 L3ewCuRA.net
すまん、寝てしまって予測変換凄いことなってる
❌あなたが11月、単純な集合は計算可能に列挙可能ですが、計算可能ではありません。
○したがって整数から整数への多項式が存在し、集合Sにはその範囲内の非負の数が正確に含まれる。
225:poem
25/08/31 08:21:34.31 ufgRuPuD.net
おお！あれから！どれくらい進展？過ごしてれば進んだこともあるはずだからポンして？
226:BLACKX
25/08/31 08:31:22.89 L3ewCuRA.net
とりあえず荒らさないでね
227:poem
25/08/31 08:33:46.49 ufgRuPuD.net
└^^┐─└┐ズンドコ
228:poem
25/09/01 15:26:08.87 1NfjMY/Y.net
10進数に素数桁の数字って特有な性質あったりするの？wikiかgpt
URLﾘﾝｸ(itest.5ch.net)
229:poem
25/09/13 17:46:31.10 c2FUnqxg.net
デデキント切断できる物の例…1≠2。デデキント切断できない物の例…1＝1。の意味するところとは。dy/dxを約分できないことと同じところ。
URLﾘﾝｸ(itest.5ch.net)
230:poem
25/09/14 09:29:49.96 luWu/Kso.net
物理板英会話。英訳は若者言葉。日本人が苦手は若者言葉に訳さない。慣用
URLﾘﾝｸ(itest.5ch.net)
231:poem
25/09/15 14:47:51.08 ZTHlqLla.net
憶えること｢対偶は真証明、だが、真相堀は片方｣忘れぬこと
URLﾘﾝｸ(itest.5ch.net)
232:poem
25/09/26 18:51:03.77 /nNnTyOt.net
パルプンテの魔術の、まるで将棋だな、とはどういうことなのか？
ｽﾚﾘﾝｸ(sci板:172番)-187/
233:poem
25/10/01 19:21:36.50 1ad0Tcm/.net
PorNP問題は死後世界の解析しなきゃ生前世界の解析じゃ実在しないこれってヤバいね
URLﾘﾝｸ(itest.5ch.net)