すうりろんりがく
数理論理学
2. Mathematical logicMathematical logic (also known as symbolic logic) is a subfield of mathematics with close connections to the foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.
Read “Mathematical logic” on English Wikipedia
Read “数理論理学” on Japanese Wikipedia
Read “Mathematical logic” on DBpedia
Read “Mathematical logic” on English Wikipedia
Read “数理論理学” on Japanese Wikipedia
Read “Mathematical logic” on DBpedia
Discussions
Log in to talk about this word.