에이다 러브레이스

러브레이스 백작 부인 오거스타 에이다 킹은 1815년 12월 10일 런던에서 태어나 1852년 11월 27일 자궁경부암으로 서른여섯 살에 세상을 떠났습니다. 아버지 바이런 경은 에이다가 생후 5주였을 때 가족을 떠났고 1824년에 사망했습니다. 어머니 앤 이저벨라 밀뱅크는 딸이 아버지의 기질을 물려받을까 걱정한 탓도 있어 엄격한 수학 교육을 시켰습니다. 윌리엄 프렌드, 윌리엄 킹, 메리 서머빌에게 배웠고, 수학적 재능은 열일곱 살이던 1832년 무렵 뚜렷해졌습니다.

1833년 6월 5일, 열여덟 살에 메리 서머빌을 통해 찰스 배비지를 만났습니다. 배비지는 끝내 만들어지지 않은 기계식 범용 컴퓨터인 해석기관을 연구하고 있었고, 훗날 에이다를 "숫자의 마법사"라고 불렀습니다.

에이다 러브레이스는 실제로 무엇을 썼나요?

1842년부터 1843년까지 이탈리아 공학자 루이지 메나브레아가 해석기관에 관해 쓴 프랑스어 글을 번역하고, A부터 G까지 일곱 개의 주석을 덧붙였습니다. 주석은 번역한 논문의 약 세 배 분량입니다. 노트 G는 이 기계로 베르누이 수를 계산하는 방법을 제시하며, 흔히 최초로 발표된 컴퓨터 프로그램으로 불립니다. 더 깊은 기여는 주석의 다른 곳에 있습니다. 러브레이스는 기관의 연산이 본질적으로 산술적인 것이 아니며, 예컨대 음높이 사이의 관계를 기계의 언어로 표현할 수 있다면 기계가 음악을 작곡할 수도 있다는 것을 알아보았습니다. 이것은 범용 기호 계산이라는 개념으로, 1843년 9월에 기록되었고 그 뒤 한 세기 동안 누구에게도 필요하지 않았습니다.

러브레이스는 Ni가 주기능이며, 그 근거는 바라본 것과 본 것 사이의 간격입니다. 배비지는 숫자를 만들어 내는 기계를 가지고 있었고, 그것을 숫자를 만들어 내는 기계로 이해했습니다. 러브레이스는 같은 설계를 보고 숫자는 부수적이라는 것, 곧 기관은 규칙에 따라 기호를 다루며 따라서 기호와 규칙으로 표현할 수 있는 것이라면 무엇이든 다룰 수 있다는 것을 알아보았습니다. 아무도 그런 질문을 하지 않았습니다. 1843년에는 그런 질문을 할 이유가 없었습니다.

부기능 Te는 그 통찰이 한마디 말 이상으로 살아남은 이유입니다. 러브레이스는 그저 주장하지 않았습니다. 계산 예시가 딸린 알고리즘과 함께 형식을 갖춰 정리했고, 『테일러 과학 논문집』에 발표했으며, 수학자들에게 엄밀하게 논증하도록 설계된 구조로 썼습니다. 그 주석은 하나의 구현이며, 우리가 지금도 그 생각을 읽을 수 있는 것은 러브레이스가 그것을 실어 나를 수단을 만들었기 때문입니다.

노트 G는 왜 중요한가요?

추상을 구체로 만들었기 때문입니다. 기계가 산술 이상을 할 수 있다고 주장한 다음, 그것으로 무엇이든 하는 방법 자체를 보여 주었습니다. 특정한 결과를 계산하도록 배열된, 반복을 포함한 연산의 순서입니다. 3차 기능 Fi는 그 작업에 대해 쓴 방식에서 보입니다. 주석의 문장은 틀림없이 러브레이스 자신의 것으로, 오만하다 싶을 만큼 자신감에 차 있으며, 러브레이스는 그 아이디어가 배비지가 아니라 자신의 것임을 충분히 알고 있었습니다. 열등 기능 Se는 기록에서 안타까운 부분입니다. 말년의 건강, 재정, 개인적 형편은 눈앞의 일에서 아주 멀리 떨어져 살던 정신에 의해 서툴게 다뤄졌습니다.

INTP가 가장 흔한 대안이며, 수학적 추상이 그것을 그럴듯하게 만듭니다. 차이는 러브레이스가 탐색하고 있지 않았다는 점입니다. 아이디어를 끝없이 굴리며 기계를 만들지 않고 남겨 둔 사람은 배비지였습니다. 러브레이스는 정해진 과제를 맡아 계산 예시가 담긴 완성되고 구조화된 문서를 발표했고, 그 기술이 무엇을 위한 것인지 구체적으로 주장했습니다. Te는 매듭짓고, 그 주석은 매듭지어져 있습니다.

INFP는 상상력의 폭과, 자카드 직기가 꽃무늬를 짜듯 기관이 대수적 패턴을 짠다는 유명한 문장 때문에 가끔 거론됩니다. 하지만 그 이미지는 정밀하게 진술되고 기술적으로 뒷받침된, 계산의 일반성에 관한 논증을 위해 쓰입니다. 그 시적인 표현은 수사의 도구이지 원천이 아닙니다.