这是一个创建于 3088 天前的主题，其中的信息可能已经有所发展或是发生改变。
https://www.quantamagazine.org/20160524-mathematicians-bridge-finite-infinite-divide/
这篇报道里写了：
Almost all of the thousands of theorems studied by Simpson and his followers over the past four decades have turned out (somewhat mysteriously) to be reducible to one of five systems of logic spanning both sides of the finite-infinite divide.
有没有人知道是哪 5 个 systems of logic spanning both sides of the finite-infinite divide ？
不知道 @DeathKing 大侠在不在，有幸拜读了您的 http://deathking.is-programmer.com/posts/30294.html
这篇报道里写了：
Almost all of the thousands of theorems studied by Simpson and his followers over the past four decades have turned out (somewhat mysteriously) to be reducible to one of five systems of logic spanning both sides of the finite-infinite divide.
有没有人知道是哪 5 个 systems of logic spanning both sides of the finite-infinite divide ？
不知道 @DeathKing 大侠在不在，有幸拜读了您的 http://deathking.is-programmer.com/posts/30294.html
目前尚无回复
Select Language