logic-mlのみなさま
前原昭二先生がお亡くなりになってもう30年になります。 数理論理学に対して多大な貢献をされたことは、みなさまご存知のとおりと思います。
私自身は生前おめにかかったことはないのですが、 先生の最晩年の仕事(カット除去定理の代数的表現)の延長線上で 仕事をしたこともあり、先生についてより深く知りたいと思うようになりました。
よろしければ前原先生の業績や個人的な思い出について 語りあいませんか?
直接このメーリングリストにご寄稿いただいても構いませんし、 あるいは [email protected] にメールをいただければ、後日要約を報告させていただきます。
どうぞよろしくお願いします。
京都大学数理解析研究所 照井一成