科学网

 找回密码
  注册
置顶 · 欧拉特称量词模型的改进
2021-7-30 20:24
一阶逻辑有两个基本量词:全称量词和存在量词 。 后者被解释为特称量词 的发展,其中的一个解释模型是欧拉图模型。 这一解释被质疑多年,具有不完备性,并与现代(莱布尼茨之后)的存在量词语义不一致,这使得逻辑史家“ 百思不得其解 ”。 如 Keith Stenning, Michiel Van Lambalgen 问道: “How could a ...
个人分类: 超数学|2428 次阅读|没有评论
逻辑的灵魂与意义
热度 3 张寅生 2016-4-19 19:07
作者:张寅生 你会加法 ------- 这应该是你在小学一年级学会了的。描述经济增长总量的经济宏观模型 ----- 凯恩斯国民收入模型 (国民收入 = 消费 + 投资)用的 就 是加法, 但是 它 不是你的发现。这个 定律 是宏观经济学的基石,它定量描述了每个人所从事的经济活动的价值增量的总和,也包含 ...
个人分类: 智能|5986 次阅读|3 个评论 热度 3
希尔伯特第24个数学问题
张寅生 2016-4-14 19:42
希尔伯特第24个数学问题 作者 张寅生 希尔伯特的23个数学问题对于数学界广为人知。数学词典这样描述它: 1900 年,希尔伯特 * 在国际数学家大会上作了关于数学问题的演讲,提出了23个在各个数学 ...
个人分类: 超数学|6677 次阅读|没有评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-9-19 05:25

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部