Liczby naturalne Churcha – konstrukcja w rachunku lambda, umożliwiająca wykonywanie normalnej arytmetyki.

Rachunek lambda bez typów nie zawiera sam z siebie liczb, więc należy je skonstruować.

Liczba naturalna Churcha to funkcja wyższego rzędu pobierająca dwa argumenty – funkcję i argument która -krotnie aplikuje do

Tak więc w zapisie matematycznym: 0 to 1 to 2 to 3 to N+1 to

a w zapisie lambda: liczba naturalna to

gdzie: to to

Operacje na liczbach naturalnych Churcha są opisane w artykule arytmetyka w rachunku lambda.

Zobacz też Inne sposoby konstrukcji liczb

Kategoria:Liczby naturalne Kategoria:Rachunek lambda