Liczby naturalne Churcha
![]() | Ten artykuł od 2021-02 wymaga zweryfikowania podanych informacji. Należy podać wiarygodne źródła w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte. Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary) Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tego artykułu. Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu. |
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.