搜索筛选:
搜索耗时1.2599秒,为你在为你在102,285,761篇论文里面共找到 9 篇相符的论文内容
发布年度:
[期刊论文] 作者：薄谋,,
来源：科学经济社会 年份：2017
在当代数学哲学实在论与反实在论的较量中，我们希望通过考察模态性来引出反实在论者的各种归约本体论的方案。首先考察了菲尔德的模态虚构主义，然后依次是赫尔曼的模态结构主义......
[学位论文] 作者：薄谋,,
来源：复旦大学 年份：2011
如果真要探究弗雷格算术系统中的非一致性根源,那么,不仅需要找到算术片段一致性的模型,而且也要找出算术片段的可解释性。因此,本文的主线索有两条：一条是证明弗雷格算术一阶......
[期刊论文] 作者：薄谋,
来源：现代音响技术 年份：2004
来自挪威的New Age组合“神秘园”大家应该不陌生了，这个乐风清新飘逸的“二人转”曾经在中国风靡一时，似乎是亚洲人的喜好所至，也可能是日常工作压力颇大，New Age风格的音乐在亚......
[期刊论文] 作者：薄谋,
来源：现代音响技术 年份：2004
在介绍这张电影原声唱片以前，有必要简单介绍一下凡·海辛的背景。这是一个来自美国的捉鬼大师，拥有多项捕杀吸血鬼、狼人的欧洲怪物的独门秘技，感觉上有点像中国古代传说里......
[学位论文] 作者：薄谋,
来源：复旦大学 年份：2008
本文试图通过文本互参的方法来探讨卢梭和马克思的关系。我将注意力着眼于两个文本:第一个是卢梭的《论人与人之间不平等的起因与基础》;第二个是马克思的《德意志意识形态》...
[会议论文] 作者：薄谋,
来源：2014年南开数理逻辑研讨会 年份：2014
In Part 1,I will introduce Frege theorem and Frege arithmetic,then I will give some models of Frege arithmetic,including the fragments of first-order one an...
[期刊论文] 作者：薄谋,,
来源：思想与文化 年份：2015
在对专名的理解上,弗雷格和罗素的态度是一样的,他们都是从语境定义出发去解释专名.随后,弗雷格让涵义统治指称,罗素把专名理解为摹状词.然而,从克里普克可能世界语义学的角...
[期刊论文] 作者：薄谋,
来源：科学技术哲学研究 年份：2021
在数学证明的过程中,人们经常使用的方法是数学归纳法.数学归纳法体现的是从有限上升到无穷的过程.根据希尔伯特的术语,有限体现的是实在数学,无穷体现的是理想数学.希尔伯特...
[期刊论文] 作者：薄谋,
来源：科学技术哲学研究 年份：2022
希尔伯特工具主义者希望用理想数学替换实在数学,但这样的元数学替换策略会导致稀释问题,也就是理想证明量上的增加会引起实在证明中质上的减少.为了解决稀释问题,需要对有限主义进行深入的研究.这是有限证明的必要性.对哥德尔主义标准论证的反驳使得有限证明变......
相关搜索：
