这是一个创建于 1376 天前的主题，其中的信息可能已经有所发展或是发生改变。
这是我翻译的 V.V. 的演讲：
即使略过其中的数学相关的部分，也可以体会到一位世界顶级数学家的心路历程了。
 | 1 lostberryzz 2022-01-05 11:40:52 +08:00 wow ，这个工具是楼主做的吗，审美在线我喜欢，awesome |
 | 2 jr55475f112iz2tu 2022-01-05 12:11:26 +08:00 @lostberryzz 运用自如 |
 | 3 sorra 2022-01-05 12:46:13 +08:00  1 谢谢你的分享 |
 | 4 neteroster 2022-01-05 12:55:37 +08:00 via Android 阅读工具很不错诶！ |
 | 5 yuyu2140 2022-01-05 13:54:50 +08:00 1 霞鹜文楷配合楼主的渲染工具，中文阅读体验很棒 |
 | 6 aguesuka 2022-01-05 14:03:54 +08:00 现在迫切需要一个 IDE 友好的语言 |
 | 7 sillydaddy 2022-01-05 14:19:04 +08:00 原来「数学基础」是这个意思 以前尝试了解过「同伦类型论」，好像可以做计算机辅助证明：把数学证明过程表达为编程语言，让计算机去验证。 感觉非常高大上。入门就是要定义一个自然数系统。。 |
| 8 aguesuka 2022-01-05 14:51:25 +08:00 @sillydaddy 应该从德摩根定律开始, 作为入门 Inductive type 太复杂了 |
 | 9 xieyuheng OP @lostberryzz 是的呢！感谢你的鼓励！这个工具的主页在这里： https://readonly.link/ 很快也会将 UI 中文化，并且写一些中文的文档。 |
| 10 xieyuheng OP @sillydaddy 我在写一本书，用来介绍我设计的辅助证明语言， 也是从自然数开篇的： https://readonly.link/books/github.com/xieyuheng/cicada-monologues/-/01-nat.md 不过我的书还正在写，写完之后我会回来向大家分享的！ |
| 11 sillydaddy 2022-01-05 16:11:14 +08:00 @xieyuheng 简单看了下，感觉很易懂。才刚开始写吧，期待，加油！ |
 | 12 xing7673 2022-01-05 21:09:22 +08:00 via iPhone 很厉害，故事也很有趣。 |
| 13 xieyuheng OP 「只读链接」增加中文 UI 啦： https://readonly.link |
Select Language