科学网—zhangbeijing的博文 - 第3页

设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文 › zhangbeijing的博文

zhangbeijing

https://blog.sciencenet.cn/?320682

超数学| 广义相对论| 智能|

置顶 · 欧拉特称量词模型的改进: 2021-7-30 20:24; 一阶逻辑有两个基本量词：全称量词和存在量词。后者被解释为特称量词的发展，其中的一个解释模型是欧拉图模型。这一解释被质疑多年，具有不完备性，并与现代（莱布尼茨之后）的存在量词语义不一致，这使得逻辑史家“ 百思不得其解 ”。如 Keith Stenning, Michiel Van Lambalgen 问道： “How could a ...; 个人分类: 超数学|2002 次阅读|没有评论

什么是超数学？: 张寅生 2016-4-9 20:22; 作者：张寅生 Meta-Mathematics 一直译为“元数学”。本人提议改译为“超数学”，原因是“元数学”把意思译反了，译错了。几乎所有“元 XX ”的称呼都错了：当前称之为“元 XX ” ...; 个人分类: 超数学|7205 次阅读|没有评论

证明方法与理论目录: 张寅生 2016-4-9 19:45; 目录绪论 0.1 对证明论学科发展的一些看法 0.2 本书的一些尝试第1部分预备知识第 1 章基本概念的定义和举例第 2 章基础知识 2.1 集合论概述 2.2 逻辑学概述第2部分证明方法第 3 章关系运算证明方法第 4 ...; 个人分类: 超数学|5158 次阅读|没有评论

《证明方法与理论》内容简介: 热度 2 张寅生 2016-4-9 19:21; 张寅生著《证明方法与理论》已于2015年11月由国防工业出版社出版。该专著阐述数学证明的基本原理，主要包括证明方法和证明理论，是探讨证明方法和证明理论内在联系和本质特征的数学专著。 “证明方法”集成了常见或具有重要影响并具有逻辑独立性和形式化特征的数学证明方法，分别给出了这些方法的表示 ...; 个人分类: 超数学|5861 次阅读|2 个评论热度 2

法律教科书上的三段论讲解有误！: 张寅生 2014-4-10 20:21; 法律教科书上的三段论讲解有误！因为这些沿袭了两千多年的特称量词是有歧义的！直言判断的后项无量词约束也是有歧义的！看完这本书，你发现逻辑学的基础相当于说“太阳围绕地球转；地球也围绕太阳转”。详见：张寅生.《扩展的三段论及自动推理》,科学技术文献出版社，2009年 www.mathematiclogic.net; 2566 次阅读|没有评论

会议

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

GMT+8, 2024-4-25 21:22

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部