【愚人特稿】数学升级至2.0版本

ccdzxl

（2011 年 4 月 2 日更新：昨天是一年一度的愚人节，故编写了无比欢乐的“新版数学”更新日志作为愚人节笑话，希望大家昨天过了一个开心的愚人节！）
国际标准化组织（ISO）宣布，由于数学体系若干内在缺陷给人民生产生活带来不便，数学体系将升级至 2.0 版本。新版本的数学体系修复了大量 bug，并新增了不少特性。
此次更新包括：
［新增］新增定理：黎曼假设为真。
［新增］新增定理：哥德巴赫猜想为真。
［新增］新增定理：NP 不等于 P。
& S. e5 x2 V0 u, Y［新增］新增证明方法：维基法。如果维基百科认为一个命题为真，则这个命题为真。
［新增］新增证明方法：课后练习法。证明过程可以用“留给读者作为练习”替代。
1 l; I+ w3 |/ V' Y( N, q1 x) e［新增］支持尺规作图三等分角。
7 L* f: f9 F) S7 K［新增］支持洛必达法则在非 0/0 和 ∞/∞ 型式子中的应用。
- ~: r% ]) f) y+ p［新增］优化了分形图形。现在分形图形更加平滑，可以进行快速渲染。
3 L% v4 B' z7 E! V［新增］优化了无穷级数。你可以在任何条件下使用等式 1 + 2 + 3 + 4 + … = -1/12。
/ l- P* _& z& j3 u% `; ]［新增］增加了费马所读书籍页面边缘的空白面积。
  r9 d* D/ e2 n' Y  D) Z4 g1 G［修正］修正了巴拿赫-塔斯基复制漏洞。
［修正］修正了停机问题不可判定的问题。
［修正］修正了莫比乌斯环只有一面的问题。
) s# u( b7 D7 s' h6 \0 b- G［修正］修正了函数偶尔会处处连续但处处不可导的问题。
; N5 k2 E% J! G9 q) a' S［修正］修正了罗素悖论，现在一个集合可以既包含自身又不包含自身。
( P& v$ x8 \( @- Z2 Q［修正］修正了哥德尔不完备定理，现在所有的命题都可以被证明或者推翻。
［修正］将圆周率值调整为 3，与《圣经》列王记中的描述“他又铸一个铜海，样式是圆的，高五肘，径十肘，围三十肘”保持一致。
$ P  a# H" R$ c. v! k8 q5 H  K［修正］由于“负数”一词用字不和谐，现统一改为“非正非零数”。
［取消］取消了反证法。
8 B) A6 w5 B: m* k［取消］取消了四色定理。
［取消］取消了对虚数 i 的支持。
8 |; t8 g# A+ N) V3 }［取消］因审查未通过，“夹逼定理”暂停使用。
! n4 C- n5 c  m# p3 N此次更新自 2011 年 4 月 1 日起生效，请下发文件立即执行。果壳网死理性派将带领数学爱好者们一道，学习领会新版数学体系的精神，无障碍地由数学 1.0 过渡到数学 2.0 版本！
紧急补充（2012.04.01）： 因某些原因，学界对 2.0 版修正法案产生了巨大的分歧，国际标准化组织数学部在今年三月底又重新召开大会，经过严肃的讨论后，于今日发布补丁如下：
4 @  U: \9 O$ w［新增］新增定理：钝角等于直角。由于 中国数学家的努力 ，数学界终于承认两千多年前就被发现的几何漏洞。
0 ]0 g2 ^4 S) W5 \% B6 Y  `  m, F［修正］修正了圆周率的值。经过严格的推导和证明，数学家最近发现，圆周率精确值为4。