论文部分内容阅读
1946年电子计算机诞生。4年后的1950年波兰数学家塔斯基(Tarslci，1901-1983)证明：一切初等几何和初等代数范围的命题，都可以用机械化方法判断其真伪，使人们大吃一惊。
数学定理的机械化证明
【摘 要】
：
1946年电子计算机诞生。4年后的1950年波兰数学家塔斯基(Tarslci，1901-1983)证明：一切初等几何和初等代数范围的命题，都可以用机械化方法判断其真伪，使人们大吃一惊。
【机 构】
：
西昌学院南校区四川西昌615022
【出 处】
：
数学学习
【发表日期】
：
2004年2期
其他文献
创新发展是在党的十八届五中全会提出的创新、协调、绿色、开放、共享五大发展理念中居于首位的发展理念。领导干部要牢固树立并切实贯彻创新发展新理念，最为重要的一条就是提
为使长江深水航道更好地服务航运,介绍长江南京以下12.5 m深水航道近期发展变化及航道维护概况,对沿江航运、沿江港口、沿江社会经济等服务对象的影响进行论述,并从服务总量
为建设大连港升级版“互联港”，分析“互联互通”的重要性，指出：“互联网＋”港口是港口转型升级的手段和必经之路，“互联网＋”思维是“互联网＋”时代建设互联港的关键；提出用“互联网
为使江苏长江客汽渡业务有更好的发展,通过对江苏长江客汽渡企业生产经营和行业管理现状进行分析,并结合相关法律法规要求,在体制机制、管理制度、人员培训等方面从企业层面
为避免因蒸汽推进装置主蒸汽闸阀发生故障,以某大型液化天然气（LNG）船为例,从产品是否是经专业机构认证的合格产品、船员是否操作不当、产品是否存在设计缺陷等方面分析事故直