This topic created in 3627 days ago, the information mentioned may be changed or developed.
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
No Comments Yet
Select Language