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

《我是如何开始关心数学基础的》

  •  3
     
  •   xieyuheng · 134 天前 · 1819 次点击
    这是一个创建于 134 天前的主题,其中的信息可能已经有所发展或是发生改变。

    这是我翻译的 V.V. 的演讲:

    https://readonly.link/articles/github.com/xieyuheng/inner/-/translations/zh/how-i-became-interested-in-foundations-of-mathematics.md

    即使略过其中的数学相关的部分,也可以体会到一位世界顶级数学家的心路历程了。

    13 条回复    2022-01-11 18:07:10 +08:00
    lostberryzz
        1
    lostberryzz  
       134 天前
    wow ,这个工具是楼主做的吗,审美在线我喜欢,awesome
    czfy
        2
    czfy  
       134 天前
    @lostberryzz 运用自如
    sorra
        3
    sorra  
       134 天前   ❤️ 1
    谢谢你的分享
    neteroster
        4
    neteroster  
       134 天前 via Android
    阅读工具很不错诶!
    yuyu2140
        5
    yuyu2140  
       134 天前   ❤️ 1
    霞鹜文楷配合楼主的渲染工具,中文阅读体验很棒
    aguesuka
        6
    aguesuka  
       134 天前
    现在迫切需要一个 IDE 友好的语言
    sillydaddy
        7
    sillydaddy  
       134 天前
    原来「数学基础」是这个意思 😓
    以前尝试了解过「同伦类型论」,好像可以做计算机辅助证明:把数学证明过程表达为编程语言,让计算机去验证。
    感觉非常高大上。入门就是要定义一个自然数系统。。
    aguesuka
        8
    aguesuka  
       134 天前
    @sillydaddy 应该从德摩根定律开始, 作为入门 Inductive type 太复杂了
    xieyuheng
        9
    xieyuheng  
    OP
       134 天前
    @lostberryzz 是的呢!感谢你的鼓励!这个工具的主页在这里: https://readonly.link/ 很快也会将 UI 中文化,并且写一些中文的文档。
    xieyuheng
        10
    xieyuheng  
    OP
       134 天前
    @sillydaddy

    我在写一本书,用来介绍我设计的辅助证明语言,
    也是从自然数开篇的: https://readonly.link/books/github.com/xieyuheng/cicada-monologues/-/01-nat.md

    不过我的书还正在写,写完之后我会回来向大家分享的!
    sillydaddy
        11
    sillydaddy  
       134 天前
    @xieyuheng
    简单看了下,感觉很易懂。才刚开始写吧,期待,加油!
    xing7673
        12
    xing7673  
       134 天前 via iPhone
    很厉害,故事也很有趣。
    xieyuheng
        13
    xieyuheng  
    OP
       128 天前
    「只读链接」增加中文 UI 啦: https://readonly.link
    关于   ·   帮助文档   ·   API   ·   FAQ   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   1111 人在线   最高记录 5497   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 22ms · UTC 22:22 · PVG 06:22 · LAX 15:22 · JFK 18:22
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.