・

CCA2005Kyoto International Conference in Computability and Complexity in Analysis
CCAは解析学における計算可能性についてのいろいろな手法による研究分野です。
2005年夏にその研究集会が初めて欧米の外で開催されました。
最初の２日にはWorking Mathematiciansに向けて入門セミナーを開きました。
CCAについての詳細は上記のサイトへどうぞ。八杉にお問い合わせくださっても
けっこうです。
なお、入門セミナーの資料が講師の方々のご好意で自由にご覧いただけます。こちらへどうぞ

近著
＊ゲーデル不完全性定理岩波文庫
林晋八杉満利子訳、解説
論文の訳と、不完全性定理の意味、不完全性定理によって
結論が出された、ヒルベルト計画、その背景についての解説。
ヒルベルトのノートの解読も含めて、ヒルベルトの思想の変遷の
解明を試みています。不完全性定理の数学的結果は非常に明確な
ものですが、その解釈は大きな歴史的流れ、とくにヒルベルトの
思想の流れの理解なくしてはできません。そのことを
できるだけ明らかにすることを目的に書かれています。

・新版：竹内外史先生の「ゲーテル」 (日本評論社)の英訳がでました。
英語のオリジナルは元にもどし、
新しく「数理科学」（サイエンス社）掲載の、二階証明論成立小史がくわわりました。
引用の出典も正確になりました。
Memoirs of a Proof Theorist:Gaisi Takeuti
translated by M. Yasugi and N.Passell, World Scientific

＜お話・数学基礎論＞八杉満利子・林晋著

Blue Backs 講談社 2002年6月20日発行

仕事や家事でお疲れの皆様

カフェ・ド・ロンリでコーヒーの香りを楽しみながら
ロンリさんとの会話で、集合論や論理学のロマンに触れて
元気になっていただく本です！
京都産業大学図書館報Lib 30-1,2003 自著を語るも読んでください。

・履歴