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
@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 -
-
-
@Meaningness e.g. my dissertation work was 2 years of looking for something interesting computationally & 2 years of paper proof.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.