机构名称：
¥ 4.0
在其传统配方之一中，如下4。考虑一阶形式理论k - 例如Russell和Whitehead的原理Mathematica，Hilbert的Engerefunctionenkalkül（第一阶捕获曲线），Peano算术或任何其他第一阶算术等等。- 以及用K语言编写的公式。该问题要求使用（决定）（决定）有效的程序（以现代为单词，是一种算法）是否以k作为前提和结论，后者可以通过使用第一阶逻辑规则以有限的步骤从前者中得出。k中的可证明性意味着k（反之亦然）的一致性，因此，（nemengation of）和k的不一致。因此，可以按照发现（确定）是否由k组成的系统来确定（决定）的程序（即，这意味着在k中都不能证明，因此k本身是一致的）。
概述了人工智能和音乐的原始历史
主要关键词
相关文件推荐
