...I only lost a fraction of a point on a midterm for not citing a theorem from lecture; otherwise, I would have gotten perfect score in the class. I love constructing formal proofs using a first order language and predicate calculus. Deducing that a statement is true as a consequence of the rules of inference applied to a set of axioms is most entertaining. (read more)
I am retired after 31 years working in 18 countries on five continents. Now I am teaching part-time at two colleges. I have considerable experience tutoring, teaching an ACT prep class for both math and science, and coaching students in passing the GMAT. (read more)