Discussion:Machine de Krivine

	Tâches à accomplir pour Machine de Krivine	aide
	Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article : Modèle {{ Article }} : l'argument «  adresse = Reykjavik, Iceland↵  » ne fait pas partie des arguments gérés par le modèle {{ Article }} (dans «  Une présentation compacte  ») -- 9 novembre 2021 à 09:13 (CET)

Clarté de l'article

J'ai un petit soucis avec cet article. Je n'ai absolument rien compris alors que je suis informaticien... Bon je n'ai aucune prétention d'un bon niveau, mais je soutiens fortement que ce bel article mérite une vulgarisation. N'importe qui doit pouvoir le lire et comprendre du premier coup (ou presque). Maintenant que l'information est là, il faut la rendre accessible à tous ! --Lyokoï (discuter) 20 novembre 2015 à 22:36 (CET)

Je comprends bien sûr que l'article n'est pas facile à lire. Cependant, si vous n'avez rien compris, ça veut dire, qu'aucune des phrases n'est compréhensible. C'est un peu triste. Ceci dit: avez-vous lu auparavant l'article lambda-calcul et l'avez-vous compris? Si vous ne l'avez pas compris c'est peut-être à celui-là qu'il faut s'attaquer en premier lui, en proposant des points précis d'amélioration. En tout cas, c'est là que le travail collaboratif doit prendre corps. --Pierre de Lyon (discuter) 20 novembre 2015 à 22:46 (CET)

Merci beaucoup pour votre réponse. Après lecture de l’article lambda-calcul j'ai compris les grandes lignes de celui sur la Machine de Krivine. Je vois mieux comment ces deux articles pourraient être améliorés. Leurs plans respectifs ne sont pas mauvais, mais ils mériteraient d'être plus en relation avec d’autres articles. Je pense que ce serait pertinent de faire des liens vers des sous-sections d'autres articles qui expliquent très clairement des notions de base de chaque raisonnement. De plus, il n'est pas interdit de conseiller plus fortement au lecteur de lire lambda-calcul avant de s'attaquer à la machine de Krivine. Voici une liste d'articles que je verrais bien relié à ce dernier : logique mathématique, réduction (complexité), modèle de calcul + d'autres que vous êtes sûrement plus à même de choisir pour éclaircir l'information. En espérant que cela puisse vous aider. --Lyokoï (discuter) 23 novembre 2015 à 16:51 (CET)

J'ai indiqué qu'il faut lire l'article lambda-calcul et j'ai décrit les concepts de réduction en forme normale de tête et d'appel par nom. N'hésitez pas à corriger et améliorer. --Pierre de Lyon (discuter) 23 novembre 2015 à 18:19 (CET)

Je signale que la réduction en complexité n'a rien à voir avec ce qui est présenté ici et ce serait trompeur de faire un lien. De même la machine de Krivine n'est pas un modèle de calcul au sens où on l'entend en informatique théorique et en logique et là encore ce serait trompeur de suggérer un rapprochement. --Pierre de Lyon (discuter) 10 octobre 2017 à 19:07 (CEST)

Soit, vous êtes plus à même de juger que moi. Merci en tout cas pour ce qui a déjà été fait. :) Lyokoï (discuter) 13 octobre 2017 à 09:54 (CEST)