Every once in a while I look at a Putnam exam and wonder a) how you solve any of the problems and b) why anyone would care about any of them
@Meaningness You don't hear about important new results because most of them can't really be communicated to nonspecialists.
-
-
@St_Rev If machine theorem proving worked, it might do that… but it doesn’t. -
@Meaningness Symbolic computational systems are still very helpful. -
@St_Rev Yeah, that algebra system you used seems really cool. Nothing like that existed when I was doing math. Except Macsyma.
End of conversation
New conversation -
-
-
@St_Rev Science gets turned into technology, which means you don’t have to understand it to use it, so it doesn’t have this problem so much. -
This Tweet is unavailable
-
New conversation -
-
-
@St_Rev Crackpotting onward, the solution would seem to be ways to condense masses of math into routine tech so you didn’t need to learn it.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.
. Banned in Sweden. SubGenius, Zhuangist, white-hat troll. Defrocked mathematician. Brain problems.