000			01333nam a22002177a 4500
003			JGU
005			20230508151018.0
008			230508b |||||||| |||| 00| 0 eng d
020			_a9781108723022 _qpbk.
040			_beng _cJGU
041			_aeng
100			_aPosy, Carl J, _91639642 _eauthor
245			_aMathematical intuitionism / _cCarl J. Posy.
260			_aUnited Kingdom : _bCambridge University Press, _c2020.
520			_a"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
650			_aIntuitionistic mathematics _9203346
650			_amathematical core of intuitionism _91640281
999			_c3054305 _d3054305