Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)

Bridges, Douglas S.; Vî??, Lumini?a Simona

ISBN 10: 3642224148 / ISBN 13: 9783642224140

Verlag: Springer, 2011

Beschreibung

Bestandsnummer des Verkäufers ABLIING23Mar3113020221063

Bibliografische Details

• Titel: Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)
• Verlag: Springer
• Erscheinungsjahr: 2011
• Sprache: Englisch
• ISBN-10: 3642224148
• ISBN-13: 9783642224140
• Einband: Hardcover
• Zustand: New

Über diesen Titel

Inhaltsangabe

The Constructive Framework.- Point-Set Apartness.- Apartness Between Sets.- Postlude: Paths to Topology.- References.- Index.

Über die Autorin bzw. den Autor

Prof. Douglas S. Bridges is a professor of pure mathematics at the University of Canterbury. His research interests include the constructive foundations of analysis and topology; mathematical economics; computability and abstract complexity theory; and quantum logic. He has published many related articles and papers, among his 8 authored books are "Computability: A Mathematical Sketchbook", "Foundations of Real and Abstract Analysis", and "Techniques of Constructive Analysis". He is a Fellow of the Royal Society of New Zealand, and a Corresponding Fellow of the Royal Society of Edinburgh. Dr. Luminiţa Simona Vîţă is an Adjunct Fellow of the Department of Mathematics and Statistics, University of Canterbury, and a Senior Business Analyst with the New Zealand Customs Service. Her research interests include constructive foundations of analysis and topology, and recursive function theory, computability and complexity. She has published many related articles and papers, and coauthored "Techniques of Constructive Analysis".