- 튜링 기계
- 튜링머신
- 튜링 완전성
- 튜링완전
- 마이컴
- 튜링 완전
- 천재/실존인물
- 틀:이산수학·수리논리학
- 머신
- 라요 수
- 양자정보과학
- 심리철학
- 계산기협회
- 폰노이만 구조
- HQ9+
- 불완전성 정리
- 논리학 관련 정보
- 콘라트 추제
- 논리학
- 콘웨이의 생명 게임
- 정지 문제
- 에이다 러브레이스
- 마크업 언어
- 틀:앨런 튜링
- 조지 호츠
- 틀:이론 컴퓨터 과학
- 오토마타
- 배열
- 유효한 가장 큰 수
- 문명 6/위인
- 컴퓨터/역사
- 카타프락토스(알드노아. 제로)
- 오토마톤
- 바쁜 비버
- 생성 문법
- 피쉬 수
- 알고리즘
- 점근 표기법
- 피터 쇼어
- 20세기
- 틀:컴퓨터공학
- 함수
- 쿠르트 괴델
- 앨런 튜링
- 프로그래밍 언어
- 서수(수학)/큰 가산서수
- 인간관
- 수학자/목록