德国著名数学家希尔伯特在年举办的国际数学家大会中所提出的“算术公理的相容性(thecompatibilityofthearithmeticalaxioms)”这一问题推动了可计算思想研究的深入