Böcker av Carl J. (Hebrew University of Jerusalem) Posy

This book introduces the reader to the mathematical core of intuitionism and to the two central topics of 'formalized intuitionism'. It proposes a systematic philosophical foundation for intuitionism that weaves together doctrines about human grasp, mathematical objects and mathematical truth.