this post was submitted on 31 Oct 2025
253 points (87.3% liked)
science
22303 readers
372 users here now
A community to post scientific articles, news, and civil discussion.
rule #1: be kind
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Sure, but that's not what 'complete' means in the context of gödel's incompleteness theorems. It means 'being able to prove all true statements'.
And I really don't see why that matters - for example an NES emulator doesn't know what a Mario is, or what a jump is, but it's still true that when certain games are running, most of the time pressing one of the buttons on the controller makes Mario jump.