更改

=== s-m-n 定理（柯里化 / 参数特化） ===

=== s-m-n 定理（柯里化 / 参数特化） ===

'''[[s-m-n 定理]]'''说：给定一个双输入程序和它的'''第一个输入'''，可以机械地生成一个"把第一个输入写死在程序里"的新单输入程序。用程序员的话说，就是'''柯里化（currying）或部分应用（partial application）总是可以机械完成的'''：存在可计算的全函数 <math>S</math>，使得

'''[[s-m-n 定理]]'''说：给定一个双输入程序和它的'''第一个输入'''，可以机械地生成一个"把第一个输入写死在程序里"的新单输入程序。用程序员的话说，就是'''[[柯里化]]（currying）或部分应用（partial application）总是可以机械完成的'''：存在可计算的全函数 <math>S</math>，使得

: <math>\phi_{S(e, y)}(x) = \phi_e(y, x)</math>

: <math>\phi_{S(e, y)}(x) = \phi_e(y, x)</math>