FOM: Re: constructive mathematics

Ayan Mahalanobis ayanm at
Sat May 27 03:05:07 EDT 2000

One thing may be worth pointing out, that constructive mathematics
(Bishop's style which I understand is the topic of current discussion) is
currently seen as working with
Intuitionistic logic. I guess this goes against any subjectivism in
constructive mathematics.


More information about the FOM mailing list