Locus Solum: From the rules of logic to the logic of rules
Locus Solum: From the rules of logic to the logic of rules
复制标题
Locus Solum：从逻辑规则到规则逻辑
DOI：
10.1017/s096012950100336x
复制
发表时间：
2001
影响因子：
0.5
通讯作者：
J. Girard
中科院分区：
文献类型：
--
作者：
J. Girard
回到安方，安方的和平广场，安方的起点，一切事物的起点（.）安方靠近一座城市，唯一一座有原子前名字的城市（.）人民程序员的总部在安方，错误发生了：一颗红宝石在颤抖。两个巡天网都无法校正激光束。一颗钻石指出了错误。错误和更正都进入了通用计算机。《小丑镇的死女人》（The Dead Lady of Clown Town），1964年
Go back to An-fang, the Peace Square at An-Fang, the Beginning Place at An-Fang, where all things start (…) An-Fang was near a city, the only living city with a pre-atomic name (…) The headquarters of the People Programmer was at An-Fang, and there the mistake happened: A ruby trembled. Two tourmaline nets failed to rectify the laser beam. A diamond noted the error. Both the error and the correction went into the general computer. Cordwainer SmithThe Dead Lady of Clown Town, 1964.