数理論理学 (すうり・ろんりがく, mathematical logic) とは, 数学的な方法で 論理を研究する学問です. もちろん, 数学という学問の中の一つの分野です. 数学では計算したり証明したりします. しかし, "計算とは何か?", "証明とは何か?" と あらたまって問われると答えにくいでしょう. こういう問題に答えるところから数理論理学は始まります. そして, 計算や証明の構造を分析します.
いま, みなさんは数理論理学の恩恵を受けてます. なぜでしょう？
それは, コンピューターの原理が数理論理学から生まれたものだからなのです.
なかなかまとめて書けずにいましたが, 夏からブログの方に少しずつ書いてます. 不定期連載です.
数理論理学とは (1) (2006/07/21)
数理論理学とは (2) (2006/08/04)
