Ken Iverson: Difference between revisions
Jump to navigation
Jump to search
→Iverson bracket
Miraheze>Adám Brudzewsky m (Text replacement - "</code>" to "</source>") |
Miraheze>Adám Brudzewsky |
||
| Line 14: | Line 14: | ||
In mathematics, the '''Iverson bracket''' generalises the Kronecker delta. It converts any logical proposition into a number that is 1 if the proposition is satisfied, and 0 otherwise, and is generally written by putting the proposition inside square brackets: | In mathematics, the '''Iverson bracket''' generalises the Kronecker delta. It converts any logical proposition into a number that is 1 if the proposition is satisfied, and 0 otherwise, and is generally written by putting the proposition inside square brackets: | ||
:<math>[P] = \begin{cases} 1 & \text{if } P \text{ is true;} \\ 0 & \text{otherwise,} \end{cases}</math> | :<math>[P] = \begin{cases} 1 & \text{if } P \text{ is true;} \\ 0 & \text{otherwise,} \end{cases}</math> | ||
where | where <math>P</math> is a statement that can be true or false. | ||
In the context of summation, the notation can be used to write any sum as an infinite sum without limits: | In the context of summation, the notation can be used to write any sum as an infinite sum without limits: | ||