H
📝 描述
In 1921, David Hilbert made a proposal for a formalist foundation of mathematics, for which a finitary consistency proof should establish the security of mathematics. From the Stanford Encyclopedia of Philosophy, by Richard Zach.
⭐ 用户评价
暂无评价