Inscription / Connexion Nouveau Sujet
Niveau doctorat
Partager :

Lambda calcule

Posté par
Euler361
15-09-23 à 23:55

(Page 19)

A la page 19, la définition de $\beta _0$ nécessité du travail non négligeable pour montrer qu'elle définit bien quelque chose.
Et le lemme 1.14 qui est cité n'a absolument pas pour conséquence que $\beta _0$ est décroissant pour l'inclusion des ensembles de variables libres.
Aussi la définition de la beta-conversion est erronée.

Posté par
Euler361
re : Lambda calcule 16-09-23 à 00:13

Le pdf était trop gros, donc il n'est pas passé, je poste ici un lien vers le pdf:
https:** lien supprimé**

Posté par
Euler361
re : Lambda calcule 16-09-23 à 00:27

Sinon, il est super ce livre.

Posté par
malou Webmaster
re : Lambda calcule 16-09-23 à 09:37

Euler361, bonjour

il me semble que tu as tout faux...
pas de bonjour
profil : terminale
forum choisi : master
et en prime un lien vers un bouquin dont le téléchargement est interdit...

bon ...au final, une belle marge de progrès

Posté par
Euler361
re : Lambda calcule 16-09-23 à 12:37

malou @ 16-09-2023 à 09:37

Euler361, bonjour

il me semble que tu as tout faux...
pas de bonjour
profil : terminale
forum choisi : master
et en prime un lien vers un bouquin dont le téléchargement est interdit...

bon ...au final, une belle marge de progrès

1) J'avais mis "terminale STMG" en profil, comme hommage à une classe que j'avais lorsque j'étais professeur au lycée. Je ne savais pas que cela allait à l'encontre d'une règle.
2) c'est quoi un "topic" et en quoi suis-je en violation ?
3) j'ignorais que le téléchargement du livre de Mr Krivine est interdit, et je demande d'où vient cette information ainsi que sa confirmation.
4) sans l'accès au livre, tout ce que j'ai dit est incompréhensible.

Posté par
Euler361
re : Lambda calcule 16-09-23 à 12:48

Bonjour



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1675 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !