Similar to チャーチ＝チューリングのテーゼ

Wedderburn–Artin theorem

Artinian module

Artinian ring

Artin–Schreier theory

0

1

2

3

4

5

6

7

8

9

Universe (mathematics)

Reverse mathematics

Theory of computation

First Draft of a Report on the EDVAC

First-order logic

Backward chaining

Automata theory

Typed lambda calculus

Recursive language

Recursively enumerable language

Computably enumerable set

Computable function

Computable number