Similar to 後向き連鎖

Ackermann function

General recursive function

Automated reasoning

Expert system

Mathematical fallacy

Algorithmic probability

0

1

2

3

4

5

6

7

8

9

Theory of computation

First Draft of a Report on the EDVAC

First-order logic

Automata theory

Typed lambda calculus

Recursive language

Recursively enumerable language

Computably enumerable set

Computable function

Computable number

A New Kind of Science#Principle of computational equivalence