先日、千葉大学の数理論理学者の古森雄一先生からメールをいただいた。『現代数理論理学序説』(日本評論社)などの著作のある、論文業績もりっぱな専門家のかただ。 内容は、このブログの以前のエントリー(バンド不完全性定理を構想する。 - hiroyukikojimaの…