族谱网 头条 人物百科

电脑协助证明

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:377
转发:0
评论:0
哲学争议由于大部分的电脑协助证明计算量庞大,无法以人手验证,很多数学家不接受电脑协助证明,并表示那只是计算而非证明。他们表示,美丽的数学证明应像首诗,而电脑证明则看似电话簿。历史第一个著名的电脑协助证明,是1976年的四色定理证明。著名的电脑协助证明四色定理-1976四子棋-1988Order10有限射影平面的不存在性-1989开普勒猜想17点的幸福结局问题

哲学争议

由于大部分的电脑协助证明计算量庞大,无法以人手验证,很多数学家不接受电脑协助证明,并表示那只是计算而非证明。他们表示,美丽的数学证明应像首诗,而电脑证明则看似电话簿。

历史

第一个著名的电脑协助证明,是1976年的四色定理证明。

著名的电脑协助证明

四色定理- 1976

四子棋- 1988

Order 10有限射影平面的不存在性 - 1989

开普勒猜想

17点的幸福结局问题


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 协助自杀
参见安乐死:指无痛死亡的行为。介错:日本武士切腹时协助自杀的行为。
· DNA电脑与生物电脑之父
DNA计算机是一种生物形式的计算机。它是利用DNA(脱氧核糖核酸)建立的一种完整的信息技术形式,以编码的DNA序列(通常意义上计算机内存)为运算对象,通过分子生物学的运算操作以解决复杂的数学难题。生物计算机又称仿生计算机,是以生物芯片取代在半导体硅片上集成效以万计的晶体管制成的计算机。它的主要原材料是生物工程技术产生的蛋白质分子,并以此作为生物芯片。生物计算机芯片本身还具有并行处理的功能,其运算速度要比当今最新一代的计算机快10万倍,能量消耗仅相当于普通计算机的十亿分之一,存储信息的空间仅占百亿亿分之一
· 电脑成像
历史最早的二维电脑成像是在1973年的电影《Westworld》中使用。图层在编辑图像的过程中,使用者可以随时新增、移动、隐藏、甚至删除个别的图层,造成不同的效果。举例来说,使用者可以将文字放到一个图层,影像则放到另外的图层。当需要修改文字时,可以隐藏文字图层以外的所有图层,先专注处理需要修改的文字。另外,如果需要为一幅图像配上不同语言的文字,可以把不同语言的文字分别放于个别图层;汇出档案或打印档案时,只要隐藏其他无关的文字版本的图层,就可以获得所需文字版本的文件。参见电脑动画计算机图形学可视化MagicLeap(MagicLeap)
· 平板电脑
类型纯平板型只配置一个屏幕和触控笔的平板电脑为纯平板型;它们可以通过无线技术或USB接口连接键盘、鼠标及其它周边配备。最常见的生产商有MotionComputing/GatewayComputers、富士通、惠普/康柏、亚马逊Kindle、谷歌Nexus和苹果等等。可旋转型设备了键盘的平板电脑称为可旋转型。通常来说,键盘覆盖了主板并且通过一个可以水平、垂直180°前后旋转的连接点连接着屏幕。最常见的生产商有惠普、联想、宏碁和东芝。混合型“混合型”的平板电脑跟“可旋转型”类似,但混合型平板电脑的键盘是可以分开的,因此您可以把它当作纯手写或可旋转型使用。最常见的混合型平板电脑生产商有华硕以及微软的Surface系列。历史来自施乐帕洛阿尔托研究中心的艾伦·凯(AlanKay)在60年代末提出了一种可以用笔输入信息的叫做Dynabook的新型笔记本电脑的构想。然而,帕洛阿尔托研究中心没有对该构想提...
· 电脑壁纸
外部链接

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信