User:Nathan Bloomfield

I am a 4th year undergraduate student in Springfield, Missouri, USA. I study math with a minor in physics and half a minor in computer science. I intend to earn a terminal degree in either mathematics or computer science (not yet sure) and I hope to eventually become a university professor. Right now I'm leaning toward artificial intelligence; about 3 years ago I really got turned on to formal languages and automated theorem proving. I've been told that there's nothing left to learn about ATP, but I say as long as there are open problems, we don't know everything there is to know about ATP (Godel's Incompleteness notwithstanding.) I also tend to think a lot about questions like `what is math?' and `why is math useful?' and other things that noone gets paid for. :(

I am also a very enthusiastic and inexperienced user of Lisp, an evangelist of LaTeX, and an avid listener of chip style music.