有限主义

✍ dations ◷ 2025-04-03 11:54:21 #有限主义
在数学哲学,有限主义是构成主义的极端形式,意即除非某数学物件能经过有限步从自然数中构造出来,否则该物件便不存在。相反,大部分构成主义者容许可列出的无限步。著名有限主义者利奥波德·克罗内克曾说:“上帝创造整数,其他的都是人类的工作。”虽然大部分现代有限主义者的观点较弱,但他们的有限主义思想源头都可以在克罗内克的作品找到。更强的有限主义是极端有限主义。

相关

  • 儿科小儿科(或称儿科)是现代医学的一个分支,专门医疗患病的婴儿、儿童及青少年。最大的年龄通常至青春期。一个受到这方面知识专门训练的医生被称作儿科医生。
  • 异烟肼异烟肼(肼,汉语拼音:jǐng)(英文名:Isoniazid, Laniazid, Nydrazid, INH,全名为isonicotinic acid hydrazide),又称4-吡啶甲酰肼、雷米封(Rimifon),是异烟酸的酰肼。异烟肼为无色结晶或
  • 同源染色体同源染色体是在二倍体生物细胞中,形态、结构基本相同的染色体,并在减数第一次分裂(参考减数分裂)的四分体时期中彼此联会(若是三倍体及其他奇数倍体生物细胞,联会时会发生紊乱)最后
  • 精神依赖心理依赖(英语:Psychological dependence),亦称精神依赖,指的是在停药、停止某项活动时因情感产生的依赖导致的戒断症状(如烦躁、失乐、焦虑等)。心理依赖有时候也被认为是成瘾症状
  • 喉咙痛咽喉痛(sore throat、throat pain,又称喉咙痛或喉痛),是指咽喉出现痛楚的症状,最主要的成因是咽喉炎(喉咙发炎),但可由其他原因引致,例如白喉和伤风感冒威胁。 服用非类固醇消炎止痛
  • 恶性疟原虫Oscillaria malariae Laveran, 1881 Plasmodium malariae Marchiafava and Celli, 1885 Laverania malariae Feletti and Grassi, 1890 Ematozoo falciforme Antolisei and
  • 世界无烟日世界无烟日(英语:World No Tobacco Day,或译世界无烟草日),是世界卫生组织在1987年创立的,现在每年的5月31日就是世界无烟日。第一个世界无烟日是1988年4月7日。世界无烟日的意义
  • 亮氨酸亮氨酸(英文:Leucine,简写为 Leu 或 L)是二十种基本氨基酸的其中一种,和异亮氨酸互为同分异构体。在营养学上,亮氨酸是人体的必需氨基酸。亮氨酸是在蛋白质内最常出现的氨基酸,而且
  • 基因铭印基因铭印(英语:Genomic imprinting)又译遗传印记或遗传铭印(genetic imprinting)是一种遗传学现象,指只有来自特定亲代的基因得以表达,而不遵从孟德尔定律依靠单亲传递某些遗传学性
  • 扶余语族扶余语系是一种假定存在的古代语系,约莫于公元前1世纪到公元5世纪左右在今日的朝鲜半岛和中国东北南部通行。扶余语族包括了濊貊、扶余国、高句丽、东濊、沃沮、百济等国家的