Robinson算術 Q については、以下の本を参考にしてください。Computability and Logic作者: George S. Boolos,John P. Burgess,Richard C. Jeffrey出版社/メーカー: Cambridge University Press発売日: 2007/09/17メディア: ペーパーバック クリック: 5回こ…

授業スライド・宿題 こちらから

前回の復習 関数の再帰的定義 自然数論（練習問題） 宿題について

平常授業：6/16 休講： 6/23, 6/30 平常授業：7/7, 7/14 補講： 7/21（？）*1 *1:未定です。

授業第九回目、自然数論と関数の再帰的定義についてご紹介します。