Results 1 
3 of
3
The Stone gamut: A coordinatization of mathematics
 In Logic in Computer Science
, 1995
"... We give a uniform representation of the objects of mathematical practice as Chu spaces, forming a concrete selfdual bicomplete closed category and hence a constructive model of linear logic. This representation distributes mathematics over a twodimensional space we call the Stone gamut. The Stone ..."
Abstract

Cited by 30 (13 self)
 Add to MetaCart
We give a uniform representation of the objects of mathematical practice as Chu spaces, forming a concrete selfdual bicomplete closed category and hence a constructive model of linear logic. This representation distributes mathematics over a twodimensional space we call 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 setCABA pairs. The entire Stone duality menagerie of partial distributive lattices enters at complexity 2. Groups, rings, fields, graphs, and categories have 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 StonePontrjagin duality on a uniform basis by merging algebra and topology into a simple common framework. 1 Mathematics from matrices We organize much of mathematics into a single category Chu of Chu spaces, or games as Lafont and Streicher have called them [LS91]. A Chu space is just a matrix that we shall denote =, but unlike the matrices of linear algebra, which serve as representations of linear transformations, Chu spaces serve as representations of the objects of mathematics, and their essence resides in how they transform. This organization permits a general twodimensional classification of mathematical objects that we call the Stone gamut 1, distributed horizontally by ∗This work was supported by ONR under grant number N0001492J1974. 1 “Spectrum, ” the obvious candidate for this appliction, already has a standard meaning in Stone duality, namely the representation of the dual space of a lattice by its prime ideals. “A
Quantum Computing: A new Paradigm and it's Type Theory
 Lecture given at the Quantum Computing Seminar, Lehrstuhl Prof. Beth, Universität
, 1996
"... To use quantum mechanical behavior for computing has been proposed by Feynman. Shor gave an algorithm for the quantum computer which raised a big stream of research. This was because Shor's algorithm did reduce the yet assumed exponential complexity of the security relevant factorization problem, to ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
To use quantum mechanical behavior for computing has been proposed by Feynman. Shor gave an algorithm for the quantum computer which raised a big stream of research. This was because Shor's algorithm did reduce the yet assumed exponential complexity of the security relevant factorization problem, to a quadratic complexity if quantum computed. In the paper a short introduction to quantum mechanics can be found in the appendix. With this material the operation of the quantum computer, and the ideas of quantum logic will be explained. The focus will be the argument that a connection of quantum logic and linear logic is the right type theory for quantum computing. These ideas are inspired by Vaughan Pratt's view that the intuitionistic formulas argue about states (i.e physical quantum states) and linear formulas argue about state transformations (i.e computation steps). 1 Introduction A calculus for programs on quantum computers is strongly missed. Here we present the material t...
New Connections between Mathematics and Computer Science
, 1996
"... A workshop on "New Connections between Mathematics and Computer Science" was held at the Isaac Newton Institute for Mathematical Sciences in Cambridge, England from 2024 November 1995. The workshop was supported by the Engineering and Physical Science Research Council of the United Kingdom, the Lon ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
A workshop on "New Connections between Mathematics and Computer Science" was held at the Isaac Newton Institute for Mathematical Sciences in Cambridge, England from 2024 November 1995. The workshop was supported by the Engineering and Physical Science Research Council of the United Kingdom, the London Mathematical Society and HewlettPackard's Basic Research Institute in the Mathematical Sciences. This document contains a report on the workshop, the abstracts of the talks and the accompanying bibliography. 1 Report on the workshop The interplay between mathematics and computer science has traditionally centered around areas in logic, category theory and discrete mathematics. In recent years new connections between mathematics and computer science have emerged from such unexpected quarters as algebraic topology, differential geometry, dynamical systems and operator algebras. These new developments hold the promise of bringing new insights and powerful mathematical tools to bear on p...