Locus Solum: From the Rules of Logic to the Logic of Rules

Mathematical Structures in Computer Science 11 (3):301–506 (2001)
  Copy   BIBTEX

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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Halteprobleme von Fang-Systemen.Bernhard Falkenberg - 1980 - Archive for Mathematical Logic 20 (1-2):75-83.
Xi fang luo ji shi.Kuangwu Li - 1985 - Shanghai: Xin hua shu dian Shanghai fa xing suo fa xing.
Xi fang luo ji shi.Baishun Yang - 1984 - Chengdu: Sichuan sheng xin hua shu dian fa xing.
Lo chi yü kʻo hsüeh fang fa.Chih-chʻing Sung - 1964 - Edited by Lin, Ju-hao & [From Old Catalog].
Xi fang luo ji shi yan jiu.Tianji Jiang (ed.) - 1984 - Beijing: Xin hua shu dian fa xing.
Ke xue fa xian zhong di luo ji fang fa.Yue Su & Zongtang Liu (eds.) - 1990 - [Peking]: Beijing shi fan da xue chu ban she.
Bian zheng luo ji yu ke xue fang fa lun yan jiu.Juqing Zhang (ed.) - 1984 - [Wuhan shi]: Hubei sheng xin hua shu dian fa xing.

Analytics

Added to PP
2023-09-18

Downloads
12 (#1,365,662)

6 months
5 (#1,035,390)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Dialogical logic.Laurent Keiff - 2010 - Stanford Encyclopedia of Philosophy.
Why Can Computers Understand Natural Language?Juan Luis Gastaldi - 2020 - Philosophy and Technology 34 (1):149-214.
Proof and refutation in MALL as a game.Olivier Delande, Dale Miller & Alexis Saurin - 2010 - Annals of Pure and Applied Logic 161 (5):654-672.
Polarized games.Olivier Laurent - 2004 - Annals of Pure and Applied Logic 130 (1-3):79-123.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references