>>97
てへぺろ☆(・ω<)さん
どうも。スレ主です。

＞大学一年のとき、石谷茂氏の「∀と∃に泣く」（現代数学社）を読みました
＞大した話じゃなかったけど、とても勉強になりました

なるほど
昔、εδがいまより尊重されているころ、
高校の数学教師が「おまいら、高校の教科書は誤魔化しで、本当はεδ使う・・」
とか言って、なんかεδを調べた記憶があります

εδは、数学セミナー誌でも、毎年のように４月になると、だれか書いていますよね
いや、”石谷茂氏の「∀と∃に泣く」”ね、それ結構薄い小さな本でしたね
書店でぱらっと見ました（いまどきはもう店頭にはないみたいですが）

＞戸田山和久氏の「論理学をつくる」（名古屋大学出版会）とか

ええ、高校時代にゲーデルの通俗解説本読みましたね
自己言及の文を、そのままでは、１階論理に収らないから、ゲーデル数を定義して、うんぬんでしたね
細かいところは忘れましたが
結構感心しましたね（＾＾