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

设为首页收藏本站

开启辅助访问切换到宽版

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

zhangbeijing

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

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

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

百度和Google的科学分野: 热度 2 张寅生 2016-5-6 10:03; 已经有分析的文章指出百度和 Google 相似的背景和不同的结局：二者大致同时成为上市公司，最初都搞网上搜索引擎。若干年下来，一个成为人工智能划时代事件的人机大战事件创造者，另一个成为虚假医疗信息的代言人。何以如此？有个文章说“你是你的选择”，是指百度选择了自己的道路。但是得分析一下，为啥一个选高一 ...; 个人分类: 超数学|6442 次阅读|2 个评论热度 2

递归函数的通俗解释: 热度 3 张寅生 2016-5-1 18:30; 作者：张寅生 1 、广义递归函数家族所谓的递归函数就是广义递归函数，其分类见表 1 ：表1 递归函数的分类递归函数（广义递归函数、一般递归函数， G ...; 个人分类: 超数学|18307 次阅读|8 个评论热度 3

逻辑的灵魂与意义: 热度 3 张寅生 2016-4-19 19:07; 作者：张寅生你会加法 ------- 这应该是你在小学一年级学会了的。描述经济增长总量的经济宏观模型 ----- 凯恩斯国民收入模型（国民收入 = 消费 + 投资）用的就是加法，但是它不是你的发现。这个定律是宏观经济学的基石，它定量描述了每个人所从事的经济活动的价值增量的总和，也包含 ...; 个人分类: 智能|5596 次阅读|3 个评论热度 3

递归函数的历史和家族: 热度 1 张寅生 2016-4-17 09:43; 递归函数的历史和家族作者：张寅生图灵机是数字电子计算机的理论模型，但不是一个纯粹的数学模型，因为它有物理装置的描述，而不是纯粹数或数学结构的描述。 ...; 个人分类: 超数学|7643 次阅读|4 个评论热度 1

希尔伯特第24个数学问题: 张寅生 2016-4-14 19:42; 希尔伯特第24个数学问题作者张寅生希尔伯特的23个数学问题对于数学界广为人知。数学词典这样描述它： 1900 年，希尔伯特 * 在国际数学家大会上作了关于数学问题的演讲，提出了23个在各个数学 ...; 个人分类: 超数学|6162 次阅读|没有评论

希尔伯特梦后百年: 热度 1 张寅生 2016-4-13 19:00; 希尔伯特梦后百年作者：张寅生一、希尔伯特纲要希尔伯特于1917年在苏黎世数学学会提出了数学公理化的主张。1922年。希尔伯特在汉堡的数学会议上提出了所谓的希尔伯特纲要。纲要的要点是：数学可以完全形式化；所以 ...; 个人分类: 超数学|8523 次阅读|1 个评论热度 1

证明论的百年成就: 热度 2 张寅生 2016-4-10 19:08; 证明论系由希尔伯特创立，这在数学界是没有异议的。大致说来，证明论经过了百年。那么，百年以来，证明论取得了哪些成就呢？中国大百科全书数学卷“证明论”条目认为证明论系希尔伯特创立，希尔伯特将“元数学（ Meta-mathematics ）”等同于“证明论”，这也是数学界普遍接受的观点，没 ...; 个人分类: 超数学|8451 次阅读|3 个评论热度 2

数学证明方法有多少种？: 热度 2 张寅生 2016-4-10 17:35; 这个问题难以回答 --------- 首先涉及如何定义一种数学证明方法，然后才可统计。希尔伯特对数学证明的定义是：一个证明是一个格式，它本身必须清楚地呈现在人们面前；它根据推理模式，由一系列断定组成，这里前提 S 或是一条公理（或一些公理），或是在展开中先已出现的证明格式的结尾公式。类似地，哥德 ...; 个人分类: 超数学|22740 次阅读|3 个评论热度 2

引力波的探测历程与未来展望: 热度 1 张寅生 2016-4-10 09:08; 关于发现引力波的介绍文章。文章原文见科学网/文献/文献正文： http://doc.sciencenet.cn/DocInfo.aspx?id=24311; 个人分类: 广义相对论|5383 次阅读|2 个评论热度 1

哥德尔证明有了汉译文！: 张寅生 2016-4-10 06:20; 哥德尔证明，指的是哥德尔不完备性定理的证明。关于哥德尔不完备性定理，“百度百科”介绍如下：哥德尔是奥地利裔美国著名数学家，不完备性定理是他在 1931 年提出来的。这一理论使数学基础研究发生了划时代的变化，更是现代逻辑史上很重要的一座里程碑。该定理与塔尔斯 ...; 个人分类: 超数学|6308 次阅读|没有评论

会议

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

GMT+8, 2024-4-20 05:12

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部