Positive Topology Image close
Positive Topology on Hardback by Giovanni Sambin
Positive Topology on Hardback by Giovanni Sambin
Show Hide Adult Content
Positive Topology close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Humanities  
Philosophy  
Topics in philosophy  
Logic

Positive Topology

A New Practice in Constructive Mathematics
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$321.99
Releases

Pre-order to reserve stock from our first shipment. Your credit card will not be charged until your order is ready to ship.

Available for pre-order now
0 in Trolley

Buy Now, Pay Later with:

4 payments of $80.50 with Afterpay Learn more

Pre-order Price Guarantee

If you pre-order an item and the price drops before the release date, you'll pay the lowest price. This happens automatically when you pre-order and pay by credit card.

If paying by PayPal, Afterpay, Zip or internet banking, and the price drops after you have paid, you can ask for the difference to be refunded.

If Mighty Ape's price changes before release, you'll pay the lowest price.

Availability

This product will be released on

Delivering to:

It should arrive:

  • 22-29 August using International Courier

Explore more Oxford Logic Guides

See all products in this series

Category Theory by Steve Awodey
$157.99
Category Theory
by Steve Awodey ~ Paperback / softback
Available - Usually ships in 2-3 weeks
Sketches of an Elephant: A Topos Theory Compendium on Hardback by Peter T. Johnstone
$941.99
Sketches of an Elephant: A Topos Theory Compendium
by Peter T. Johnstone ~ Hardback
Available - Usually ships in 2-3 weeks
Set Theory by John L. Bell
$160.99
Set Theory
by John L. Bell ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Fibring Logics on Hardback by Dov M Gabbay
$393.99
Fibring Logics
by Dov M Gabbay ~ Hardback
Available - Usually ships in 3-4 weeks
Algebraic Methods in Philosophical Logic on Hardback by J.Michael Dunn
$617.99
Algebraic Methods in Philosophical Logic
by J.Michael Dunn ~ Hardback
Available - Usually ships in 3-4 weeks
Model Theory on Hardback by Maria Manzano
$612.99
Model Theory
by Maria Manzano ~ Hardback
Available - Usually ships in 3-4 weeks
Gödel's Incompleteness Theorems on Hardback by Raymond M Smullyan
$957.99
Gödel's Incompleteness Theorems
by Raymond M Smullyan ~ Hardback
Available - Usually ships in 3-4 weeks
The Structure of Models of Peano Arithmetic on Hardback by Roman Kossak
$463.99
The Structure of Models of Peano Arithmetic
by Roman Kossak ~ Hardback
Available - Usually ships in 3-4 weeks
Introduction to Logic and to the Methodology of Deductive Sciences on Hardback by Alfred Tarski
$959.99
Introduction to Logic and to the Methodology of Deductive Sciences
by Alfred Tarski ~ Hardback
Available - Usually ships in 3-4 weeks
Twenty Five Years of Constructive Type Theory on Hardback by Giovanni Sambin
$312.99
Twenty Five Years of Constructive Type Theory
by Giovanni Sambin ~ Hardback
Available - Usually ships in 3-4 weeks
Interpolation and Definability on Hardback by Dov M Gabbay
$606.99
Interpolation and Definability
by Dov M Gabbay ~ Hardback
Available - Usually ships in 3-4 weeks
Reductive Logic and Proof-search on Hardback by David J Pym
$523.99
Reductive Logic and Proof-search
by David J Pym ~ Hardback
Available - Usually ships in 3-4 weeks
Geometric Stability Theory on Hardback by Anand Pillay
$439.99
Geometric Stability Theory
by Anand Pillay ~ Hardback
Available - Usually ships in 3-4 weeks
Change, Choice and Inference on Hardback by Hans Rott
$615.99
Change, Choice and Inference
by Hans Rott ~ Hardback
Available - Usually ships in 3-4 weeks
Groups of Finite Morley Rank on Hardback by Alexandre Borovik
$566.99
Groups of Finite Morley Rank
by Alexandre Borovik ~ Hardback
Available - Usually ships in 3-4 weeks
Many-Valued Logics on Hardback by Grzegorz Malinowski
$408.99
Many-Valued Logics
by Grzegorz Malinowski ~ Hardback
Available - Usually ships in 3-4 weeks

Description

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.

Author Biography:

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).
Release date Australia
August 15th, 2024
Audience
  • Professional & Vocational
Pages
624
Dimensions
3x3x3
ISBN-13
9780199232888
Product ID
2705568

Customer previews

Nobody has previewed this product yet. You could be the first!

Write a Preview

Explore more by Giovanni Sambin

See all books by this author

Twenty Five Years of Constructive Type Theory on Hardback by Giovanni Sambin
$312.99
Twenty Five Years of Constructive Type Theory
by Giovanni Sambin ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Humanities >
Philosophy >
Topics in philosophy >
Logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Topology
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Topology >
Algebraic topology
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: logic
Books >
Computers & Internet >
Graphical & digital media applications >
3D graphics & modelling