Hostname: page-component-546b4f848f-lx7sf Total loading time: 0 Render date: 2023-05-31T19:58:26.600Z Has data issue: false Feature Flags: { "useRatesEcommerce": true } hasContentIssue false
  • English

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

Published online by Cambridge University Press:  05 July 2001

JEAN-YVES GIRARD
JEAN-YVES GIRARD
Affiliation:
Institut de Mathématiques de Luminy, UPR 9016 – CNRS 163, Avenue de Luminy, Case 930, F-13288 Marseille Cedex 09. Email: girard@iml.univ-mrs.fr
Get access Rights & Permissions[Opens in a new window]

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

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 11 , Issue 3 , June 2001 , pp. 301 - 506
Copyright
2001 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)