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

I'm not sure everything you're talking about, but it's relatively easy to reason about constructive logic by abandoning the idea that your logic is one of "truth and falsehood"—which are, by modern, western intuition mutually exclusive options—but instead one concerning evidence.

One might believe that the Collatz conjecture is true or false, but we certainly lack evidence for either case today. This isn't exactly three value logic, but instead something else. A logic which incorporates the notion of time and communication of proof.



> which incorporates the notion of time and communication of proof.

Certainly constructive logics (typically) incorporate a notion of evidence/proof. But constructive logics don't incorporate notions of time or communication (of proof, or in general).


Yeah, to be clear, those notions aren't internalized... they just bring into clarity the need for those processes to happen in the meta level.




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

Search: