智能可计算性思想的发展

Development of Ideas on Computable Intelligence

本文从各种"智能"定义中所陈述的共同特征中归纳出智能的根本特征:智能是脑和神经系统通过选择达到系统目标(功能)的能力,人工智能或机器智能则是对生命智能的模仿或特征功能的复制。基于这一定义,本文讨论和总结了智能可计算性思想的发展脉络,包括哥德尔定义的"广义递归函数";"选择"的计算活动;递归函数与图灵机;智能可计算的数学表达;智能可计算的核心性质;计算主义与强人工智能等。本文最后引出一些结论。

This paper inducts the fundamental features of intelligence through the common features of various definitions concerned. Intelligence is the ability of systemat- ic goals （functions） of brain and nerve system through options, and artificial intelligence or machine intelligence is an imitation of life intelligence or a rep- lication of features and functions. Based on the said definition, it discusses and summarizes the development routes of ideas on computable intelligence, including Godel＇ s ＂general recursive function＂, the computation activities of ＂selection＂, recursive function and Turing Machine, mathematical expression of computable intelligence, core nature of computable intelligence, and com- putability and strong artificial intelligence.