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

[xieyuheng]

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

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

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

[lostberryzz]

wow ，这个工具是楼主做的吗，审美在线我喜欢，awesome

[czfy]

@lostberryzz 运用自如

[sorra]

谢谢你的分享

[neteroster]

阅读工具很不错诶！

[yuyu2140]

霞鹜文楷配合楼主的渲染工具，中文阅读体验很棒

[aguesuka]

现在迫切需要一个 IDE 友好的语言

[sillydaddy]

原来「数学基础」是这个意思 😓
以前尝试了解过「同伦类型论」，好像可以做计算机辅助证明：把数学证明过程表达为编程语言，让计算机去验证。
感觉非常高大上。入门就是要定义一个自然数系统。。

[aguesuka]

@sillydaddy 应该从德摩根定律开始, 作为入门 Inductive type 太复杂了

[xieyuheng]

@lostberryzz 是的呢！感谢你的鼓励！这个工具的主页在这里： https://readonly.link/ 很快也会将 UI 中文化，并且写一些中文的文档。

[xieyuheng]

@sillydaddy

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

不过我的书还正在写，写完之后我会回来向大家分享的！

[sillydaddy]

@xieyuheng
简单看了下，感觉很易懂。才刚开始写吧，期待，加油！

[xing7673]

很厉害，故事也很有趣。

[xieyuheng]

「只读链接」增加中文 UI 啦： https://readonly.link