如何区分机器智能（AI，我建议用mechanical artificial intelligence， MAI）和人类智能（human being intelligence，HBI）？显然人类智能包含了机器智能。Turing建议以Turing Test来鉴定机器智能是否达到了人类智能，他并没有否定机器智能能达到人类智能。但Turing Test是个否定的标准，只能否定，没法确定机器智能达到了人类智能。得找一些特征以区分两者，为将来发展和谈论廓清一些含混之处（指明方向？
）MAI和HBI的区别应该在于创造性证明或验证或idea，MAI无法进行创造性证明或验证或idea，因此也不能提出新概念，或者创造性证明，而只能做机械证明。机械证明就是已有的证明或程序（人类提出的），至多MAI把它移植到一个看似不同实在一样或者同态的情景。
Godel不完备定理和Tarski关于Truth的研究给区分MAI和HBI设置了技术上的一些限制，真能做到给出的创造性证明，验证，概念可用合用，并不是一件容易的事情。