Indexed metadata

Locus Solum: From the rules of logic to the logic of rules

JEAN-YVES GIRARD

Source record

Source: Crossref

Published: Jun 1, 2001

DOI: 10.1017/s096012950100336x

Open original source ↗

Source abstract

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 Smith The Dead Lady of Clown Town , 1964.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.

Locus Solum: From the rules of logic to the logic of rules — Mathematical Frontier Network