首页 >
逻辑主义
✍ dations ◷ 2025-02-23 07:32:00 #逻辑主义
逻辑主义是数学哲学中的一门学派,其理论推测数学是逻辑的延伸,甚至认为一切的数学皆可视为逻辑的原型。创始者为戈特洛布·弗雷格,伯特兰·罗素和阿弗烈·诺夫·怀海德在理论理论提出后拥戴此论。戈特洛布·弗雷格在伯特兰·罗素提出罗素悖论后放弃了产生矛盾的朴素集合论。罗素和怀海德将此有关概念著于Principia Mathematica一书。哥德尔不完全定理有时被声称妨碍了此计划的目的。它亦为二十世纪分析哲学的重要指标。
相关
- β-变形菌纲详见细菌分类表β-变形菌网(学名:Betaproteobacteria)是变形菌门中的一纲,与γ-变形菌关系最近。医学导航:病菌细菌(分类)gr+f/gr+a(t)/gr-p(c/gr-o药物(J1p、w、n、m、疫苗)
- 邻苯二甲酸酯邻苯二甲酸酯(Phthalates,PAEs),又称酞酸酯,统称邻苯二甲基酯类,主要做为增塑剂(增塑剂)使用,添加到塑胶中以增强弹性、透明度、耐用性和使用寿命。邻苯二甲酸酯也可用来软化聚氯乙烯
- 黑僵菌黑僵菌(学名:Metarhizium anisopliae,基名(英语:Basionym):Entomophthora anisopliae)是一种广泛分布于全世界土壤中,且可以在昆虫造成疾病的真菌(虫生真菌(英语:entomopathogenic fungi
- 博弈论博弈论(英语:Game Theory),又译为对策论或赛局理论,是经济学的一个分支,1944年冯·诺伊曼与奥斯卡·摩根斯特恩合著《博弈论与经济行为》,标志着现代系统博弈理论的的初步形成,因此
- 四羟基合锌酸钠四羟基合锌酸钠是一种配位化合物,化学式为Na2。平时所说的锌酸钠是含锌酸根或羟基锌酸根离子的钠盐的总称,在应用中,其精确的化学式不太重要,一般而言指的是各种锌酸钠的水溶液
- β-内酰胺类β-内酰胺类抗生素(Beta-lactam antibiotic)是一种种类很广的抗生素,其中包括青霉素及其衍生物、头孢菌素、单酰胺环类(英语:monobactam)、碳青霉烯和青霉烯类酶抑制剂等。基本上
- 信息系统信息系统或资讯系统(Information Systems),从技术上说就是为了支持组织决策和控制而收集(或获取)、处理、存储、分配信息的一组相互关系的组件。除了支持决策、协作和控制,信息系
- 高半胱氨酸同半胱氨酸(英语:Homocysteine,或称为同型半胱氨酸或高半胱氨酸)是氨基酸半胱氨酸的异构物,在支链部分硫醇基(-SH)前包含一个额外的亚甲基(-CH2-)。同半胱氨酸的额外亚甲基使硫醇基更
- 音段音素是语言学术语,但其意涵有两种分歧的说法。它可以指:
- DingbatDingbats,俗称杂锦字体,本来是印刷品之中使用的装饰及图形符号。在计算机被用来制作印刷刊物后,印刷业界便制造了各种杂锦字体,最著名的是Adobe的Zapf Dingbats字体。微软于Wind