这是一个创建于 1048 天前的主题，其中的信息可能已经有所发展或是发生改变。
这是我翻译的 V.V. 的演讲：
即使略过其中的数学相关的部分，也可以体会到一位世界顶级数学家的心路历程了。
 |
1
lostberryzz 2022-01-05 11:40:52 +08:00
wow ，这个工具是楼主做的吗，审美在线我喜欢，awesome
|
 |
2
czfy 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