There appears to be a lot of muddle-headness in online lectures in the sense that the starting points of the proofs are not clear. Given that
Definition #1:
=
, where
and
no valid reason can be given as to why
.
解释 1. 阶乘是全排列数, 零个元素的全排列数是 1。 There is only one way to arrange zero objects. This only gives you a reason to speculate that
should be
, which cannot be deduced from the above definition.
解释 2.
Proof:
Source: 0! = 1 prove in detail.
Comment: Muddleheaded. Starting points are not clear. According to Definition #1, this proof is not valid unless
and
are defined beforehand.
解释 3 .
Proof:
Source: Zero Factorial
Comment: Muddleheaded. Again, relying on Definition #1 alone is inadequate. This proof is not valid unless
, and
is defined beforehand.
解释 4.
Proof:
当
时 ,
(1)
In virtue of the product rule,
(2)
(1).(2)
Source: Proof of 0! = 1.
Comment: Muddleheaded. This proof appears to be valid, but the assumption
is hidden in the proof of the permutation theorem, which is not valid until
is predefined.
结论:
A clever definition goes a long way. It is possible to deduce
from a precise definition of
such that
Definition #2:
Df;
Df, where
In this case,
can be deduced from definition #2, and a separate definition of
is redundant, and
becomes a consequence of definition #2, not a definition itself. The semantics of this definition is that there are two steps to permutate
objects: the first step is to select one out of
and put it in the first slot; the second step is to fill up the remaining
slots. If
is defined by means of permutation, even defining
becomes unnecessary.
Note:
The symbol Df means the expression to the left is a definition.
|