【第3回関東すうがく徒のつどい2日目】2018年の決定不能問題ギャラリーを振り返る #kantomath
2019/03/30
第3回関東すうがく徒のつどい(#kantomath)2日目
1階
2018年の決定不能問題ギャラリーを振り返る
y. (@waidotto)
ゆうな
@kawauSOgood
関東すうがく徒のつどい、2日目!10時に間に合った… 2018年、決定不能問題ギャラリーを120分も楽しめるなんて最高である 会場近くは 綺麗な桜が咲いてました〜 #kantomath #kantomath1 pic.twitter.com/hbAFKlVLEh
2019-03-30 10:04:45
拡大
λx.x
@lambda_x_x
決定不能問題の面白さ ・ある事柄なにをどうやっても永久永ごう絶対にできない ということ「これ面白くないですか?」 #kantomath #kantomath1
2019-03-30 10:08:12
ゆうな
@kawauSOgood
10個の決定不能問題を紹介していきます! 与えられた入力に対して、y/nで答えることを考える 全ての入力に対してy/nを正しく答えるアルゴリズムがあるとき、決定可能という #kantomath #kantomath1
2019-03-30 10:12:40
λx.x
@lambda_x_x
素数判定問題は(停止する)アルゴリズムを作れるので決定可能(決定不能ではない)問題 #kantomath #kantomath1
2019-03-30 10:12:45
ゆうな
@kawauSOgood
決定可能については解くアルゴリズムを示せば良い では決定不能については? →「アルゴリズム」の定義をまずしっかりせねば そこでチューリングマシンですよ #kantomath #kantomath1
2019-03-30 10:15:32
ゆうな
@kawauSOgood
チューリングマシン、ちゃちい説…?笑 …そんなことはなく、どんな記号も入力文字列として与えることができる 関数であらゆる入力を評価できる! (という共通認識) #kantomath #kantomath1
2019-03-30 10:25:15