Mathematical IntuitionismCambridge University Press, 12 nov 2020 - 224 páginas 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. |
Otras ediciones - Ver todo
Mathematical Intuitionism: Introduction to Proof Theory Al'bert Grigor'evi_ Dragalin Vista previa restringida - 1988 |
Mathematical Intuitionism: Introduction to Proof Theory Al'bert Grigor'evič Dragalin No hay ninguna vista previa disponible - 1979 |
Mathematical Intuitionism: Introduction to Proof Theory: Introduction to ... Al'bert Grigor'evi_ Dragalin No hay ninguna vista previa disponible - 1988 |
Términos y frases comunes
admissible analysis argument arithmetic assert Assign assume axioms Brouwer calculation called choice sequences claims classical closed codes complete construction continuous continuum creating subject crng decidable decimal define determined discipline distinct domain elements equivalence example existence extends fact fan theorem Figure finite follows formal systems formalised function give given grasp Heyting Hilbert holds identity indeterminacy induction inferences infinite initial instance interval intuitionism intuitionistic logic intuitionistic mathematics intuitive grasp ips’s language lawless logic mathematical meaning natural numbers node notion objects operations particular philosophy possible principle problem programme proof properties prove provides rational numbers real numbers recursive reflection relation rule segment semantics simply species spread standpoint step structure takes theory things truth University values Þ¼