2011-11-02から1日間の記事一覧
話が前後しますが,HOL Lightの紹介です. 私の学生時代の愛読書に『数学の基礎』(日本評論社)という島内剛一先生の労作があります.これは初等超越関数までを数理論理の手法により構成したもので,現在においても類書のない一冊だと思います. 一方,計算…
話が前後しますが,HOL Lightの紹介です. 私の学生時代の愛読書に『数学の基礎』(日本評論社)という島内剛一先生の労作があります.これは初等超越関数までを数理論理の手法により構成したもので,現在においても類書のない一冊だと思います. 一方,計算…