蔡廷 (蔡廷楷)

蔡廷常数为什么是个常数

蔡廷常数（Chaitinsconstant）是1975年由格里高里·蔡廷发现的不可计算数的概率值。1975年，计算机学家格里高里·蔡延提出来了一个特别有意思的想法：选择任意一种程式语言，随意输入一段程式码，该程式码能够成功运行并且能够在有限时间内终止的机率即为蔡廷常数。

历史上有没有姓蔡的宰相？是谁？

燕国：蔡泽，战国秦昭王丞相

河内温县：蔡义，西汉昭帝丞相

河内怀县：蔡茂，东汉光武帝司徒（相当于户部尚书，光武不设丞相，以太尉、司徒、司空为三公）”

济阳考城：自魏至南北朝任尚书或宰相的有蔡睦、蔡谟、蔡廓、蔡兴宗、蔡撙、蔡大宝、蔡大业、蔡徵

长平高平：蔡佑，西魏文帝门下侍中（宰相），祖先陈留圉县人，故与济阳蔡同源

山东胶州：蔡齐，北宋仁宗参知政事（右丞相），真宗乙卯科（1015）状元

福建晋江：蔡确，北宋神宗尚书左仆射（左丞相）（注：左丞相是首相，右丞相是次相，都是丞相或宰相）

福建仙游：蔡卞，北宋哲宗宰相，蔡京之弟

福建仙游：蔡京，北宋徽宗宰相

福建仙游：蔡攸，北宋徽宗宰相，蔡京之子

福建仙游：蔡翛，北宋徽宗礼部尚书，蔡京之子、蔡攸之弟

河南开封：蔡薿，北宋徽宗礼部尚书，徽宗丙戌年（1106）的状元

河北真定：蔡松年，金朝海陵王右丞相

福建仙游：蔡洸，南宋孝宗吏部、户部尚书，端明殿学士蔡襄曾孙，祖或父迁霅川（浙江吴兴）

福建建阳：蔡杭（蔡抗），南宋理宗参知政事（副相，南宋时略低于左、右丞相）

福建晋江：蔡克亷，明嘉靖户部尚书

福建漳浦：蔡思充，明万历工部尚书

江西奉新：蔡国珍，明万历吏部尚书

江西金溪：蔡国用，明崇祯礼部、吏部尚书（奉新、金溪相距约170公里，不知是否一家族）

辽宁锦州：蔡廷，清康熙吏部尚书

福建漳浦：蔡新，清乾隆大学士（宰相），曾任吏部、兵部、刑部尚书，族叔礼部侍郎蔡世远为清乾隆的老师