作者CREgodfather (教父<天亮就遗忘>)
看板Logic
标题[推荐]
时间Sun Dec 7 19:11:51 2003
http://au.metamath.org/index.html
提供
非常多的证明。
多到叫人流泪。（当然，这可能是在下的主观偏误。）
内容有：
Metamath Proof Explorer
Propositional calculus、predicate calculus、
Zermelo-Fraenkel set theory
Hilbert Space Explorer
Extends ZFC set theory into Hilbert space
Quantum Logic Explorer
Metamath Solitaire
一个可以让使用者从 axiom 和定义自己推导 theorem 的 Java applet
GIF and PNG Images for Math Symbols
数学符号的图片（因为有些字会打不出来）
Metamath Music Page
把每个证明弄成音乐（没试过，不知道听起来如何？）
--
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
im not in love but im gonna fuck you til somebody better comes to love
im not in love but im gonna fuck you til somebody better comes to fuck me
ˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍ
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.228.86.46