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