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

Web Developer The Ultimate Math Developer!

  •  
  •   xieyuheng ·
    xieyuheng · 2022-01-19 02:27:47 +08:00 · 1308 次点击
    这是一个创建于 1041 天前的主题,其中的信息可能已经有所发展或是发生改变。
    5 条回复    2022-01-23 19:15:50 +08:00
    uni
        1
    uni  
       2022-01-19 13:53:05 +08:00
    不如去给 lean 做做贡献?
    xieyuheng
        2
    xieyuheng  
    OP
       2022-01-19 14:34:15 +08:00
    @uni 在类型系统方面我有一些自己的 idea ,设计自己的语言可以有更自由的空间去创新。

    不过确实也可以向已有的语言学习到很多东西。
    uni
        3
    uni  
       2022-01-19 18:54:06 +08:00
    @xieyuheng 加油,做这个不容易
    现在 lean 在数学界已经开始得到越来越多的关注(尤其得到 Peter Scholze 的关注后吸引了很多数学家的目光),我相信计算机辅助证明进入主流数学界进入一定只是时间问题,然而在这之前仍然有很多路要走,理论上和工程上
    加油
    xieyuheng
        4
    xieyuheng  
    OP
       2022-01-19 19:58:16 +08:00
    @uni 感觉鼓励!

    确实不容易。而且时机也不一定已经到了。有时候我也在想,会不会要需要个几十年才可以~
    contractswif
        5
    contractswif  
       2022-01-23 19:15:50 +08:00
    赞一下,很棒
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   3635 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 23ms · UTC 04:27 · PVG 12:27 · LAX 20:27 · JFK 23:27
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.