3 ms·
OK, but has anyone managed to construct the real numbers with intuitionist logic? Maybe different logics are like different building materials, each with their
by astrofinch 16y ago
OK, but has anyone managed to construct the real numbers with intuitionist logic? Maybe different logics are like different building materials, each with their own advantages and disadvantages.
- sid0 16y ago> OK, but has anyone managed to construct the real numbers with intuitionist logic? I think it should be possible to do so. As long as you don't need the law of the excluded middle you should be fine. > Maybe different logics are like different building materials, each with their own advantages and disadvantages. I see where you're coming from, but I think logic is more than just a tool.