The HR program (ATF) makes discoveries. Interesting discoveries are hard to prove ... Jurgen Zimmer, Alan Bundy et Al. Lawvere's Conceptual Mathematics. Alan Smaill ...
The material will try to cover ideas of primality (how do we determine ... If a | b, then either |a| |b| or b = 0. This implies that a | b and b | a = a = b. ...