设为首页收藏本站
开启辅助访问 切换到宽版

科学网

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

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

GMT+8, 2024-4-25 13:13

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部