The Game of Go has been explored for 2500 years and resulted in a body of theories that Go masters study in Go schools. Alpha Go discovered that human Go understanding was caught in a local optimum, and broke out of it. The game of modern physics started only 130 years ago...
Using non formal language is a problem when your underlying formalization is not clear. For instance, you cannot just throw the term "non-computable" problem around if you don't have a computable notion of its meaning. It just increases confusion.
-
-
what happens when your underlying formalizations is clear, but you cannot prove it is consistent?
-
If your formalization concerns a system that can actually be implemented, it will always have to be consistent. Our universe must arguably be implemented somehow, so a clear formalization of physics must be provably non contradictory.
- 3 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.