Author: Ralph E. Kenyon, Jr. (diogenes)
Tuesday, January 16, 2007  12:13 am

"Rigor" appears to be a "dead metaphor" (Lakoff) for "stiffness", so the connection to "rigor mortis" is dead stiff.

Author: Ralph E. Kenyon, Jr. (diogenes)
Tuesday, January 16, 2007  06:05 pm

A proof or argument is "rigorous" if it can be represented as a sequence of small steps where every step proceeds directly from previous steps (or from an assumption) using specific valid rules of inference  provided that the set of assumptions is minimal (mutually independent) and consistent.
