Wednesday, September 16, 2015

Fortune Quote #1141

In each case the middle identity follows from the inductive hypothesis.
Proofs like these we call "one-line proofs" even when the "line" is too
long for our page. -- John H. Conway
Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)