L. E. J. Brouwer, the founder of mathematical intuitionism,
believed that mathematics and its objects must be humanly
graspable. He initiated a program rebuilding modern mathematics
according to that principle. This book introduces the reader to the
mathematical core of intuitionism - from elementary number theory
through to Brouwer's uniform continuity theorem - and to the two
central topics of 'formalized intuitionism': formal intuitionistic
logic, and formal systems for intuitionistic analysis. Building on
that, the book proposes a systematic, philosophical foundation for
intuitionism that weaves together doctrines about human grasp,
mathematical objects and mathematical truth.
General
Imprint: |
Cambridge UniversityPress
|
Country of origin: |
United Kingdom |
Series: |
Elements in the Philosophy of Mathematics |
Release date: |
November 2020 |
Authors: |
Carl J. Posy
|
Dimensions: |
228 x 151 x 7mm (L x W x T) |
Format: |
Paperback - Trade
|
Pages: |
75 |
ISBN-13: |
978-1-108-72302-2 |
Categories: |
Books >
Science & Mathematics >
Mathematics >
Philosophy of mathematics
|
LSN: |
1-108-72302-0 |
Barcode: |
9781108723022 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!