4 ms·
Your statement of the incompleteness theorem isn't right, and the general axiom of choice isn't accepted by constructivist mathematicians. So I think your last
by mej10 13y ago
Your statement of the incompleteness theorem isn't right, and the general axiom of choice isn't accepted by constructivist mathematicians. So I think your last statement is true.
Some of the greatest mathematicians of the era were working toward what Godel's incompleteness theorems proved was impossible. That alone should make you distrust your "intuition" on the matter.
- igravious 13y agoIn fairness a lot of mathematics isn't accepted by constructivist mathematicians god bless their little socks. I kind of feel that Brouwer showed mathematicians the way forward and none of them took it. Unfortunately I don't have the formal chops for the discipline so I can only look on from the sidelines and cheer for my team.