Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I would take a look at Andrej Bauer's excellent talk "Stages of Accepting Constructive Mathematics"[0]. Essentially, constructive mathematics is mathematics done without the law of excluded middle ("for all propositions P, either P or not P"). Importantly, it does not necessitate that you deny the law of excluded middle.

Intuitionism (or intuitionistic mathematics) is sometimes used to mean the same thing as constructivism and sometimes refers to Brouwer's[1] practice of denying excluded middle by introducing an axiom along the lines of "all functions are computable" or "all functions are continuous" (which from some perspectives is almost the same thing).

[0]: https://www.youtube.com/watch?v=zmhd8clDd_Y [1]: https://en.wikipedia.org/wiki/L._E._J._Brouwer



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: