字符串编码与哥德尔数化.pdfVIP

table{border-collapse:collapse;}table,th,td{border:1pxsolid#000;}

串

Karp-Rabin算法：串即是数

Allthingsarenumbers.

•Pythagoras(570~495BC)

Godmadetheintegers;allelseistheworkofman.

•L.Kronecker(1823~1891)

deng@tsinghua.edu.cn

凡物皆数：GödelNumbering

逻辑系统的符号、表达式、、命题、定理、公理等均可以不同的自然数来标识

每个有限维的自然数向量（包括字符串），都唯一对应于某个自然数

☆素数序列：p(k）第k个素数  2，3，5，7，11，13，17，19，…

⟨a, a, …, a⟩ ⇌ p(1)1+a×p(2)1+a×…×p(n)1+a

12n12n

$$\begin{array}{l}\langl