La puissance des abstractions
Si nous voulons construire une automobile, nous pouvons travailler
uniquement au niveau matériel, utiliser une pile d'acier et des machines outil,
et nous pourrons peut-être construire une boîte avec 4 roues. Mais si nous
voulons construire une voiture performante et fiable, il nous faut utiliser de
nombreux plans et formules mathématiques. Plus nous utilisons les abstractions
(par exemple en utilisant des logiciels de conception par ordinateur), et plus
la voiture est performante.
Il existe des exemples similaires dans le domaine du développement
logiciel. Si vous travaillez très près de la couche physique, vous allez
programmer le microprocesseur en utilisant le langage machine, c'est à dire vous
aller contrôler directement la "matière" du microprocesseur. Mais cette approche
est très limitée. Pour dépasser ces limitations, les ingénieurs ont inventé des
langages de plus en plus abstraits et puissants: langage assembleur, langage C,
langage orienté objet, langages de modélisation, etc. Plus avancez dans
l'abstraction, plus vous pouvez développer des programmes puissants.
Nous avons donc un premier indicateur: la matière seule peut contrôler la
matière, mais ce n'est pas très efficace. On peut la contrôler beaucoup plus
efficacement en utilisant quelque chose d'immatériel: les modèles, les
abstractions, les mathématiques.
Comme ces modèles, abstractions et mathématique sont immatériels par nature,
nous avons à les classer dans une catégorie d'entités immatérielles. Les
entités immatérielles existent vraiment.
