Lambda calcul et point fixe

Discutez d'informatique ici !
jingenbl
Messages: 1
Enregistré le: 18 Déc 2020, 12:23

Lambda calcul et point fixe

par jingenbl » 05 Jan 2021, 18:29

Bonjour et bonne année 2021 (meilleure que la précédente!)
Je suis novice en -calcul et je rame un peu (beaucoup)...
Il existe un théorème du point fixe:
" il existe un combinateur tel que "

Admettons.
Il en découle le corollaire suivant:
pour tout et l'équation

peut être résolue en . C'est-à-dire qu'il existe tel que

Il suffirait de prendre

Mais justifications tournent en boucle...Sans doute ma compréhension est trop faible, mais je ne vois pas...
Merci de vos explications et/ou éclairage



 

Retourner vers ϟ Informatique

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 3 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite