沃尔夫冈劳工

美国数学家

了解这个话题在这些文章中:

在四色地图问题
Appel…由肯尼斯和沃尔夫冈劳工,经过四年的前所未有的计算机搜索和理论推理的综合。垫步,都创建了一个目录1936“不可避免的”配置,至少其中之一必须出现在任何图表,无论多么大。然后,他们展示了每个…
阅读更多
在数学:基础电脑和证明
…Kenneth Appel(生于1932年)和沃尔夫冈劳工(生于1928年)甚至超越这一点,随着计算机帮助确定哪些病例被认为是在下一步的证据。然而,原则上,电脑不能要求发现证明,除了非常限制mathematics-such领域…
阅读更多