Metamath
Metamath
Norman Megill · 初版 2005 年
- 3次提及
- 2人推荐
- 2位 HN 评论者
Hacker News 读者推荐
如果你对 Metamath 的核心教材感兴趣，那就是诺曼·梅吉尔（Norman Megill）和大卫·A·惠勒（David A. Wheeler）合著的《Metamath：数学证明的计算机语言》（Metamath: A Computer Language for Mathematical Proofs）。你可以在这里买到精装版：http://www.lulu.com/shop/norman-megill-and-david-a-wheeler/m... 完整……
dwheeler 在 HN 的推荐
……验证器软件，但从我们人类的角度来看，在一个形式系统中一个证明是否成立并不是由我们决定的，而是由数学决定的。编辑：如果你对机器学习（ML）感兴趣并且喜欢这个想法，一定要看看 MetaMath，这本书非常通俗易懂，而且作者（Norman Megill）非常友善且乐于助人。大概只要几天到一个星期就能学会、研究透并自己重新实现一个验证器。完全不用……
DoctorOetker 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。