SØG - mellem flere end 8 millioner bøger:
Viser: Positive Topology - A New Practice in Constructive Mathematics
Positive Topology Vital Source e-bog
Giovanni Sambin
(2025)
Positive Topology Vital Source e-bog
Giovanni Sambin
(2025)
Positive Topology Vital Source e-bog
Giovanni Sambin
(2025)
Positive Topology
A New Practice in Constructive Mathematics
Giovanni Sambin
(2025)
om ca. 15 hverdage
Detaljer om varen
- 1. Udgave
- Vital Source searchable e-book (Fixed pages)
- Udgiver: Oxford University Press (Oktober 2025)
- ISBN: 9780191552670
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.
Online udgaven er tilgængelig: 5 år fra købsdato.
Offline udgaven er tilgængelig: ubegrænset dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Detaljer om varen
- 1. Udgave
- Vital Source 180 day rentals (fixed pages)
- Udgiver: Oxford University Press (Oktober 2025)
- ISBN: 9780191552670R180
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.
Online udgaven er tilgængelig: 180 dage fra købsdato.
Offline udgaven er tilgængelig: 180 dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Detaljer om varen
- 1. Udgave
- Vital Source 365 day rentals (fixed pages)
- Udgiver: Oxford University Press (Oktober 2025)
- ISBN: 9780191552670R365
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.
Online udgaven er tilgængelig: 365 dage fra købsdato.
Offline udgaven er tilgængelig: 365 dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Detaljer om varen
- Hardback: 624 sider
- Udgiver: Oxford University Press (Oktober 2025)
- ISBN: 9780199232888
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.
Handler du som firma
Forretningsbetingelser
Porto og forsendelse
Data & cookiepolitik
FAQ for studerende
Pensumlistegaranti
Sortiment og levering
Kompendier(for undervisere)
Tlf 77 42 43 44 - email poly@polyteknisk.dk - CVR 34072655 - Sydbank Reg: 6748 Konto 0001107927