Ken Iverson: Difference between revisions
Jump to navigation
Jump to search
Miraheze>Adám Brudzewsky (add photo) |
Miraheze>Adám Brudzewsky |
||
Line 13: | Line 13: | ||
=== Iverson bracket === | === Iverson bracket === | ||
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 [[wikipedia:Kronecker delta|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 <math>P</math> is a statement that can be true or false. | where <math>P</math> is a statement that can be true or false. |