Logo

Natural Topology by Frank Waaldijk

Small book cover: Natural Topology

Natural Topology
by

Publisher: arXiv
Number of pages: 174

Description:
We give a theoretical and applicable framework for dealing with real-world phenomena. Joining pointwise and pointfree notions in BISH, natural topology gives a faithful idea of important concepts and results in intuitionism. Natural topology is well-suited for practical and computational purposes. We give several examples relevant for applied mathematics.

Home page url

Download or read it online for free here:
Download link
(1.1MB, PDF)

Similar books

Book cover: A Friendly Introduction to Mathematical LogicA Friendly Introduction to Mathematical Logic
by - Milne Library Publishing
In this book, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study.
(9758 views)
Book cover: Introduction to Mathematical PhilosophyIntroduction to Mathematical Philosophy
by - University of Massachusetts Amherst
A very accessible mathematical classic. It sets forth in elementary form the logical definition of number, the analysis of the notion of order, the modern doctrine of the infinite, and the theory of descriptions and classes as symbolic fictions.
(15914 views)
Book cover: The Haskell Road to Logic, Maths and ProgrammingThe Haskell Road to Logic, Maths and Programming
by - College Publications
The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming. The programming language that will be our tool for this is Haskell, a member of the Lisp family.
(20910 views)
Book cover: Logic for Computer ScienceLogic for Computer Science
- Wikibooks
This book provides a survey of mathematical logic and its various applications. After covering basic material of propositional logic and first-order logic, the course presents the foundations of finite model theory and descriptive complexity.
(11100 views)