| 释义 |
Leibni(t)z Philos.|ˈlaɪbnɪts|
[Name of the German philosopher and mathematician: see Leibnitzian a. and n.]
Leibniz'(s) law: the principle of the identity of indiscernibles (see indiscernible n. 2).
Leibniz is now the more usual spelling.
1941O. Helmer tr. Tarski's Introd. Logic §17. 55, x = y if, and only if, x has every property which y has, and y has every property which x has... [This] was first stated by Leibniz..and hence may be called Leibniz's law. 1965Philos. Rev. LXXIV. 341 Physicalism violates Leibniz' law, which requires that if two things are identical they have all their non-intensional and nonmodal properties in common. 1968Aristotelian Soc. Suppl. Vol. XLII. 99 Let us consider Leibniz's law firstly as a principle about the identity of individuals.
Also Leibnitz. Add: Leibniz('s) theorem Math., the theorem that the nth derivative of a product of two functions may be expressed as a sum of products of the derivatives of the individual functions, the coefficients being the same as those occurring in the binomial theorem.
1852B. Price Treat. Infinitesimal Calculus I. iii. 85 The following theorem, due to Leibnitz, and commonly called Leibnitz's Theorem, may be conveniently employed to find the general (the rth) derived-function of a product of two functions of x. 1965Math. Gaz. XLIX. 49 The derivation involved a generalized form of Leibniz's theorem. 1967Math. Rev. XXXIII. 675/1 The Leibniz theorem referred to in the title is Wilson's theorem in the form (p - 2)! {b3} 1 (mod p) . |