>> Attempto Controlled English (ACE) est un sous ensemble de l'anglais conçu pour être non ambigüe.
Deux fautes : 1/ « ambigüe » s'écrit en fait « ambiguë, » 2/ mais en fait, c'est ici au masculin, donc « ambigu. »
Sinon, je ne saisis pas trop l'intérêt de vouloir faire une logique du premier ordre basé sur l'anglais (langue « internationale » mais pas parlée ni comprise partout, même dans des pays développés), alors qu'on a remarqué que les mathématiques étaient le meilleur moyen concis et sans ambiguïté de communiquer des messages logiques.
Dans la mesure où les langues n'ont absolument pas toutes la structure de l'anglais, autant passer par la logique pour exprimer... la logique !
# Bingo !
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Attempto Controlled English. Évalué à 4.
Deux fautes : 1/ « ambigüe » s'écrit en fait « ambiguë, » 2/ mais en fait, c'est ici au masculin, donc « ambigu. »
Sinon, je ne saisis pas trop l'intérêt de vouloir faire une logique du premier ordre basé sur l'anglais (langue « internationale » mais pas parlée ni comprise partout, même dans des pays développés), alors qu'on a remarqué que les mathématiques étaient le meilleur moyen concis et sans ambiguïté de communiquer des messages logiques.
Dans la mesure où les langues n'ont absolument pas toutes la structure de l'anglais, autant passer par la logique pour exprimer... la logique !