Études-Mathématique/Supprimer 0b et 1b

From Lazi wiki
Jump to: navigation, search

Contexte

Actuellement Lazi0 comporte 5 mots (equal, distribute, if, 0b, 1b). Il semble possible de remplacer 0b et 1b par des mots clés (par exemple distribute et if).

Question

Est-il possible et intéressant de supprimer 0b et 1b des mots clés ?

Étude

Intérêt ?

Ne pas utiliser 0b et 1b change un peut-être le sens car on peut alors différencier equal de distribute. Mais il ne me semble pas que cela ait un intérêt.

Un autre intérêt serait de respecter le principe consistant à avoir une fondation minimale.

Un inconvénient est le côté arbitraire du choix des mots.

Un inconvénient est le travail de modification à apporter.

Possible ?

Est-ce que cela peut introduire une contradiction ou un autre problème ?

L'information apportée est juste de distinguer entre equal et distribute, cela me semblerait bizarre que cet ajout pose problème.

Réponse

C'est possible et semble seulement légèrement utile.