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.

You can add yourself to the author workgroups of your choosing. They will show up just below. To do that, just go to CZ:Discipline Workgroups and follow the directions.
You can remove this template message (it will look like {{czcategories}} when you edit this page) whenever you no longer need it.