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

2019/03/30 第3回関東すうがく徒のつどい(#kantomath)2日目 1階 2018年の決定不能問題ギャラリーを振り返る y. (@waidotto)
数学 関東すうがく徒のつどい kantomath
2
ひじてぃ @hijityeee
睡眠不足気味のでぃぐさんを観測した #kantomath
ひじてぃ @hijityeee
一旦4階まで飛ばされるドゥーさん #kantomath
AG#52 @TaM_30_math
バナッハ=タルスキーを習得して2つの公演を同時に聞きたい. #kantomath
ゆうな @kawauSOgood
関東すうがく徒のつどい、2日目!10時に間に合った… 2018年、決定不能問題ギャラリーを120分も楽しめるなんて最高である 会場近くは 綺麗な桜が咲いてました〜 #kantomath #kantomath1 pic.twitter.com/hbAFKlVLEh
拡大
RK @evindem
一定数思い思いの遅刻をしている #kantomath
ひじてぃ @hijityeee
2018年の決定不能問題ギャラリーを振り返る #kantomath #kantomath1
λx.x @lambda_x_x
決定不能問題の面白さ ・ある事柄なにをどうやっても永久永ごう絶対にできない ということ「これ面白くないですか?」 #kantomath #kantomath1
s.t. 超兄貴ではない @simizut22
そういえば誰一人とぅぎゃってないのか。。。 #kantomath
ゆうな @kawauSOgood
10個の決定不能問題を紹介していきます! 与えられた入力に対して、y/nで答えることを考える 全ての入力に対してy/nを正しく答えるアルゴリズムがあるとき、決定可能という #kantomath #kantomath1
λx.x @lambda_x_x
素数判定問題は(停止する)アルゴリズムを作れるので決定可能(決定不能ではない)問題 #kantomath #kantomath1
alg_d @alg_d
第1弾 Turing機械の定義と停止問題 #kantomath #kantomath1
ゆうな @kawauSOgood
決定可能については解くアルゴリズムを示せば良い では決定不能については? →「アルゴリズム」の定義をまずしっかりせねば そこでチューリングマシンですよ #kantomath #kantomath1
ゆうな @kawauSOgood
チューリングマシン、ちゃちい説…?笑 …そんなことはなく、どんな記号も入力文字列として与えることができる 関数であらゆる入力を評価できる! (という共通認識) #kantomath #kantomath1
残りを読む(40)

コメント

コメントがまだありません。感想を最初に伝えてみませんか?

ログインして広告を非表示にする
ログインして広告を非表示にする