搜索结果: 1-1 共查到“数理逻辑与数学基础 Game arguments”相关记录1条 . 查询时间(0.053 秒)
Game arguments in computability theory and algorithmic information theory
Game arguments computability theory algorithmic information theory Logic
2012/4/17
We provide some examples showing how game-theoretic arguments can be used in computability theory and algorithmic information theory: unique numbering theorem (Friedberg), the gap between conditional ...