News for hackers. Stuff that matters.
Re:We don't know how the universe began, and we will never know by coldtea on Saturday August 27, 2022 @01:22PM (#32621129)
>On the surface, it implies the limits of our knowledge while simultaneously indicating that the author possesses the omnipotence required to know what humans will learn throughout the entirety of our future

That's no contradiction though.

A contradiction would be "I know everything about X" and at the same time "There's a limit to our knowledge of X".

It's no contradiction to claim that there are limits to our knowledge but still claim to absolutely know Y about Z.

In other words, the idea that "there are limits to our knowledge" is not incompatible with the idea that we fully know this or that. You just mean that those limits only apply to other things.

(Heck, in math we can even prove that some things can never be proven, thus both implying limits to our knowledge and that we know something with 100% certainty).

Re:We don't know how the universe began, and we will never know by bumbledraven on Saturday August 27, 2022 @01:38PM (#32621266)
> in math we can even prove that some things can never be proven

No we can't. We can only prove that certain formal systems cannot resolve certain statements. We might still invent other formal systems that are acceptable to us and that can resolve those statements.

Re:We don't know how the universe began, and we will never know by coldtea on Saturday August 27, 2022 @02:08PM (#32621548)
>We might still invent other formal systems that are acceptable to us and that can resolve those statements.

That's irrelevant, though, because a mathematical proof or a statement X is considered in the context of a specific formal system (and any isomorphic system).

Proving that S can't be proven under formal system F will always be true regardless if you are able to prove the same statement in the formal system Z.

For example, you can't say "I just disproved that triangle angles add to 180 degrees" just because you've proved they add to more than 180 degrees under a non-flat surface or non-Euclidean geometry.

People saying "triangle angles add to 180 degrees" implicitly already mean "under Euclidean geometry and in a flat plane". It's just left implied, because it's goes without saying that they mean it within the system they expressed the problem and did the proof in.

Re:We don't know how the universe began, and we will never know by lanstin on Saturday August 27, 2022 @04:28PM (#32622865)
And for those other systems, iF they embed arithmetic, we can effectively produce a statement that is visibly true and which that other system cannot prove.