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

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

  •  
  •   HowardMei · 2016-05-26 00:24:02 +08:00 · 1386 次点击
    这是一个创建于 1271 天前的主题,其中的信息可能已经有所发展或是发生改变。
    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
    目前尚无回复
    关于   ·   FAQ   ·   API   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   4206 人在线   最高记录 5043   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.3 · 22ms · UTC 03:12 · PVG 11:12 · LAX 19:12 · JFK 22:12
    ♥ Do have faith in what you're doing.