数学的論理学

其他近代の論理学に数えられるものには内在論者のシュッペや、ヴント、ランゲ、リール、其他を数え得るが、最後に、形式論理学の最も徹底した形態として、数学的論理学を挙げねばならぬ。

この種の論理学は一般に記号的論理学とか数学的論理学とか、乃至は論理計算とか Logistik とか呼ばれる。

それは連続や無限に関する数学的論理学的研究がライプニツに出発していることにも根拠を持っているのであるが、実は夫と直接の繋がりのあることなのだが、数学的論理学はライプニツの「普遍文字」の思想に基いているからなのである。

数学的論理学は、哲学と数学の境界領域に位置し、思考の構造を分析します。

コンピュータサイエンスにおける形式的検証は、数学的論理学の原理に基づいています。

彼は、数学的論理学の講義で、ゲーデルの不完全性定理について学び、深い感銘を受けた。