威十三进制函数，或简称为康威函数，是由英国数学家约翰·康威构造的一个实函数（实变实值）. 康威函数满足强达布性质：它限制在任一非空开区间上的值域都是全体实数. 作为推论，康威函数在实轴上无处连续，但和连续函数一样也满足介值性. 因此，康威函数可用来说明介值定理的逆命题不真，即一个函数的介值性并不蕴含它的连续性.
康威十三进制函数.
定义.为定义康威函数 formula_1 首先将自变量 formula_2 在十三进制下展开，并忽略展式中出现的正负号或小数点.