DocumentCode
3296611
Title
The Stone gamut: a coordinatization of mathematics
Author
Pratt, Vaughan R.
Author_Institution
Dept. of Comput. Sci., Stanford Univ., CA, USA
fYear
1995
fDate
26-29 Jun 1995
Firstpage
444
Lastpage
454
Abstract
We give a uniform representation of the objects of mathematical practice as Chu spaces, forming a concrete self dual bicomplete closed category and hence a constructive model of linear logic. This representation distributes mathematics over a two dimensional space called the Stone gamut. The Stone gamut is coordinatized horizontally by coherence, ranging from -1 for sets to 1 for complete atomic Boolean algebras (CABA´s), and vertically by complexity of language. Complexity 0 contains only sets, CABA´s, and the inconsistent empty set. Complexity 1 admits noninteracting set CABA pairs. The entire Stone duality menagerie of partial distributive lattices enters at complexity 2. Groups, rings, fields, graphs, and categories are all entered by level 16, and every category of relational structures and their homomorphisms eventually appears. The key is the identification of continuous functions and homomorphisms, which puts Stone Pontrjagin duality on a uniform basis by merging algebra and topology into a simple common framework
Keywords
Boolean functions; category theory; computational complexity; duality (mathematics); set theory; Chu spaces; Stone Pontrjagin duality; Stone duality menagerie; Stone gamut; complete atomic Boolean algebras; concrete self dual bicomplete closed category; constructive model; continuous functions; homomorphisms; inconsistent empty set; language complexity; linear logic; mathematics coordinatization; noninteracting set CABA pairs; partial distributive lattices; relational structures; two dimensional space; uniform representation; Algebra; Concrete; Concurrent computing; History; Logic functions; Mathematics; Qualifications; Set theory; Tensile stress;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1995. LICS '95. Proceedings., Tenth Annual IEEE Symposium on
Conference_Location
San Diego, CA
ISSN
1043-6871
Print_ISBN
0-8186-7050-9
Type
conf
DOI
10.1109/LICS.1995.523278
Filename
523278
Link To Document