💻

Learning Paths고급

컴퓨터의 수학적 기초 — 라이프니츠에서 튜링까지

17세기 라이프니츠의 이진법과 기계 추론 꿈이, 19세기 부울 대수를 거쳐, 20세기 괴델·튜링의 한계 정리에서 마침내 디지털 컴퓨터로 결실을 맺는 300년의 여정.

약 35분·9개 노드

진행0 / 9 (0%)

지도에서 본 경로의 흐름

카드를 클릭하면 지도가 해당 위치로 이동합니다.

STEP 1 · 수학자1703하노버· 주요활동

라이프니츠 — 이진 산술의 체계화

1703년 논문에서 0과 1만으로 정수를 표현하고 계산하는 방법을 설명했다.

↓150년 흐름

STEP 2 · 개념1854코크· 출판

개념: 불 대수

1854년 부울이 참·거짓 관계를 대수적 연산으로 다루는 체계를 정리했다.

↓77년 후

STEP 3 · 수학자1931쾨니히스베르크· 기타

괴델 — 형식 체계의 한계

1930년 쾨니히스베르크에서 첫 결과를 알리고 1931년 논문으로 두 정리를 제시.

↓같은 해

STEP 4 · 개념1931위치 정보 없음

개념: 불완전성 정리

1931년 발표된 두 정리는 힐베르트 프로그램이 추구한 목표의 범위를 제한했다.

↓5년 후

STEP 5 · 수학자1936케임브리지· 발견

튜링 — 계산 가능성의 경계

1936년 논문은 이상화된 기계로 알고리즘을 분석하고, 풀 수 없는 문제도 있음을 보였다.

↓같은 해

STEP 6 · 개념1936케임브리지· 발견

개념: 계산 가능성

1936년 처치와 튜링의 서로 다른 형식화가 효과적으로 계산 가능한 것의 경계를 선명하게 했다.

↓9년 후

STEP 7 · 수학자1945프린스턴· 주요활동

폰 노이만과 저장 프로그램 논의

1945년 EDVAC 초안은 여러 공학자와 수학자가 발전시키던 저장 프로그램 생각을 널리 정리했다. 오늘날 컴퓨터에도 큰 영향을 주었지만 유일한 설계도는 아니다.

↓14년 후

STEP 8 · 수학자1959에인트호번· 주요활동

데이크스트라 — 알고리즘의 규율

1959년 최단 경로 알고리즘을 출판했고, 이후 구조적 프로그래밍으로 계산을 어떻게 올바르게 하는가를 학문으로 세웠다.

↓11년 후

STEP 9 · 수학자1970케임브리지· 발견

콘웨이 — 생명 게임 (1970)

이웃 수를 세는 간단한 규칙에서 글라이더와 논리회로가 생긴다. 뒤의 구성은 이 규칙계에서 보편 계산이 가능함을 보였다.

고급 → 전문가

전문가 단계에서는 무엇이 달라질까요?

무엇이 아직 증명되지 않았는지, 어떤 공리·계산·근거에 기대는지 구분하며 연구의 경계에 섭니다.

다음 도착점 · 다음 연구 질문 한 가지

전문가 대표 경로 열기