摘要
在形式主义学派数学哲学基本主张中,元叙事、基础主义和绝对主义构成了其现代性的思想特质。哥德尔不完全性定理表明,形式化证明对于论证数学真理是不充分的,这构成了拒绝形式主义的主要理由。伴随着基础主义思想的衰落,形式主义的整体数学观走到了其历史发展的终点。
The metanarratives,foundationalism and absolutism are three basic modern assumptions of formalist.Godel＇s incompleteness theorem establishes that deductive proof is insufficient for demonstrating all mathematical truths,which constitutes the major ground for the rejection of formalism.With the failure of foundationalism,the formalism program and its conception of metamathematics have been shown to be impossible.
出处
《科学技术哲学研究》
CSSCI
北大核心
2010年第6期22-25,共4页
Studies in Philosophy of Science and Technology
关键词
基础主义
形式主义
元数学
foundationalism
formalism
metamathematics
