单词 | Metamathematics |
释义 | MetamathematicsThe branch of Logic dealing with the study of the combination and application of mathematical symbols, sometimes calledMetalogic. Metamathematics is the study of Mathematics itself, and one of its primary goals is to determine thenature of mathematical reasoning (Hofstadter 1989). See also Logic, Mathematics
Birkhoff, G. and Mac Lane, S. A Survey of Modern Algebra, 3rd ed. New York: Macmillan, p. 326, 1965. Hofstadter, D. R. Gödel, Escher, Bach: An Eternal Golden Braid. New York: Vintage Books, p. 23, 1989. |
随便看 |
|
数学辞典收录了8975条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。