Ada Lovelace

Ada Lovelace est la mathématicienne et théoricienne qui, en 1843, traduit et annote les conférences de Menabrea sur la Machine analytique de Charles Babbage. Ses notes — plus longues que le texte original — deviennent le point d'ancrage d'une idée radicale : une machine pourrait non seulement calculer, mais aussi opérer sur des symboles selon des règles. Elle distingue nettement les données des opérations, et imagine qu'une machine capable de composer de la musique si on lui donnait des règles constitue une preuve conceptuelle de l'universalité du calcul.

Sa force réside dans le pont qu'elle construit entre la mécanique de Babbage et la philosophie de l'esprit — une connexion invisible qui ne se révélera que cent ans plus tard. Turing, en 1950, cite implicitement Lovelace dans son article fondateur « Computing Machinery and Intelligence » en réfutant l'« objection de Lady Lovelace », transformant sa prudence (« la machine ne peut faire que ce qu'on lui ordonne ») en matériau de débat philosophique sur la pensée machine. Cette chaîne invisibilité-reconnaissance-fondation est le cœur même de l'Atlas : deux scientifiques séparés par un siècle, dans le même domaine, mais séparées par un abîme conceptuel que seule la rédaction rétrospective peut illuminer.