Booktopia has been placed into Voluntary Administration. Orders have been temporarily suspended, whilst the process for the recapitalisation of Booktopia and/or sale of its business is completed, following which services may be re-established. All enquiries from creditors, including customers with outstanding gift cards and orders and placed prior to 3 July 2024, please visit https://www.mcgrathnicol.com/creditors/booktopia-group/
Add free shipping to your order with these great books
Positive Topology A New Practice in Constructive Mathematics : A New Practice in Constructive Mathematics - Giovanni Sambin

Positive Topology A New Practice in Constructive Mathematics

A New Practice in Constructive Mathematics

By: Giovanni Sambin

Hardcover | 17 July 2024

Sorry, we are not able to source the book you are looking for right now.

We did a search for other books with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your book.

Aimed at researchers in mathematics, philosophy and logic, this book provides the first organic exposition of dynamic constructivism and the mathematics ensuing in practice, including discussion of the technical development of the field and outlining the philosophical and methodological motivations underlying the evolution of the discipline.

In dynamic constructivism, mathematics is seen as the result of a dynamic process of interaction between the construction of mathematical entities, by abstraction and by idealization, and their selection according to their efficiency in applications to reality and in the organisation of mathematics itself.

The crucial benefit of this vision is its independence from dogmas and external authorities. A practical consequence is full respect for the diverse areas of mathematics - mainly computation, spatial intuition, deduction, and abstract axiomatic method - without reducing one to another. As a second consequence, a dynamic interaction between different 'epistemological levels' is always active and present, in the development of mathematics in practice, the study of its foundations and its formalisation in a computer language.

More in Philosophy & Logic

The Elements of Reasoning : 7th Edition - Andrew Black

RRP $147.95

$70.35

52%
OFF
The Logic of Scientific Discovery : Routledge Classics - Karl Popper
Tractatus Logico-Philosophicus - Ludwig Wittgenstein

RRP $20.42

$19.50

Epistemic Principles : A Primer for the Theory of Knowledge - Nicholas Rescher
Logical Investigations : Volume II - Edmund Husserl

RRP $79.99

$69.75

13%
OFF
Plurality of Worlds - David Lewis

RRP $61.95

$42.25

32%
OFF
Tractatus Logico-Philosophicus : Tractatus Logico-Philosophicus - Ludwig Wittgenstein
Critical Thinking : A Students Introduction ISE - Gregory Bassham

RRP $159.95

$72.75

55%
OFF
At Least Know This : Essential Science to Enhance Your Life - Guy P. Harrison
The Art of Logic in an Illogical World - Eugenia Cheng
Aristotle's Organon in Old and New Logic : 1800-1950 - Colin Guthrie King

RRP $170.00

$104.75

38%
OFF
Metaphysics of Nature in Kant's Opus Postumum - Terrence Thomson

RRP $170.00

$104.75

38%
OFF