https://d1021.hatenadiary.com
http://d1021.hatenablog.com

Yuko Murakami

もうすぐ>「スマリヤン 数理論理学 述語論理と完全性定理」* スマリヤンの多彩な著作の中に登場してきた方法の「集大成」としての最高傑作。* 2014年11月発売 http://pub.maruzen.co.jp/book_magazine/news_event/2014/108785.html

レイモンド・スマリヤン - Wikipedia

老荘哲学はスマリヤンが伝統的な哲学的問題の多くまたは全てを解決すると信じているもので、数学や論理や哲学を一体に統合するものだと信じている。

http://d.hatena.ne.jp/d1021/20141107#1415356829