en informatique ça fait depuis avant les premiers vrais ordis (disons au moins depuis le lambda-calcul) que l'on utilise des 'termes imbattables' en théorie..

La différence c'est que l'on soule pas trop un gars qui veut juste coder en C avec tous les termes de théories/utiles pour la recherche/méta-compréhension