逻辑主义

✍ dations ◷ 2024-07-05 02:42:43 #逻辑主义
逻辑主义是数学哲学中的一门学派,其理论推测数学是逻辑的延伸,甚至认为一切的数学皆可视为逻辑的原型。创始者为戈特洛布·弗雷格,伯特兰·罗素和阿弗烈·诺夫·怀海德在理论理论提出后拥戴此论。戈特洛布·弗雷格在伯特兰·罗素提出罗素悖论后放弃了产生矛盾的朴素集合论。罗素和怀海德将此有关概念著于Principia Mathematica一书。哥德尔不完全定理有时被声称妨碍了此计划的目的。它亦为二十世纪分析哲学的重要指标。

相关

  • 序列序列(sequences)在数学领域,是被排成一列的对象(或事件);这样,每个元素不是在其他元素之前,就是在其他元素之后。这里,元素之间的顺序非常重要。例如,(C,Y,R)是一个字母的序列:顺序是C
  • 格林-巴利综合征古兰-巴雷综合征(Guillain-Barré syndrome,缩写为GBS),又称基连巴瑞症候群、脱髓鞘多发性神经炎、吉兰-巴雷综合征、古兰-巴雷综合征。是一种因免疫系统损害周围神经系统,而导致的
  • 灵敏度和特异度灵敏度和特异度(Sensitivity and specificity),是统计学中用来表征二项分类测试特征的数据。灵敏度可以作为避免假阴性的量化指标,而特异度可以作为避免假阳性的量化指标。对于
  • 墨西拿墨西拿(意大利语:Messina)是意大利西西里岛上第三大的城市,也是墨西拿省的首府。墨西拿在西西里岛的东北角,正对墨西拿海峡。墨西拿为古代来自希腊麦西尼亚的殖民者于公元前8世记
  • 代谢疾病代谢疾病(代谢病)是一种影响人类(或动物)细胞生产能量的障碍,又称为新陈代谢失调症。大部分代谢疾病都是遗传性疾病,而有部分是从饮食、毒素、感染等而有。遗传性的代谢疾病一般
  • 有毒蘑菇蕈类(注音:ㄒㄩㄣˋㄌㄟˋ;拼音:xùn lèi),通称蘑菇、菇类,是大型、高等的真菌,子实体通常肉眼可见。菌丝具横隔壁,将菌丝分隔成多细胞。不过,蘑菇一词通常是对蘑菇属(Agaricus)部分食
  • 原致癌基因癌基因,也称为致癌基因(英语:Oncogene)是一类能使正常细胞转化为癌细胞的基因。一般地,癌基因是功能出现异常的原癌基因(英语:Proto-oncogene)。原癌基因一般与细胞的增殖生长相关,功
  • 博厄斯Helene Boas Yampolsky (1888-1963) Ernst Philip Boas (1891-1955)Hedwig Boas (1893/94)Gertrud Boas (1897-1924)Henry Herbert Donaldson Boas (1899-1925) MarieMeie
  • 普遍文法普遍文法(英语:universal grammar,缩写为 UG),又译为普遍语法,一种语言学理论,最有名的提倡者为乔姆斯基。这个理论认为在人类能够学习到各种文法的普遍能力,是被内建在大脑中的。它
  • 粗体粗体是在正常字体样式(或字型)的基础上,通过加粗笔画实现的一种字体样式。例如,“维基百科”的粗体样式为“维基百科”。粗体的英文是bold,在字体编辑软件中,往往以B作为加粗字体