C'est même le seul exemple. On me le donnait déjà en 2000.
Et alors ?
Si c'est une réthorique de ta part pour sous-entrendre que le B n'a jamais servis a rien d'autre, je trouve ca mesquin. Je ne vais pas chercher d'autre exemples pour te faire plaisir.
Et encore, les mauvaises langues disaient que la pluspart des preuves avaient été faite à la main.
Je n'ai prétendu que toute les preuves avaient été faites automatiquement. Sache que "indécidable" veut dire qu'il n'existe pas de procédure automatique permettant de résoudre un problème donné. Il qu'il n'en existera jamais : c'est un fait scientifique.
[^] # Re: qques questions sur Lissac et... Ruby, Java, Caml...
Posté par Joris R (site web personnel, Mastodon) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 0.
Et alors ?
Si c'est une réthorique de ta part pour sous-entrendre que le B n'a jamais servis a rien d'autre, je trouve ca mesquin. Je ne vais pas chercher d'autre exemples pour te faire plaisir.
Je n'ai prétendu que toute les preuves avaient été faites automatiquement. Sache que "indécidable" veut dire qu'il n'existe pas de procédure automatique permettant de résoudre un problème donné. Il qu'il n'en existera jamais : c'est un fait scientifique.