[logic-ml] 講演会案内

講演会のご案内

日時：10月19日(金)17:00から 場所：東京工業大学 大岡山西８号館W棟11階 W1101セミナー室（変更の可能性有り） 会場までの交通案内はこちらから： http://www.titech.ac.jp/about/campus/index.html

話者：田中一之（東北大） 題目：チューリングの「解ける問題と解けない問題」 概要： 1954年，チューリングは不審死を遂げる数か月前に最後の作品「解ける問題と解けない問題」を発表した． その内容は初期の代表作「計算可能な数について」(1936年)の主結果についての一般向け解説であると同時に，その後の進展や未解決問題についても多く語っており，計算可能性理論周辺の発展普及に大きく貢献した． 本講演では，この解説文を題材として，当時の未解決問題がどう解かれたかを辿りながら，なるべく素朴な立場でこの刺激的な領域を展望したい． なお，チューリングの記事の訳文は月刊誌『現代思想』11月号に掲載予定である．

------ 参加される（可能性が高い）方は事前にご一報いただければ幸いです。 参加人数多数が予想される場合は会場を変更しますが、その場合の変更連絡は事前連絡をいただいた方に直接メールする予定です。

----- 鹿島 亮 東京工業大学大学院情報理工学研究科 数理・計算科学専攻 [email protected]