Positive Topology - Sambin, Giovanni
146,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in über 4 Wochen
payback
73 °P sammeln
  • Gebundenes Buch

Constructive topology is an important new branch of constructive mathematics and logic and this monograph is the first account of constructive topology in book form. Aimed at researchers in mathematics, philosophy, and logic, the author provides discussion of the technical development of the field and also outlines the philosophical and methodological motivations underlying the evolution of the discipline.
This book contains the first systematic exposition of a new discipline called positive topology, which brings many conceptual and mathematical innovations and many benefits for…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
Constructive topology is an important new branch of constructive mathematics and logic and this monograph is the first account of constructive topology in book form. Aimed at researchers in mathematics, philosophy, and logic, the author provides discussion of the technical development of the field and also outlines the philosophical and methodological motivations underlying the evolution of the discipline.
This book contains the first systematic exposition of a new discipline called positive topology, which brings many conceptual and mathematical innovations and many benefits for mathematical practice and applications, for the first time extending Darwin's evolutionary vision to the practice of mathematics.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Autorenporträt
Giovanni Sambin has been doing research in logic and the foundations of mathematics since the 1970s. He is among the founders of provability logic and has been developing the field of topology since the 1990s, adopting a dynamic view in mathematical practice, leading to positive topology, a new, richer approach to constructive topology based on a dynamic vision of the nature of mathematics. He was the first president of the Italian Association of Logic and its Applications (AILA).