Similar to フリードバーグ・ナンバリング

Smn theorem

Ackermann function

Dirlewanger Brigade

Annals of Mathematics

Axiom (computer algebra system)

Courant–Friedrichs–Lewy condition

Disquisitiones Arithmeticae

DPLL algorithm

DTIME

0

1

2

3

4

5

6

7

8

9

1200 (number)

Computability theory

Elementary recursive function

Analytical hierarchy

Slow-growing hierarchy

Computable set