A code, a machine, and a war

💡 The Idea

In his 1936 paper, Turing described an imaginary machine with three parts: a tape (an infinite strip of cells), a read/write head (which moves left or right), and a set of rules (a "state table" telling the head what to do for each symbol it reads). This simple model can compute anything that is computable — it is the theoretical foundation of every computer ever built. The Halting Problem: Turing proved that no algorithm can determine, for every possible program and input, whether the program will eventually stop (halt) or run forever. This is the first proof that some mathematical questions have no algorithmic answer — called "undecidability." At Bletchley Park, the Bombe machine exploited a flaw in Enigma: German operators often used predictable phrases ("KEINE BESONDEREN EREIGNISSE" — "nothing to report"). Knowing one likely word let the Bombe rule out most of the 159 quintillion possible Enigma settings in minutes. Turing's legacy: the Turing machine model, the concept of the algorithm, and the boundary between decidable and undecidable problems form the theoretical core of modern computer science.

1936년 논문에서 튜링은 세 부분으로 이루어진 가상의 기계를 설명했어요: 테이프(무한한 칸 띠), 읽기/쓰기 헤드(왼쪽 또는 오른쪽으로 이동), 규칙 집합(헤드가 읽는 기호마다 무엇을 할지 알려주는 '상태 표'). 이 단순한 모델은 계산 가능한 모든 것을 계산할 수 있어요 — 지금까지 만들어진 모든 컴퓨터의 이론적 기반이에요. 정지 문제: 튜링은 가능한 모든 프로그램과 입력에 대해 프로그램이 결국 멈출지 아니면 영원히 실행될지를 결정할 수 있는 알고리즘이 없다는 것을 증명했어요. 이것은 일부 수학 문제에는 알고리즘적 답이 없다는 최초의 증명이에요 — '결정 불가능성'이라고 불려요. 블레츨리 파크에서 봄브 기계는 에니그마의 약점을 이용했어요: 독일 조작원들이 예측 가능한 문구를 자주 사용했어요("KEINE BESONDEREN EREIGNISSE" — "특별한 일 없음"). 가능성 있는 단어 하나를 알면 봄브가 몇 분 안에 159 퀸틸리언 가지의 에니그마 설정 대부분을 제거할 수 있었어요. 튜링의 유산: 튜링 기계 모델, 알고리즘 개념, 결정 가능한 문제와 불가능한 문제의 경계는 현대 컴퓨터 과학의 이론적 핵심을 이루고 있어요.

📚 Grammar focus

First Conditional

✏️ Try it

Complete these First Conditional sentences about Alan Turing: 1. If you follow the rules in a Turing machine, it _______ (solve) any computable problem. 2. If a program runs forever, we _______ (not / know) whether it will ever stop. 3. If the Bombe _______ (find) the correct Enigma setting, the message becomes readable. Bonus: Write your own First Conditional sentence using the word "algorithm."