4,494
edits
m (14 revisions imported: Migrate from miraheze) |
|||
Line 28: | Line 28: | ||
:<math>\prod_kf(k)^{[P(k)]} = \prod_{P(k)}f(k).</math> | :<math>\prod_kf(k)^{[P(k)]} = \prod_{P(k)}f(k).</math> | ||
While the Iverson bracket was adopted into mainstream mathematics, it's use has not been very widespread. Donald Knuth has argued strongly for | While the Iverson bracket was adopted into mainstream mathematics, it's use has not been very widespread. Donald Knuth has argued strongly for its wider use. | ||
In APL, the Iverson bracket is implied in all logical propositions, for example <source lang=apl inline>4≥3</source> evaluates to <source lang=apl inline>1</source> and <source lang=apl inline>'hello'≡'world'</source> evaluates to <source lang=apl inline>0</source>. | In APL, the Iverson bracket is implied in all logical propositions, for example <source lang=apl inline>4≥3</source> evaluates to <source lang=apl inline>1</source> and <source lang=apl inline>'hello'≡'world'</source> evaluates to <source lang=apl inline>0</source>. |