【第3回関東すうがく徒のつどい2日目】2018年の決定不能問題ギャラリーを振り返る #kantomath

でぃぐにゃん @fujidig

cf. 停止しないことが分かっているがそのことがZFCから証明できないようなチューリングマシンの存在 (ZFCの無矛盾性を仮定) #kantomath #kantomath1

flag3 @flag3833753

色が一致するときにタイルの凹凸が噛み合うようにする #kantomath #kantomath1

λx.x @lambda_x_x

還元する対象が、TMだけではなく、さきほど決定不能がわかったタイル貼り問題に抽象化？されているのが面白いです。 #kantomath #kantomath1

V-alg-d（ZZ） @alg_d

時間は無いが自分が頑張ったPDFは主張していく #kantomath #kantomath1

V-alg-d（ZZ） @alg_d

途中までは定義を厳格に守っているのに途中でめんどくさくなってやめる人 #人 #kantomath #kantomath1

V-alg-d（ZZ） @alg_d

再帰的関数完全に忘れた #kantomath #kantomath1

flag3 @flag3833753

文脈自由言語とプッシュダウンオートマトン #kantomath #kantomath1

V-alg-d（ZZ） @alg_d

これくらいでは誰も動揺しなくなってきた #kantomath #kantomath1 pic.twitter.com/VpOqLwipzz

拡大

YukihiroODA @Yukihiro0036

野生のカンが働くオートマトン (非決定性オートマトン) #kantomath1 #kantomath

flag3 @flag3833753

つい最近解が見つかったやつがある #kantomath #kantomath1

ゆうな @kawauSOgood

ディオファントス方程式すげぇ #kantomath1 #kantomath

ゆうな @kawauSOgood

「決定不能問題ギャラリー」で復習せねば… iso.2022.jp/math/undecidab… #kantomath1 #kantomath

λx.x @lambda_x_x

昼飯探しは決定不能と識者から声が(迷い中) #kantomath

YukihiroODA @Yukihiro0036

y. さん @waidotto がこのホームページを宣伝してほしいらしいので、宣伝します。 #kantomath #kantomath1 iso.2022.jp/math/undecidab…

YukihiroODA @Yukihiro0036

チューリング機械の停止性問題は停止性問題の中では最弱() #kantomath #kantomath1