问答题
什么是“希尔伯特纲领”
为了消除悖论，奠定更加牢固的数学基础，20世纪初，逐步形成了关于数学基础研究的逻辑主义、直觉主义和形式主义三大流派。其中......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
问答题 给出罗素悖论的形式化描述，并简介其大意。
问答题 简述人们对计算本质的认识历史。
问答题 如何定义一门学科？
