nLab
exercise

An exercise is for the reader to fill in, in private. The reader may seek help from whomever, but the idea is to practise. A great many exercises have been publicly solved, and a great many theorems have not, thus confusing which are which, though it’s generally good practice to treat them all as exercises and ignore published proofs, within the constraints of available time and balancing of competing priorities.

When a proposition is called an exercise, this means at least that the omission of a proof is deliberate (or that its inclusion is accidental), but the author is confident of being able to produce one, given enough patience.

category: meta

Revised on December 20, 2012 22:02:29 by Toby Bartels (98.19.38.141)