Mathematical intuitionism / Carl J. Posy.

By:

Posy, Carl J [author]

Material type: Text

TextLanguage: English Publication details: United Kingdom : Cambridge University Press, 2020.ISBN:

9781108723022

Subject(s):

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."--Intuitionistic mathematics

Item type:

Tags from this library: No tags from this library for this title.

Holdings
Item type	Home library	Collection	Call number	Status	Date due	Barcode
Print	OPJGU Sonepat- Campus Main Library	General Books	511.36 PO-M (Browse shelf(Opens below))	Available		149308

"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."--Intuitionistic mathematics

There are no comments on this title.

to post a comment.