Jump to content

Boberto

New Members
  • Posts

    1
  • Joined

  • Last visited

Everything posted by Boberto

  1. Yes, Godel's proof does assert that truth and proof are not equivalent, however proven theorems are still a subset of true theorems. In other words, all theorems that can be proven are true, but not all true theorems can be proven. Similarly, all squares are rectangles, but not all rectangles are squares.
×
×
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.