Mathematical intuitionism

Mathematical intuitionism

by Posy, Carl J.

Type Book
Rate 0.0 /5

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 analys…

Read More ↓
Details
Files
Reviews
Download

Title Statements

  • Full title :Mathematical intuitionism / Carl J. Posy.

Summary

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.

Read More ↓

Edition Statements

  • Publication Date:2020.

Publication Statements

The Physical Object

  • Description:1 online resource.

Edition Identifiers

  • ISBN:9781108593250, 1108593259
  • oclc:on1203023740
  • LC Classification:QA8.4
  • Dewey Decimal:511.36

Subjects

Intuitionistic mathematics Mathématiques intuitionnistes

Writers

Posy, Carl J.

More from this Series

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

No downloadable files are registered for this work yet.

Log in to request a copy