I am a software engineer / systems analyst in real life. I love to code. Alumni of The University of Utah - Department of Mathematics (MS). I have a deep and abiding interest in the Foundations of Mathematics and its various subfields, especially discrete mathematics, abstract algebra, the foundations of analysis, and point set topology. I think Primitive Recursive Arithmetic is pretty neat. I love mathematics as a language to converse in and think with and as a way to formulate questions, if not always answer them. I play a lot of chess. Former display name "Thoralf Skolem".