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:
Przypisy
Kategoria:Rachunek lambda