this post was submitted on 31 Oct 2025
        
      
      270 points (86.1% liked)
      science
    22331 readers
  
      
      346 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.