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/ …
-
-
(I should say that computer proof systems are occasionally useful for computer system verification. It’s “real math” that they aren’t (yet) useable for.)
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Ask me about the history of "mind mapping" / "concept mapping" / "network mapping" tools. Basically all of these have failed because... a) most people don't need to think that way for most tasks b) when they do, a whiteboard works extremely well
-
Yes I’ve always been baffled by those for just that reason. Some people claim to find them helpful though
- 1 more reply
New conversation -
-
-
This is just "skin in the game" no?
-
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."
End of conversation
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.