Thursday, May 6, 2010

3.1-3.2, due on May 6

(Difficult)
Another long section with a lot of theorems. Due to the section's rigor, the proofs all relied on the axioms for commutative rings with identity, integral domains, and fields. The most difficult part of this section will probably be the need to internalize the axioms so they can be used offhand.

(Reflective)
While rigor is difficult, it's a great exercise in developing a system from the ground up. It will be interesting and useful to be along for the ride.

No comments:

Post a Comment