해석기관
찰스 배비지는 1830년대에 해석기관을 설계했다. 이는 메모리('저장소'), 연산 장치('밀'), 천공 카드를 통한 입력, 조건 분기 기능을 갖춘 기계식 컴퓨터였다. 비용과 제조상의 한계로 제작되지는 못했지만, 그 설계는 논리적으로 완벽했다. 러브레이스의 주석은 그 작동 방식을 가장 명확하게 설명한 자료이다.
베르누이 수 알고리즘
주석 G에는 해석기관을 사용하여 베르누이 수를 계산하기 위한 일종의 연산 표(현대적 용어로는 알고리즘)가 포함되어 있다. 여기에는 루프, 조건부 연산, 여러 변수를 동시에 관리하는 방법이 포함된다. 이는 배비지가 기록한 어떤 것보다도 복잡하며, 역사학자들은 일반적으로 그 설계를 배비지보다는 러브레이스의 공로로 돌리고 있다.
계산을 넘어선 비전
더 중요한 것은, 러브레이스가 해석기관을 단순한 계산기가 아닌 심볼 조작기로 이해했다는 점이다. 단순히 숫자뿐만 아니라 기호로 표현 가능한 모든 대상을 처리할 수 있었다. 그녀는 '이 엔진은 매우 복잡하고 광범위한 정교한 과학적 음악 작품을 작곡할 수도 있을 것'이라고 적었다. 연산이 본질적으로 산술에 국한되지 않는다는 이 통찰은 처치-튜링 계산 가능성 이론을 100년 앞서 예견한 것이었다.
그녀의 역할에 관한 논쟁
일부 역사학자들은 러브레이스의 기여가 주로 편집적인 것이며 핵심 아이디어는 배비지에게서 나왔다고 주장해 왔다. 두 사람 사이의 서신은 배비지의 수정과 제안을 포함한 광범위한 협업 관계를 보여준다. 그러나 주석 G에 담긴 베르누이 알고리즘과 연산의 본질에 대한 철학적 통찰은 명백히 러브레이스 본인의 기여로 보인다.
자주 묻는 질문
에이다 러브레이스는 실제로 무엇을 프로그래밍했나?
러브레이스는 주석 G(1843년)에서 배비지의 해석기관을 사용하여 베르누이 수를 계산하는 알고리즘을 작성했으며, 이것이 최초의 컴퓨터 프로그램으로 간주된다. 해당 알고리즘은 루프와 조건부 연산을 포함한다. 또한 그녀는 컴퓨터가 숫자뿐만 아니라 모든 심볼을 처리할 수 있다는 원칙을 명확히 하여 현대 연산 이론을 예견했다.
에이다 러브레이스가 정말 최초의 프로그래머인가?
그 주장은 논쟁의 여지가 있다. 러브레이스의 주석 G(1843년)는 기계 실행을 목적으로 한 최초의 문서화된 알고리즘을 담고 있다. 일부 역사학자들은 알고리즘의 상당 부분을 배비지가 기여했으며, 현대의 대중적인 기록에서 러브레이스의 역할이 과장되었다고 주장한다. 그러나 산술을 넘어선 연산이라는 철학적 비전은 러브레이스 본인의 통찰인 것으로 보인다.
베르누이 수란 무엇인가?
베르누이 수는 정수 거듭제곱의 합, 리만 제타 함수, 삼각 함수의 테일러 급수 등의 공식에 등장하는 수론과 깊은 관련이 있는 유리수열이다. 처음 몇 개의 수는 B0=1, B1=-1/2, B2=1/6, B4=-1/30이다. 이를 계산하기 위한 러브레이스의 알고리즘은 기계 실행을 위해 설계된 최초의 알고리즘이었다.