众友伯乐 - 定理证明 一站式定理证明开发服务
定理证明
众友伯乐 定理证明是指数学领域中对臆测的定理寻求一个证明,证明定理时,不仅需要有根据假设进行演绎的能力,而且需要有某些知觉的技巧,这是一项需要智能才能完成的任务。
证明定理时,不仅需要有根据假设进行演绎的能力,而且需要有某些知觉的技巧。例如数学家在求证一个定理时,会熟练地运用他丰富的专业知识,猜测应当先证明哪一个引理,精确判断出已有的那些定理将其作用,并把主问题分解为若干问题,分别独立进行求解。
因此人工智能研究中机器定理证明很早就受到注视。在人工智能的发展时期,1957年A.Newell、J.Shaw和H.Simon等人的心理学小组编制出一个称为 [1]  逻辑理论机LT(The Logic Theory Machine)的数学定理证明程序,该程序证明了B.A.W.Russell和A.N.Whitehead的“数学原理”一书第二章的38个定理。并取得不少成果。