数学哲学的创始问题：从最简单到最复杂的问题（下）希尔伯特和布劳威尔对数学的看法不同，希尔伯特认为数学是一种形式主义的游戏

数学哲学的创始问题：从最简单到最复杂的问题（下）

希尔伯特和布劳威尔对数学的看法不同，希尔伯特认为数学是一种形式主义的游戏，布劳威尔则更看重数学的现实主义。希尔伯特提出了一个试图建立一个包括所有数学的公理系统的计划，称为希尔伯特计划，但哥德尔定理证明该计划不可能实现，导致了对数学现实主义的讨论。在逻辑主义方法中，数学定理被还原为逻辑命题，但后来发现了罗素悖论和哥德尔不完备性定理，使数学现实主义成为一个有争议的话题。