Turing Principle and Godel's Incompleteness Theorem
In the Fabric of Reality, @DavidDeutschOxf explains that since the incompleteness theorem shows that no single program can prove all of math, unique modes of explanations must be crafted to create new mathematical knowledge ...
-
-
What is "constructive mathematics"? Is it a specific field, or something not yet really in fashion?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.