Operator paradoksalny
Z Wikipedii, wolnej encyclopedia
Operator paradoksalny (operator punktu stałego) – funkcja w rachunku lambda, która dla każdej funkcji tworzy jej punkt stały:
Nazwa bierze się stąd, iż jeśli tą funkcją będzie na przykład negacja (niezależnie od przyjętej definicji) to:
Operatorów paradoksalnych jest nieskończenie wiele. Najczęściej używany jest zdefiniowany następująco:
Niemniej jeśli
- ?\equiv \lambda abcdefghijklmnopqstuvwxyzr.\ r\ (thisisafixedpointcombinator),}
to funkcja
- ??????????????????????????}
też jest operatorem punktu stałego[1].