The difficulty in keeping an airtight seal in proofs is nothing new (for a particularly egregious recent-ish example, see https://arxiv.org/abs/0709.1291 , though there are plenty of others, perhaps not as prominent...). Trying to address it with computers is also not so new (Voevodsky)https://twitter.com/plusmathsorg/status/1108034721123106816 …
-
-
Someone that smart (and, I suspect, a native speaker of English) could really make the tiny effort to use nonsexist language. So long as he calls it manpower, I assume it's not relevant to me.
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.