1. The first modern theory of software was proposed by Alan Turing in his 1935 essay Computable numbers with an application to the Entscheidungsproblem (decision problem).

앨런 튜링(Alan Turing, 1912~1954)은 1936년 On Computable Numbers, with an Application to the Entscheidungsproblem("결정 문제에 대한 응용을 포함한 계산 가능한 수에 관하여")이라는 논문에서 튜링 기계(Turing Machine)의 개념을 소개했다.

2. In computability theory, the Ackermann function, named after Wilhelm Ackermann, is one of the simplest and earliest-discovered examples of a total computable function that is not primitive recursive.

계산 가능성 이론에서, 빌헬름 아커만의 이름을 딴 아커만 함수(Ackermann函數, 영어: Ackermann function)는 가장 간단하고 가장 먼저 발견된 원시 재귀 함수가 아닌 완전히 정의된 계산 가능 함수의 예시이다.