Discussion:Robin Milner

Cet article est indexé par les projets Informatique et Mathématiques.

Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.

Évaluation de l’article « Robin Milner »

Avancement	Importance	pour le projet
Ébauche	Moyenne		Informatique (discussion • critères • liste • stats • hist. • comité • stats vues)
	À évaluer		Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues)

Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.

Pour le moment, une seule source mentionne sa mort. Un message sur une ML, franchement, ça me paraît très limite comme fiabilité. De plus, je suis très étonné que pour quelqu'un d'aussi connu que lui, deux jours plus tard, il n'y ait pas d'autre source. Bref, sans forcément crier au canular, je suis fortement pour attendre d'avoir une source fiable. 0yP·✉ 22 mars 2010 à 15:56 (CET)[répondre]

Pour un informaticien, ça me semble une source très logique. :D Daïn, the Dwarf causer ^? 22 mars 2010 à 16:01 (CET)[répondre]

Plus sérieusement, j'imagine difficilement une source plus fiable. Je suis sûr à 95% qu'un journal qui communiquerait l'information se baserait sur cette ml. Est-ce alors plus fiable? Daïn, the Dwarf causer ^? 22 mars 2010 à 16:04 (CET)[répondre]

J'espère bien que non ! Dans ce genre de cas, l'université (donc celle de Cambridge en l'occurrence) publie une annonce, la famille peut le faire aussi… Éventuellement l'ACM, les membres des communautés ML / algèbres de processus / autres… Et a minima sur leurs sites officiels, pas dans une simple liste de diffusion. Alors que là, on a un message même pas authentifié, qui a pu être envoyé par n'importe quel plaisantin. 0yP·✉ 22 mars 2010 à 16:08 (CET)[répondre]

Un petit plaisantin du nom de Gordon Plotkin qui mettrait en jeu sa réputation de chercheur face à un Turing Award pour faire une "bonne blague"? Daïn, the Dwarf causer ^? 22 mars 2010 à 16:19 (CET)[répondre]

Écrire c'est bien, répondre c'est mieux, par exemple en tenant compte de la partie non authentifié . Pour le moment, il y a un message d'une personne qui signe Gorden Plotkin, ce qui est différent d'un message de Gordon Plotkin. Alors bon, il y a de bonnes chances que ce soit lui et que la nouvelle soit vraie, mais publier ce genre d'annonces sur WP avec des bases aussi faibles est une très mauvaise habitude. 0yP·✉ 22 mars 2010 à 17:05 (CET)[répondre]

@Oyp: Des personnes comme Amir Pnueli ou Robin Milner, si elles sont connues dans la communauté des informaticiens, sont cependant moins connues du grand public et de ses médias que, par exemple, des prix Nobel de physique. Les annonces dans la presse généraliste auront donc un temps de retard.

J'ajoute que Gordon Plotkin est un scientifique renommé dont on ne peut imaginer une seconde qu'il se livre à de pareilles plaisanteries. David.Monniaux (d) 22 mars 2010 à 16:26 (CET)[répondre]

Je dirais même, en:Gordon Plotkin. Je ne pense pas non plus qu'il s'amusât à ce genre de canular, surtout à son âge... Gonzolito ^charlar 22 mars 2010 à 16:55 (CET)[répondre]

Bonjour aux contributeurs,

Je viens de modifier 1 lien(s) externe(s) sur Robin Milner. Prenez le temps de vérifier ma modification. Si vous avez des questions, ou que vous voulez que le bot ignore le lien ou la page complète, lisez cette FaQ pour de plus amples informations. J'ai fait les changements suivants :

• L'archive https://web.archive.org/web/20091212132624/http://awards.acm.org/homepage.cfm?srt=all&awd=140 a été ajoutée à http://awards.acm.org/homepage.cfm?srt=all&awd=140

SVP, lisez la FaQ pour connaître les erreurs corrigées par le bot.

Cordialement.—InternetArchiveBot (Rapportez une erreur) 18 avril 2018 à 01:58 (CEST)[répondre]