「数理逻辑」のコアイメージコアイメージ
前提から結論までのつながりを形式化し、証明できるかどうかを明確にする学問
「数理逻辑」の中国語での定義中国語での定義
「数理逻辑」の語源語源
数理逻辑は、「数理」が数学的な扱いを示し、「逻辑」が前提から結論へ進む推論の仕組みを示す複合語で、数学の記号や形式を用いて論理を研究する学問を表す語
「数理逻辑」のコラムコラム
- 数理逻辑と関わりの深いブール代数では、真と偽を1と0のように表して論理演算を計算でき、この考え方がデジタル回路の設計にも用いられる
「数理逻辑」は英語では
- 「数理論理学」 → mathematical logicmetamathematics和英辞典で見る