非存在の証明 － 走り梅雨？

恩師の林先生は、「ゲーデルの不完全性定理」の証明をされていたが、私には難しすぎてわからない。これは、「メタ数学では完全も不完全も証明できない」という証明（のような＝と、逃げておく、、、）だったと思う。それは、それとして（又、逃げる、、、）昨日の「非存在の証明」という話から、林先生を思い出した次第だ。こんな乱文が見つかると、しかられそうだが、林先生は優しいから大丈夫と思う。大学時代、研究は苦手だった私は、林先生からスキーやテニスを習った（笑）。就職せずに、もう少し大学にいたら、どうなっていただろうか。この年になれば、同じようなモノだったろうか。さて、「非存在の証明」で、もう一つ思い出すのが、日本で「国外に渡る有料職業紹介」の免許を申請した時だ、役所から、「アメリカで、これに関する法律が無い事を証明してくれ」と（いうような事）を言われた事だ。日本は許可の国だが、アメリカは基本的に自由なので、こういうことが時々起こる。「クロスボーダー」のビジネスでの、こういう椿事も、又楽しい思い出だ。写真は、ベランダに張った、今朝の雨に打たれるゴーヤのカーテン。