| |
| |
PlanetMath: WLOG |
 | | WLOG is invoked in situations where some property of a model or system is invariant under the particular choice of instance attributes, but for the sake of demonstration, these attributes must be fixed. |
| | WLOG can also be invoked to shorten proofs where there are a number of choices of configuration, but the proof is “the same” for each of them. |
| | For example, the proof of the fundamental theorem of arithmetic uses this notion, in essence settling on a “canonical form” for prime factorizations to simplify the argument. |
| planetmath.org /encyclopedia/WOLOG.html (257 words) |
|
