"79" Result
Sort By:
Per Martin-L--ouml--;f's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing scien…
This book presents a theory of apartness encompassing both point-set topology and the theory of uniform spaces. The first book on the apartness approach to constructive topology, it is a valuable addition to the literature on topology in computer science.
This book presents a theory of apartness encompassing both point-set topology and the theory of uniform spaces. The first book on the apartness approach to constructive topology, it is a valuable addition to the literature on topology in computer science.
The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and ba…
The basis of this book was a special course given by the author at the Mechanics-Mathematics Faculty of Moscow University. The material presumes almost no previous knowledge and is completely understandable to a reader who is in command of a standard course of mathematical analy…
This collection of essays aims to promote constructive mathematics, not by defining it or formalizing it, but by practicing it. All definitions and proofs are based on finite algorithms, which pave illuminating paths to nontrivial results, primarily in algebra, number theory, an…
This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures. The discuss…
"This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures. The discus…