实值函数谓词逻辑理论的判定

实值函数的概念对数学、计算机科学以及许多其他科学领域至关重要。尽管其重要性如此，关于推理实值函数的谓词逻辑理论的判定过程，几乎没有任何正向结果。本文定义了一种用于推理多维光滑实值函数及其导数的一阶谓词语言，并证明——尽管存在明显不可判定性障碍——此类语言的某些正向可判定性结果确实是可能的。