

草长莺飞,鸢飞鱼跃,生物的创造性让我们叹为观止。达尔文的化论真能解释这一切吗?现在存在许多经验证据支持达尔文理论,但却没有数学证明。算法信息论创者格雷戈里?蔡汀对此行了大胆尝试,提出了关于化和生物创造性的一个数学理论。 将生命视为不断化的软件,蔡汀一步发展了图灵和冯·诺伊曼的思想,重新检视了分子生物学的早期历史以及软件的人类发现史,并指出创造性的重要性——我们要有足够的创造性去设计一个允许创造性的社会。

勾股定理是初等几何中遇到的*个比较重要的定理,该定理是许多后续定理的基础。1977年的高考试题中,有一道题目的内容就是 证明勾股定理 ,出题人是我国著名数学家潘承洞。而勾股定理的证明方法也是多种多样,各有特色,国外已经有学者整理出了该定理的300多个证法,而国内目前列出了近50个证法。本书精选了有代表性的365种证法。这些证法大多只需初中水平,各种思维模式能让读者脑洞大开,挑战思维极限。
