判断题 哥德尔不完备定理说明在任何一个数学系统肯定能找到一个命题，即无办法证明它，也无办法推翻。

单项选择题 无理数产生于第（）次数学危机。

单项选择题 1936年，英国图灵提出了一种理想的计算机器的数学模型，被称为（）。