Foundations for Computable Topology Paul Taylor 8 April 2009 Abstract Foundations should be designed for the needs of mathematics and not vice versa. We propose a technique for doing this that exploits the correspondence

First Page		Document Content
Date: 2009-04-08 14:06:24		Foundations for Computable Topology Paul Taylor 8 April 2009 Abstract Foundations should be designed for the needs of mathematics and not vice versa. We propose a technique for doing this that exploits the correspondence Add to Reading List Source URL: www.monad.me.uk Download Document from Source Website File Size: 616,74 KB Share Document on Facebook