机器中的非正式概念

摘要：

本文建设性地证明了存在一个有效的程序生成一个可计算的（总）功能，不包含在任何给定的有效可计算的一组这样的功能。证明意味着存在机器，其处理非正式概念，例如超出任何给定的图灵机或正式系统的限制的可计算（总）函数，也就是说，这些机器可以在某种意义上“计算”超出这些限制的函数值。我们称这些机器为创造力。我们认为，任何“智能”机器应该能够处理非正式的概念，如可计算（总）功能，也就是说，它应该是创造性的。最后，我们介绍了假设的基础上开发的理论研究和实验与计算机程序的创意机器。这些假说认为，机器智能是从任何通用程序设计语言和任何输入开始的自我开发过程的执行。

英文摘要：

This paper constructively proves the existence of an effective procedure generating a computable (total) function that is not contained in any given effectively enumerable set of such functions. The proof implies the existence of machines that process informal concepts such as computable (total) functions beyond the limits of any given Turing machine or formal system, that is, these machines can, in a certain sense, "compute" function values beyond these limits. We call these machines creative. We argue that any "intelligent" machine should be capable of processing informal concepts such as computable (total) functions, that is, it should be creative. Finally, we introduce hypotheses on creative machines which were developed on the basis of theoretical investigations and experiments with computer programs. The hypotheses say that machine intelligence is the execution of a self-developing procedure starting from any universal programming language and any input.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。