搜索结果: 1-1 共查到“代数学 games”相关记录1条 . 查询时间(0.109 秒)
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...