━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
数理論理学 第１回「数理論理学の基礎」の要点
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

●数理論理学の目的

形式化
        対象を記号で表し，記号操作で議論を進めること

論理学の目的
        思考の背景にある普遍的な法則を解明

数理論理学の目的
        論理を形式化し，正しい推論とは何かを数学的な方法で解明

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
授業のホームページ

山田 俊行
https://www.cs.info.mie-u.ac.jp/~toshi/