V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
HowardMei
V2EX  ›  数学

拉姆齐定理相关的最新进展,有没有达人跟进啊?

  •  
  •   HowardMei · 2016-05-26 00:24:02 +08:00 · 3333 次点击
    这是一个创建于 2863 天前的主题,其中的信息可能已经有所发展或是发生改变。
    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
    目前尚无回复
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   5994 人在线   最高记录 6543   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 27ms · UTC 06:12 · PVG 14:12 · LAX 23:12 · JFK 02:12
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.