数理逻辑学是谁创立的
时间：2026-10-16 15:31:59来源：数理逻辑学是一门结合数学与逻辑学的学科，主要用于研究推理的形式和结构。它的发展与多位学者密切相关。
| 人物 | 贡献 | 备注 |
| 弗雷格 | 创立现代逻辑体系 | 被认为是数理逻辑的奠基人 |
| 罗素 | 提出类型论，与怀特海合著《数学原理》 | 推动逻辑与数学的结合 |
| 希尔伯特 | 提出形式主义观点 | 对逻辑系统化有重要影响 |
| 图灵 | 提出图灵机模型 | 为计算机科学奠定基础 |
弗雷格是最早尝试用数学方法表达逻辑的人之一，他的工作为后来的逻辑学发展奠定了基础。罗素和怀特海进一步完善了这一领域，而希尔伯特则推动了逻辑系统的公理化。图灵则将逻辑应用于计算理论，对现代计算机科学产生深远影响。
展开更多
标签：
