The dogma that mathematical proofs could, in principle, be turned into logical proofs remains a conjecture; it is not feasible in practice. Existing proof systems are not up to the job; can they be beefed up sufficiently? Research community disconnect!https://xenaproject.wordpress.com/2020/02/09/where-is-the-fashionable-mathematics/ …
-
-
The question, again and again, is not "how can we reason this from first principles" but "what filters bring the most correct/useful result to the top."
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.