metamathematics
英 [,metəmæθ(ə)'mætɪks]
美[,mɛtə,mæθə'mætɪks]
- n. [数] 元数学
英英释义
- 1. the logical analysis of mathematical reasoning
实用场景例句
- Metamathematics is a subject on symbolic logic, which focuses on the mathematics discrepancy.
- 元数学是一门数理逻辑方面的学科, 其主要研究对象是数学本身的矛盾性问题.
互联网
双语例句
- 1. D . from Harvard . By 19 he was studying metamathematics with Bertrand Russell.
- 到了19岁,他开始跟随罗素学习元数学.
来自互联网
- 2. Metamathematics is a subject on symbolic logic, which focuses on the mathematics discrepancy.
- 元数学是一门数理逻辑方面的学科, 其主要研究对象是数学本身的矛盾性问题.
来自互联网
英文词源
- metamathematics (n.)
- 1890, from meta- + mathematics.