Discussion:Forme normale (lambda-calcul)/Admissibilité

message: Proposé par : Pierre de Lyon (discuter) 10 octobre 2017 à 19:43 (CEST)
thread_title:  [[Forme normale (lambda-calcul)]] 

message: Perso, sans du tout être spécialiste du lambda-calcul, je distinguerais 3 choses :
1/ la def  de la bêta réduction, pour laquelle l'article lambda-calcul suffit.
2/ les stratégies (cf :en:Beta_normal_form#Reduction_strategies) pour atteindre par bêta (et êta) réduction un terme en forme normal + propriété de Church-Rosser (losange), qui pourraient avoir un article dédié, donc +- en fusionnant le lien d'avant avec ce qu'il y a dans Lambda-calcul#La_normalisation_:_notion_de_calcul.
3/ les formes normales, en elles-même ce qui est le sujet de cet article Forme normale (lambda-calcul). Sur elles, il me semble qu'un article ne serait pertinent que si on avait, ce que j'ignore, des théorèmes sur les formes types de ces formes normales. Genre, ce qui est évidemment faux (ou alors j'ai rien compris), l'ensemble des termes en forme normal peut être défini par induction de la manière suivante : ... . En absence de thms sur les caractéristiques de ces formes normales (outre qu'elles sont terminales par définition), je ne pense pas qu'un tel article soit pertinent.
Néanmoins il faut trouver un endroit (mais peut-être que ça existe déjà sur wp mais que je n'ai pas vu) pour exposer les algorithmes connus (tenez, d'ailleurs, on pourrait parler de leurs efficience, je découvre :en:Director string) permettant de passer d'un terme à sa forme normale ... lorsqu'elle existe (<-- point sur lequel il y a aussi des choses à dire, sans connaître le sujet,  j'imagine que la question de savoir si un terme du lambda calcul a une forme normale est semi-décidable). 
--Epsilon0 (discuter) 15 octobre 2017 à 00:35 (CEST)
thread_title:  Discussions 

message: Entrez ci-dessous votre avis sur l’admissibilité du thème à l’aune de l’existence de sources extérieures et sérieuses ou des critères d'admissibilité des articles. Il est recommandé d'accentuer l'idée principale en gras (conserver, fusionner, déplacer, supprimer, etc.) pour la rendre plus visible. Vous pouvez éventuellement utiliser un modèle. N’oubliez pas qu’il est obligatoire d’argumenter vos avis et de les signer en entrant quatre tildes (~~~~).
==== Conserver ====
#  Le sujet me semble admissible, mais l’article reste à être fait. Cf. les interwikis. C’est une notion importante du lambda-calcul.—   -_Luc_-Envoyer un message 10 octobre 2017 à 20:06 (CEST)
thread_title:  Avis 

message: #  Le sujet me semble admissible, mais l’article reste à être fait. Cf. les interwikis. C’est une notion importante du lambda-calcul.—   -_Luc_-Envoyer un message 10 octobre 2017 à 20:06 (CEST)
thread_title:  Conserver 

message: #  Article indigent qui aurait sa place dans l'article lambda-calcul. --Pierre de Lyon (discuter) 10 octobre 2017 à 19:51 (CEST)
thread_title:  Supprimer 

message: #  I do not understand one word of the English reference (traduction : je n'y comprends rien). La référence anglo-saxonne ne me permet pas de me prononcer sur l'admissibilité du sujet. Je m'en remets donc à la sagesse des logiciens, cela étant complètement au-delà de mon niveau. Malosse [Un problème de météo ou de planeur?] 12 octobre 2017 à 07:08 (CEST)
thread_title:  Neutre