3 ms·
I always try to to find some ELI5 but haven't found one yet. ELI5 won't be accurate but it's better than nothing. Here's my version. I know it's terrible but I
by jjcc 5y ago
I always try to to find some ELI5 but haven't found one yet. ELI5 won't be accurate but it's better than nothing.
Here's my version. I know it's terrible but I wish it could trigger better versions from smarter HNers. Hopefully the ELI5 can evolve.
....Long time ago, in the Game Kingdom, people play games by rules called game law deduced by a basic meta law called Game Constitution. Most of time players play by game law.
However not all judgment can be easily made following this principle. Some time 2 players would arguing like this:
Group A: What you are doing is wrong so it is violating game law.
Group B: Your blame is wrong. So your act of blaming violates game law.
It ended up with conflicts. Too groups were firing rockets and air raiding with each other.
To solve the contradictory, the Game Kingdom invited a group of alien higher order players to form a United Game Nation to make judgment about which claim is true or false.
However as the high order players joined the new expanded Game Kingdom, there are conflicts again as before with the exact same reason. Now a new higher order United Game Nation needs to set up. But it will create new conflicts again and on and on
....
- ProfHewitt 5y agoIncompleteness in foundations is not exactly analogous to your game. The proposition MyTheoremsAreEnumerable is true but unprovable. Adding MyTheoremsAreEnumerable to a foundational theory makes the theory inconsistent.
- jjcc 5y ago>is not exactly analogous Yes, I know as I already mentioned. That's why I wish somebody smarter than me can do it more accurately by putting the concepts such as "MytheoreumsAreEnumerable" into a better ELI5 way.