Je crois que c'était ce qui était sousentendu dans l'article "logique mathématique" (avec des guillemets à complexité), parce qu'il n'y avait pas de raison spéciale de parler de théorie algorithmique de l'information à cet endroit. Dans le milieu on parle bien "complexité" (et cela se différencie alors de calculabilité), donc pour le titre (trop général par ailleurs effectivement) "théorie de la complexité (informatique)" ?