搜索结果: 1-1 共查到“工学 Strength of Formal Theories”相关记录1条 . 查询时间(0.097 秒)
Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic
Complexity Circuits Strength of Formal Theories
2012/12/4
Can complexity classes be characterized in terms of efficient reducibility to the (undecidable) set of Kolmogorov-random strings? Although this might seem improbable, a series of papers has recently p...