Image by MasterTux on Pixabay · Pixabay License
Operator paradoksalny
Sign in to savehigher-order function y for which y f = f (y f)
Article · Polski
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 to funkcja też jest operatorem punktu stałego.
Abstract from DBpedia / Wikipedia · CC BY-SA