Anne Hilbert
Acting
Biography / 経歴
数理論理学 または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す。数理論理学(数学基礎論)と密接に関連している分野としては計算機科学〔コンピュータ科学〕や理論計算機科学などがある。
続きを読む (Wikipedia) →Acting
数理論理学 または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す。数理論理学(数学基礎論)と密接に関連している分野としては計算機科学〔コンピュータ科学〕や理論計算機科学などがある。
続きを読む (Wikipedia) →