科学网

 找回密码
  注册
搜索
热搜: 科学 论文
搜索
置顶 · 欧拉特称量词模型的改进
2021-7-30 20:24
一阶逻辑有两个基本量词:全称量词和存在量词 。 后者被解释为特称量词 的发展,其中的一个解释模型是欧拉图模型。 这一解释被质疑多年,具有不完备性,并与现代(莱布尼茨之后)的存在量词语义不一致,这使得逻辑史家“ 百思不得其解 ”。 如 Keith Stenning, Michiel Van Lambalgen 问道: “How could a ...
个人分类: 超数学|1296 次阅读|没有评论
广义相对论时空计算
张寅生 2016-6-17 18:53
广义相对论时空计算.pdf
个人分类: 广义相对论|3160 次阅读|没有评论
引力波的探测历程与未来展望
热度 1 张寅生 2016-4-10 09:08
关于发现引力波的介绍文章。文章原文见科学网/文献/文献正文: http://doc.sciencenet.cn/DocInfo.aspx?id=24311
个人分类: 广义相对论|4745 次阅读|2 个评论 热度 1

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

GMT+8, 2022-9-29 09:39

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部