透過您的圖書館登入
IP:18.191.135.224
  • 期刊

書評:恩里科.馬蒂諾,《直覺主義證明與經典真值:布勞威爾的構造性主體在直覺主義數學中的作用》

Enrico Martino, Intuitionistic Proof Versus Classical Truth: The Role of Brouwer's Creative Subject in Intuitionistic Mathematics

參考文獻


Brouwer, L. “Pionts and Spaces Canadian,” Journal of Mathematics.6(1954): 1-17.
Heyting, A. Intuitionism: An Introduction. Amsterdam: North-Holland Publishing Company, 1965.
Martino, Enrico. Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics. Cham, Switerland: Springer, 2017.
Troelstra, A., & D. van Dalen. Constructivism in Mathematics. Amsterdam: North-Holland Publishing Company, 1988.

延伸閱讀