搜索结果: 1-2 共查到“数理逻辑与数学基础 TRUTH”相关记录2条 . 查询时间(0.105 秒)
MATHEMATICS IS A QUEST FOR TRUTH
MATHEMATICS TRUTH
2015/12/17
The question of how to teach mathematics in primary and secondary education
has appeared in newspaper opinion pages regularly during the last few years. The
topic is a complicated one and does not a...
A Computational Complexity-Theoretic Elaboration of Weak Truth-Table Reducibility
algorithmic information theory algorithmic randomness weak truth-table reducibility
2011/9/14
Abstract: The notion of weak truth-table reducibility plays an important role in recursion theory. In this paper, we introduce an elaboration of this notion, where a computable bound on the use functi...