问题:
[单选] 9个平面可以把空间分为()部分。
A、42.0。B、64.0。C、93.0。D、130.0。
问题:
[单选] 形式的公理化方法在逻辑上的要求,是满足相容性,()和完全性。
A、一致性。B、成套性。C、独立性。D、安全性。
问题:
[单选] 古希腊数学家()所著《几何原本》是公理化思想的萌芽。
A、埃拉托斯特尼。B、欧几里得。C、毕达哥拉斯。D、阿基米德。
问题:
[单选] 1899年数学家()根据《几何原本》的理论经行修改,出版了《几何基础》。
A、希尔伯特。B、莱布尼茨。C、马克劳林。D、达朗贝尔。
问题:
[单选] 哥德尔发表在《数学物理期刊》上的论文,提出了()。
A、公理系统不具有独立性。B、公理系统不具有相容性。C、公理化方法的局限性。D、公理化方法的优势。
问题:
[单选] 无论是“说谎者悖论”,还是哥德尔的模仿,问题的核心都指向了()。
A、自相矛盾。B、自相抵消。C、自我指谓。D、不合情推理。
问题:
[单选] 美国数学家()于1980年出版了著作《数学:确定性的丧失》。
A、诺伯特·维纳。B、约翰·福布斯·纳什。C、F·克莱因。D、M·克莱因。
问题:
[单选] “算术相容性”在希尔伯特的“元数学”体系中,是一个不可判定命题,但是1936年数学家()证明了它。
A、鲁道夫。B、根岑。C、胡尔维茨。D、马克劳林。
A、自然统势。B、循环统势。C、连续统势。D、自然统势。