Metodo

International Studies in Phenomenology and Philosophy

Book | Chapter

188669

Foundations for computable topology

Paul Taylor

pp. 265-310

Abstract

Foundations should be designed for the needs of mathematics and not vice versa. We propose a technique for doing this using the correspondence between category theory and logic and is potentially applicable to several mathematical disciplines.

Publication details

Published in:

Sommaruga Giovanni (2011) Foundational theories of classical and constructive mathematics. Dordrecht, Springer.

Pages: 265-310

DOI: 10.1007/978-94-007-0431-2_14

Full citation:

Taylor Paul (2011) „Foundations for computable topology“, In: G. Sommaruga (ed.), Foundational theories of classical and constructive mathematics, Dordrecht, Springer, 265–310.