道德图林机对康德绝对律令的重述

将康德的理性存在看作一台道德图林机，依据其构建原则所克隆出来的道德图林机之间，将服从～系列“道德原则”。从逻辑上可以严密地证明，这些原则包含了康德绝对命令的三种表达形式。即：不存在定言指令只适应于特定康德机、而不适应于其他康德机的情形；不存在仅仅作为工具机的道德图林机；不可能存在定言指令集不同的道德图林机。

Moral Turing machine and categorical imperatives

If Kant＇s Rational Being is regarded as a moral Turing Machine, and more machines are cloned based on the principle of its being constructing, their relationship will follow a series of ＇moral laws＇. Logically, Kant＇s three formulas of Categorical Impereatives will be rigorously proved to be included in such laws, i.e. it is not the case that categorical instructuins can only apply into special moral Turing machines rather than the others; nor that a Turing machine is made merely as an instrumental one to the others; nor that categorical instructions of one machine are different from the others.