Booleano di Church
![Abbozzo informatica](http://upload.wikimedia.org/wikipedia/commons/thumb/7/77/Computer_n_screen.svg/44px-Computer_n_screen.svg.png)
Questa voce sugli argomenti informatica e matematica è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti dei progetti di riferimento 1, 2.
![Abbozzo matematica](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/45px-Crystal128-kmplot.svg.png)
In informatica, un booleano di Church è una funzione concettuale che prende in considerazione due parametri di valutazione lazy (come i blocchi o i lambda) e valuta o l'uno o l'altro. Il concetto prende il nome da Alonzo Church, inventore del lambda calcolo. Ci sono solo due booleani di Church: vero e falso.
Alcuni linguaggi di programmazione li usano come modello di implementazione per l'aritmetica booleana: esempi ne sono Smalltalk e Pico.
Definizione formale nel lambda calcolo:
vero=λab.a
falso=λab.b
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/77/Computer_n_screen.svg/24px-Computer_n_screen.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)