3MF

My computer did my homework

My abstract algebra class has been a lot of fun. I can't even remember the last time we multiplied actual numbers together; for the past few weeks it has been all letters. And it hadn't even been "unusal" multiplication at that; it's been multiplication-sub-R, -sub-S or some other silly subscript. I've enjoyed it so much i'm trying to figure if it makes sense to go full time with the intention of applying to grad school after i get my BS. It would be a nice change from web pages.

I have come to accept that fact that i won't be able to get away from the computer completely. It seems that they are now using computers to generate those proofs that we've been working so hard on all semester. It sounds like pretty interesting work and it would be cool to be a part of something like that. I wouldn't want to leave all of the yummy mathematical goodness to the machines, but it would interesting to see how a computer would tackle the stuff we've been working on. Despite what seems like the natural combination of computers and math, some mathematicians are reluctant to accept these computer-generated proof as they may not be as easy to read and understand as a well-crafted human-written one. These are very interesting times for the world of mathematics.