搜索结果: 1-1 共查到“代数学 Classical Arithmetic”相关记录1条 . 查询时间(0.171 秒)
Learning, Realizability and Games in Classical Arithmetic
Learning Realizability Games Classical Arithmetic
2011/2/25
In this dissertation we provide mathematical evidence that the concept of learning can be used to give a new and intuitive computational semantics of classical proofs in various fragments of Predicati...