Piper: And this is the fun about mathematics: all the calculations. Piper: Some of you like all the conceptual stuff, like spending three days proving 1 = 1.
// Monday, January 14: Schwartz runs a snow day class for functions Assignment: ... justify each step! Jeffrey: *creates two-column construction for his solution* Phillip: What is this, an axiomatic proof? Schwartz: *sees solution* Schwartz: *inserts meme onto document: "Is this a [axiomatic proof]?"*
//Discussing proof styles Rose: You can do whatever you want, you can use a two-column proof, affine proof, you can shear your dog's fur so the proof is written on it, whatever.
James Hill: Oh a proof? I ain't got that sort of free time. It'd be badass if Wolfram could generate proofs.