17/07/14 12:01:56.78 8xDmC3Sj.net
>>152 補足
下記は、ずいぶん以前にも紹介したが（＾＾
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
自己言及の論理と計算 長谷川真人
京都大学数理解析研究所 数学入門公開講座（2002 年 8 月 5～8 日）の予稿を改訂（2006 年 5 月 ／ 2007 年 8 月／ 2011 年 6 月）
(抜粋)
目次
I 自己言及と対角線論法
17/07/14 12:01:56.78 8xDmC3Sj.net
>>152 補足
下記は、ずいぶん以前にも紹介したが（＾＾
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
自己言及の論理と計算 長谷川真人
京都大学数理解析研究所 数学入門公開講座（2002 年 8 月 5～8 日）の予稿を改訂（2006 年 5 月 ／ 2007 年 8 月／ 2011 年 6 月）
(抜粋)
目次
I 自己言及と対角線論法