I'm thinking about the use of various proof-assistants as a sort of a cognitive enhancement while doing mathematics, as a way to outsource a part of my cognition related to "bookkeeping" to the machine to allow me to focus on the high-level details. I'll give an example. 1/n
-
-
I agree. I guess my tweet is more about the potential of such things in the (hopefully near) future, but also about the general awareness that these systems automate a part of cognition. Framed in such a way, it seems apparent their research will yield long-term benefit
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.