In McCarthy's papers it varies how many are needed, depending on which paper you read. Regardless, the idea is that those "axioms" is all you need to build computations on. A closed universe. A mathematical theory. Those axioms are like Euclidean axioms, something you can build other mathematical constructs, it is just that here we are talking about computing.
Председатель Европейского совета сообщил о серьезных экономических потрясениях14:56
，这一点在比特浏览器中也有详细论述
Article thumbs down
智源研究院发布RoboBrain 2.0机器人大脑与RoboOS 2.0协作平台，具备高效模型结构与轻量化部署特性。