"At the time of Brouwer’s death it appeared that your choices were:
(1) accept Brouwer’s theories, give up most of mathematics and give up talking to most mathematicians; or
(2) accept Church’s thesis, give up analysis and give up talking to most mathematicians; or
(3) reject constructive mathematics entirely.
This was not a difficult choice for most mathematicians;" (Constructivity, Computability, and the Continuum, Michael Beeson)
(1) accept Brouwer’s theories, give up most of mathematics and give up talking to most mathematicians; or
(2) accept Church’s thesis, give up analysis and give up talking to most mathematicians; or
(3) reject constructive mathematics entirely.
This was not a difficult choice for most mathematicians;" (Constructivity, Computability, and the Continuum, Michael Beeson)
No comments:
Post a Comment