Hacker News Reader

I understand the idea of {} that you talk about, but I don't know how it works in the context of logical reasoning. Can you give examples on how it interacts with the other 4 values under different logical connectives?

View on HN

It does not. I think logic itself is limited. Mathematicians have something where like there's stuff in number theory that's "beyond" any logic system invented (so far), something like Math > Logic, even if intuitively you'd think that math it's based on logic it ends up being the other way around you can end up having algebras deeper than any logic system you'd try to base them on (ask some mathematicians for a better explanations, mine would be wrong) if I understood it well...

I think there's something similar at play in physics and in the real world.

Can only explain with a (likely flawed) computing metaphor: "the value is a pointer that you cannot dereference but opaque sub-systems of your mind can still compute stuff with it (eg. it's not truly unknown)".

If I'd try, I'd say that: there's stuff you can indirectly compute with but can't express logically or communicate in a logical language.

Reply on news.ycombinator.com