Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

exercise, left as an

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.

[Jargon File]

(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

©2018 Martin Webb