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/ …
Yes I’ve always been baffled by those for just that reason. Some people claim to find them helpful though
-
-
Network diagrams, where nodes are real-world entities rather than ideas, do have niche use in complex investigative processes, which I wrote a paper about...https://drive.google.com/file/d/0B8CcT_0LwJ8QMzFjTWxLSFVkVTg/view …
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.