A bizzarre fixed point combinator

Calcolabilità, modelli di calcolo, complessità, linguaggi formali.

A bizzarre fixed point combinator

Messaggioda Nihilus il lun 19 mag 2014, 14:49

A stupid, but funny exercise: in type-free lambda calculus, let
$?=\lambda abcdefghijklmnopqstuvwxyzr.r(thisisafixedpointcombinator)$ and $\$ = ??????????????????????????$.

Meditate on it and convince yourself that $\$$ is a fixed point combinator, i.e. that $\$F =_{\beta} F (\$ F)$ holds for all terms $F$.
Cadi e non c'è nulla cui aggrapparti; cadi e la libertà è non trattenersi. Che perfezione...
Avatar utente
Nihilus
 
Messaggi: 102
Iscritto il: sab 22 set 2012, 14:05

Torna a Fondamenti dell'Informatica

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite

cron