This note is a sketch of how the concept of robopsychology and robophilosophy could be reinterpreted and repositioned in the spirit of the original vocation of psychology and philosophy. The notion of the robopsychology as a fictional science and a fictional occupation was introduced by Asimov in the middle of the last century. The robophilosophy, on the other hand, is only a few years old today. But at this moment, none of these new emerging disciplines focus on the fundamental and overall issues of the development of artificial general intelligence. Instead, they focus only on issues that, although are extremely important, play a complementary role, such as moral or ethical ones, rather than the big questions of life. We try to outline a conception in which the robophilosophy and robopsychology will be able to play a similar leading rule in the progress of artificial intelligence than the philosophy and psychology have done in the progress of human intelligence. To facilitate this, we outline the idea of a visual artificial language and interactive theorem prover-based computer application called Prime Convo Assistant. The question to be decided in the future is whether we can develop such an application. And if so, can we build a computer game on it, or even an esport game? It may be an interesting question in order for this game will be able to transform human thinking on the widest possible social scale and will be able to develop a standard mathematical logic-based communication channel between human and machine intelligence.

中文翻译：

---

Hacking with God：机器人心理学和机器人哲学的通用编程语言

本笔记概述了如何以心理学和哲学的原始职业精神重新解释和重新定位机器人心理学和机器人哲学的概念。阿西莫夫在上世纪中叶引入了机器人心理学作为虚构科学和虚构职业的概念。另一方面，机器人哲学在今天只有几年的历史。但目前，这些新兴学科都没有关注通用人工智能发展的根本性和全局性问题。相反，他们只关注虽然极其重要但起到补充作用的问题，例如道德或伦理问题，而不是生活中的大问题。我们试图勾勒出一个概念，其中机器人哲学和机器人心理学将能够在人工智能的进步中发挥类似于哲学和心理学在人类智能进步中的主导作用。为了促进这一点，我们概述了一种称为 Prime Convo Assistant 的视觉人工语言和基于交互式定理证明器的计算机应用程序的想法。未来要决定的问题是我们是否可以开发这样的应用程序。如果是这样，我们可以在其上构建电脑游戏，甚至是电子竞技游戏吗？这可能是一个有趣的问题，因为这款游戏将能够在尽可能广泛的社会范围内改变人类的思维，并能够在人类和机器智能之间开发基于数学逻辑的标准通信渠道。我们概述了一种称为 Prime Convo Assistant 的基于视觉人工语言和交互式定理证明器的计算机应用程序的想法。未来要决定的问题是我们是否可以开发这样的应用程序。如果是这样，我们可以在其上构建电脑游戏，甚至是电子竞技游戏吗？这可能是一个有趣的问题，因为这款游戏将能够在尽可能广泛的社会范围内改变人类的思维，并能够在人类和机器智能之间开发基于数学逻辑的标准通信渠道。我们概述了一种名为 Prime Convo Assistant 的基于视觉人工语言和交互式定理证明器的计算机应用程序的想法。未来要决定的问题是我们是否可以开发这样的应用程序。如果是这样，我们可以在其上构建电脑游戏，甚至是电子竞技游戏吗？这可能是一个有趣的问题，因为这款游戏将能够在尽可能广泛的社会范围内改变人类的思维，并能够在人类和机器智能之间开发基于数学逻辑的标准通信渠道。甚至是电子竞技游戏？这可能是一个有趣的问题，因为这款游戏将能够在尽可能广泛的社会范围内改变人类的思维，并能够在人类和机器智能之间开发基于数学逻辑的标准通信渠道。甚至是电子竞技游戏？这可能是一个有趣的问题，因为这款游戏将能够在尽可能广泛的社会范围内改变人类的思维，并能够在人类和机器智能之间开发基于数学逻辑的标准通信渠道。