日時未定 計算可能性についての初歩の勉強会(再募集)詳細 計算可能性について勉強会をしています。初歩の内容です。 テキストは参加者の方々との話し合いで Boolosらの 『Computability and Logic (5ed)』となりました。 現在のところ、1章~8章までのComputability Theoryのパートを読み終わり、一区切りがついたこともあり、進行を一時中止しています。6月中旬か下旬頃に、9章のBasic Metalogicのパートから再開し、18章のゲーデルの第二不完全性定理の証明(概略版)を目指す予定です。 とても区切りがよいところなので、再び参加者を募集してみたいと思います。ご興味がある方は気軽にご連絡ください。ゆっくり進めています。1~8章までの復習会も可能です。よろしくお願いします。 場所 skypeでやる予定です 道順を調べる 参加者 (5人) 興味あり (1人) 不参加 (0人)
コメント
|
|