关于是否会存在定理证明机，在理论上人们是有过不同的看法的。有些人认为不可能，如著名数学家庞加莱；而有些人却觉得是可能的，并从理论上进行了论证，如著名的数理逻辑学家塔尔斯基。同时他还指出初等代数和初等几何范围的定理证明是可以实现机械化的。而在希尔伯特的《几何

昨天有一个网友留言说：他近期跳槽换了个工作，新单位的财务人员让他去办理一张招行的卡 ，用于接收工资，结果到招行办卡时，银行的工作人员说他是外地新来本地的，要求他要回单位去开个工作证明或入职证明，否则不能给他开立银行卡，还说这个是全国各家银行通行的，对此他感