标签：#形式主義 (推理)

形式主义 (数学哲学)

在数学哲学中，形式主义是一个在十九世纪末到二十世纪初由大卫·希尔伯特等数学家与哲学家发展出的重要数学哲学理论。 形式主义者的中心思想是数学并非是一门致力于描述现实世界的科学，而是更接近于一种使用既定规则对一组初始字符串进行操作来产生更多字符串的文字游戏。形式主义通常认为，比起化学和物理等科学，数学其实更接近于卢多或象棋之类的游戏。 根据形式主义，数学命题描述的不是数字、集合、三角形或任何其他的数学对象——事实上，它们根本不描述任何东西。…