Hacker News new | ask | show | jobs
by zeroonetwothree 243 days ago
Notably, those true statements can be proven in a higher level mathematical system. So why wouldn’t we say that humans are likewise operating in a certain system ourselves and likewise we have true statements that we can’t prove. We just wouldn’t be aware of them.
1 comments

>likewise we have true statements that we can’t prove

Yes, and "can't" as in it is absolutely impossible. Not that we simple haven't been able to due to information or tech constraints.

Which is an interesting implication. That there are (or may be) things that are true which cannot be proved. I guess it kinda defies an instinct I have that at least in theory, everything that is true is provable.