月: 2026年2月

数学、特に形式論理学やゲーデルの不完全性定理、圏論などに興味がある人には次のサイトが役立つと思います。 ケンブリッジ大学で長年数学、特に形式論理学や圏論を教えていたPeter Smithさんが自分の著書の多くをオープンア…

全文を読む