시각적 논리

설계된 절차와 실행된 기계를 구별한다

‘주 G’의 단계표는 계산을 기계가 수행할 수 있는 연산 단위로 나누고, 각 단계의 값 이동을 추적할 수 있음을 보여 줍니다. 공개 문헌에 단계적 연산의 상세 설명이 존재한다는 역사적 사실도 확인됩니다. 컴퓨터역사박물관은 이를 수학 문제를 푸는 단계적 연산 순서의 최초 공개 설명으로 소개하면서 러브레이스를 흔히 ‘최초의 프로그래머’라고 부르는 까닭을 밝힙니다.

1843년 공개 문헌, 단계별 값 변화, 명령과 자료의 분리가 설계된 실행 절차라는 결론을 지지하지만, 완성 기계의 실제 성공과 단독 저자 범위는 별도 증거가 필요하다는 논증도
그림 4. 문헌이 지지하는 결론과 추가 증거가 필요한 주장을 나눈 자체 제작 논증도. ‘공개된 절차’와 ‘실제로 작동한 완성 기계’를 구별합니다.
그림 크게 열기 ↗SVG 저장

그림에서 무엇을 볼까요?

1843년 공개 문헌, 단계별 값 변화, 명령과 자료의 분리가 설계된 실행 절차라는 결론을 지지하지만, 완성 기계의 실제 성공과 단독 저자 범위는 별도 증거가 필요하다는 논증도

‘주 G’의 단계표는 계산을 기계가 수행할 수 있는 연산 단위로 나누고, 각 단계의 값 이동을 추적할 수 있음을 보여 줍니다. 공개 문헌에 단계적 연산의 상세 설명이 존재한다는 역사적 사실도 확인됩니다. 컴퓨터역사박물관은 이를 수학 문제를 푸는 단계적 연산 순서의 최초 공개 설명으로 소개하면서 러브레이스를 흔히 ‘최초의 프로그래머’라고 부르는 까닭을 밝힙니다.

그러나 분석기관 전체는 완성되지 않았습니다. 실제 톱니바퀴가 모든 카드를 읽고 표의 전 과정을 오류 없이 수행했다는 실행 기록은 없습니다. 보들리언 연구진은 카드 조작의 일부 설계가 분명하지 않아 정확한 카드 묶음을 복원하기 어렵다고 지적합니다.

← 시각적 논리 그림 더 보기