£49.99

Intensional Mathematics

Subjects

Price data last checked 11 day(s) ago - will refresh soon

View at Amazon

Price History & Forecast

Last 80 days • 80 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 80 days • 1 price levels

Days at Price

Price Analysis

Most common price: £50 (80 days, 100.0%)

Price range: £50 - £50

Price levels: 1 different prices over 80 days

Description

Platonism and intuitionism are rival philosophies of Mathematics, the former holding that the subject matter of mathematics consists of abstract objects whose existence is independent of the mathematician, the latter that the subject matter consists of mental construction . . . both views are implicitly opposed to materialistic accounts of mathematics which take the subject matter of mathematics to consist (in a direct way) of material objects . . . FROM THE INTRODUCTION Among the aims of this book are: - The discussion of some important philosophical issues using the precision of mathematics. - The development of formal systems that contain both classical and constructive components. This allows the study of constructivity in otherwise classical contexts and represents the formalization of important intensional aspects of mathematical practice. - The direct formalization of intensional concepts (such as computability) in a mixed constructive/classical context.

Product Specifications

Format: paperback
ASIN: 0444557989
Category: Books > Subjects
Domain: Amazon UK
Release Date: 23 April 2012
Listed Since: 21 October 2011

Barcode

No barcode data available

Intensional Mathematics

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

North Holland - Philosophy of Mathematics Book

North Holland Philosophy of Mathematics - Handbook of Science

Springer Mathematical Intuition: Phenomenology and Knowledge

Autonomy Platonism and the Indispensability Argument

Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics: 42 (Logic, Epistemology, and the Unity of Science, 42)

Introducing Philosophy of Mathematics

Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)

Truth, Proof and Infinity: A Theory of Constructive Reasoning: 276 (Synthese Library, 276)

Philosophy of Mathematics: Classic and Contemporary Studies (Textbooks in Mathematics)

Springer - A Short Introduction to Intuitionistic Logic Book

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Constructivism in Mathematics, Vol 1 (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)

Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science, 27)

A Short Introduction to Intuitionistic Logic (University Series in Mathematics)

Foundations of Constructive Mathematics: Metamathematical Studies: 6 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, 6)

Objectivity, Realism, and Proof: FilMat Studies in the Philosophy of Mathematics: 318 (Boston Studies in the Philosophy and History of Science, 318)

Problems about the Axiom of Choice: In Defense of Platonic Realism in Mathematics

Mathematics and Its Applications: A Transcendental-Idealist Perspective: 385 (Synthese Library, 385)

Naturalism in Mathematics

Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics: 334 (Boston Studies in the Philosophy and History of Science, 334)

Meaning and Existence in Mathematics: 9 (LEP Library of Exact Philosophy, 9)

Mathematical Logic with Special Reference to the Natural Numbers

A Mathematical Bridge: An Intuitive Journey in Higher Mathematics

MATHEMATICS AND SCIENTIFIC REPRESENTATION (Oxford Studies in Philosophy of Science)