【第12回関西すうがく徒のつどい2日目】Friedberg-Muchnikの定理と有限害優先論法 #kansaimath
2019/03/30
第3回関東すうがく徒のつどい(#kantomath)2日目
303
Friedberg-Muchnikの定理と有限害優先論法
y. (@waidotto)
-
- いいね！0
てけてけ坊主
@teke0139
枠線使った注釈とても見やすい(y.さんのスライド) #kansaimath303 pic.twitter.com/LY8vVqsht2
2019-10-27 15:08:53
拡大
Oddie
@math_elliptic
対角線論法 #kansaimath #kansaimath303 pic.twitter.com/NQIO75WQPs
2019-10-27 15:11:26
拡大
関東すうがく徒のつどい
@kantotsudoi
[Listing thm.]A⊂ωについて，Aがc.e.集合であることとA=∅∨Aはある計算可能関数fの像であることとは同値 #kansaimath303
2019-10-27 15:15:29
ぴあのん
@piano2683
BをオラクルとしたプログラムAとは、Aの計算途中に「必要に応じて何度でもBに値を投げてその計算結果を利用できる」ようなプログラムのこと #kansaimath #kansaimath303
2019-10-27 15:22:51
関東すうがく徒のつどい
@kantotsudoi
AはBにTuring還元可能:⇔次を満たすオラクルプログラムΦ_eが存在する：χ_A=Φ_e^B #kansaimath303
2019-10-27 15:23:36