【篇一】
1872年,英国当时最的数学家凯利正式向伦敦数学学会提出了这个问题,于是四色猜想成了世界数学界关注的问题。1976年,美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,作了100亿判断,终于完成了四色定理的证明。不过不少数学家并不满足于计算机取得的成就,他们认为应该有一种简捷明快的书面证明方法。
【篇二】
根据多面体的欧拉定理,可以得出这样一个有趣的事实:只存在五种正多面体。它们是正四面体、正六面体、正八面体、正十二面体、正二十面体。
【篇三】
1736年,有人带着这个问题找到了当时的大数学家欧拉,欧拉经过一番思考,很快就用一种独特的方法给出了解答。这是拓扑学的“先声”。
【篇四】
拓扑学起初叫形势分析学,是德国数学家莱布尼茨1679年提出的名词。十九世纪中期,德国数学家黎曼在复变函数的研究中强调研究函数和积分就必须研究形势分析学。从此开始了现代拓扑学的系统研究。
莫比乌斯曲面“连通性”最简单的拓扑性质。上面所举的空间的例子都是连通的。而“可定向性”是一个不那么平凡的性质。我们通常讲的平面、曲面通常有两个面,就像一张纸有两个面一样。这样的空间是可定向的。而德国数学家莫比乌斯(1790~1868)在1858年发现了莫比乌斯曲面。这种曲面不能用不同的颜色来涂满。莫比乌斯曲面是一种“不可定向的”空间。可定向性是一种拓扑性质。这意味着,不可能把一个不可定向的空间连续的变换成一个可定向的空间。
有关拓扑学的一些内容早在十八世纪就出现了。那时候发现一些孤立的问题,后来在拓扑学的形成中占着重要的地位。譬如哥尼斯堡七桥问题、多面体的欧拉定理、四色问题等都是拓扑学发展史的重要问题。
【篇五】
你肯定会大叫“赖皮”,命题的真假与这个命题本身的形式有关,这样的命题算数学命题吗?没错,这些涉及到自己的命题都叫做“自我指涉命题”,它们的出现会引发很多令人头疼的问题。从说谎者悖论(Liarparadox)到罗素悖论(Russell‘sparadox),各种逻辑悖论的产生根源几乎都是自我指涉。数理逻辑中的不合逻辑遍地都是,它们直接引发了数学的第三次数学危机。
欧拉不合逻辑的证明法
在数学,很多漂亮的定理最初的证明都是错误的。最典型的例子可能就是1735年大数学家欧拉(Euler)的“证明”了。他曾经仔细研究过所有完全平方数的倒数和的极限值,并且给出了一个漂亮的解答:这是一个出人意料的答案,圆周率π毫无征兆地出现在了与几何完全没有关系的场合中。欧拉的证明另辟蹊径,采用了一种常人完全想不到的绝妙方法。他根据方程sin(x)/x=0的解,对sin(x)/x的级数展开进行因式分解,再利用对比系数的方法神奇地得到了问题的答案。不过,利用方程的解进行因式分解的方法只适用于有限多项式,在当时的数学背景下,这种方法不能直接套用到无穷级数上。虽然如此,欧拉利用这种不严格的类比,却得出了正确的结果。