You are here: irt.org | FOLDOC | exercise, left as an
Used to complete a proof in technical books when one doesn't mind a handwave, or to avoid one entirely. The complete phrase is: "The proof [or "the rest"] is left as an exercise for the reader." This comment *has* occasionally been attached to unsolved research problems by authors possessed of either an evil sense of humour or a vast faith in the capabilities of their audiences.
(1995-02-20)
Nearby terms: execution « executive « Executive Systems Programming Oriented Language « exercise, left as an » exhaustive testing » existence proof » existential quantifier
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL