many thanks to Andrej Bauer

40 views

Skip to first unread message

Kreinovich, Vladik

unread,

Jun 23, 2017, 8:23:05 PM6/23/17

to construc...@googlegroups.com, Andrej...@andrej.com, Andrej...@fmf.uni-lj.si

Many thanks to Andrej Bauer for his paper “Five Stages of Accepting Constructive Mathematics” published in the last Bulletin of American Mathematical Society, this paper promotes constructive math to the general math community, it is available at http://www.ams.org/journals/bull/2017-54-03/S0273-0979-2016-01556-4/S0273-0979-2016-01556-4.pdf

Bhupinder Singh Anand

unread,

Jun 23, 2017, 10:31:26 PM6/23/17

to construc...@googlegroups.com, Andrej...@andrej.com, Andrej...@fmf.uni-lj.si, Kreinovich, Vladik

Yes, indeed. Bauer must be commended on a significant, novel and remarkably candid, psychological approach to the understanding of constructive mathematics. Particularly if it inspires (see link below) dialogue inviting a fresh, post-computationalist and evidence-based, approach towards reconciling the, seemingly contradictory, classical and constructive perspectives of fundamental mathematical concepts and beliefs.

https://www.dropbox.com/s/bpz3p1yzwg503vb/39_Three_Perspectives_of_FOL_Update.pdf?dl=0

Bhupinder Singh Anand

Mumbai

======================

Reply all

Reply to author

Forward

0 new messages