News for hackers. Stuff that matters.

A comment on For natural theologians, proving God was beside the point. Parent comment

Re:For natural theologians, proving God was beside the point by galaxyLogic on Wednesday June 22, 2022 @09:10PM (#31843985)
No I don't believe any axioms and theorems should be infinitely long. If they were then there would not be enough time for us to understand them, or even read them through. Theorems which nobody can understand would not be useful for anything.
[ Parent | on HN ]
Re:For natural theologians, proving God was beside the point by zzzzzzzza on Saturday June 25, 2022 @08:11PM (#31879837)
that's cuz we are computationally equivalent to a turing machine.
[ Parent | on HN ]