数学
lengye7
这个作者很懒,什么都没留下…
展开
-
哥德尔不完全性定理
第一定理任意一个包含一阶谓词逻辑与初等数论的形式系统,都存在一个命题,它在这个系统中既不能被证明为真,也不能被证明为否。(另外一种简单表达:一个不弱于初等数论的形式系统,如果一致则必不完全。)第二定理如果系统S含有初等数论,当S无矛盾时,它的无矛盾性不可能在S内证明。(另外一种简单表达:这样的系统如果一致,则一致性无法再系统内证明。)所谓初等数论,必然是包含了自然数及加减...转载 2019-04-23 15:46:09 · 4176 阅读 · 0 评论 -
康托尔悖论:大全集不存在,即包含一切集合的集合是否存在
有1个元素的集合其子集有2个,有2个元素的集合其子集共有4个,一般地,有n个元素的集合其子集有2^n个,n个元素的集合其基数为n,而其所有子集组成的集合的基数为2^n ,显然2^n>n.因此有“康托尔定理”:任意集合(包括无穷集)的幂集的基数大于该任意集合的基数.据康托尔集合理论,任何性质都可以决定一个集合,这样所有的集合又可以组成一个集合,即“所有集合的集合”(大全集).显然,此集合应该...转载 2019-04-23 15:39:05 · 3866 阅读 · 0 评论 -
什么是一阶逻辑(First-order Logic)
实际上,一阶逻辑是一种形式系统(Formal System),即形式符号推理系统,也叫一阶谓词演算、低阶谓词演算(Predicate Calculus)、限量词(Quantifier)理论,也有人称其为“谓词逻辑”,虽然这种说法不够精确。总之,不管怎么说,一阶逻辑就是一种形式推理的逻辑系统,是一种抽象推理的符号工具。我们要注意的是,一阶逻辑不同于单纯的“命题逻辑”(Prop...转载 2019-04-23 15:29:52 · 21539 阅读 · 1 评论 -
逻辑学中的思维规律:同一律,不矛盾律,排中律,充足理由律
同一律是指在同一思维过程中,使用的概念和判断必须是同一的,也就是“A是A,A=A”.比如说:1+1=2,他们在表示实际意义的时候是同一个或同一种对象,不能是前一个“1”表示苹果,后一个“1”是梨,“2”是桔子,一个苹果“加”一个“梨”是两个桔子,这明显是不合逻辑的.或者可以说是同一性判定问题。不矛盾律是指同一思维过程中,对同一对象不能做出两种矛盾的判断,即不能既肯定它,又否定它,也就...转载 2019-04-23 14:56:13 · 12083 阅读 · 0 评论 -
数学基础:什么是集合?什么是类?什么是真类?
数学基础:什么是集合?什么是类?什么是真类?------------------------------吕陈君转载自:http://blog.sina.com.cn/s/blog_3eefe0890102x32u.html我接着来讲讲什么是集合、类和真类?这些概念在教科书里也没有完全讲清楚、讲透彻。在经典数学和逻辑学里,人们一般把集合看成是满足某一性质的对象汇聚的总体。但是...转载 2019-04-24 03:00:33 · 6203 阅读 · 0 评论 -
罗素悖论
1、为什么罗素悖论产生一次数学危机这要从当时的数学背景说起。之前由于不严密的使用微积分导致了数学危机二。柯西,阿贝尔等人严密化了微积分。这使数学家看到了严格的数学应该是什么样子的——严格得公理化体系。皮亚诺提出了自然数论得公理。于是,自然的,希尔伯特提出一个计划,要给整个数学建立一套公理系统,使得所有数学命题都能在这个系统中表示。大多数数学命题可以通过自然数结构,及其子集的相关运算(概念)表示。...转载 2019-04-19 22:39:28 · 2419 阅读 · 0 评论 -
自然数e的故事(转)
e表示增长的极限e=limx→+∞ (1+1/x)^x≈2.71828假设,一根竹子,第一天是1米,第二天长了1米,然后这根柱子的长度变成了2米。相当于 (1+1/1)^1.上面这个假设,如果仔细想下是错误的,因为在原来的回答里面我已经说过了,植物的成长是新旧一起长的,而且是时时刻刻在长的,ok,然我们把时间分细点,看看如果是每小时成长会怎样,于是变成了: (1+1/24)^24=...转载 2019-04-29 14:13:32 · 11855 阅读 · 2 评论 -
一阶逻辑与二阶逻辑的区别【转】
作者:ZS Chen链接:https://www.zhihu.com/question/22915503/answer/151477106一阶二阶这类的词, 一是表达量化的程度, 二是表达逻辑系统多有表达能力.我们一步步来, 首先是命题逻辑(很少部分人叫它作零阶逻辑). 在命题逻辑里, 每一个字母就代表一个命题, 所以命题逻辑只能表达句子之间的关系, 比如“p&q”, “if ...转载 2019-04-30 14:48:59 · 5454 阅读 · 0 评论 -
康托尔集合论-罗素悖论-公理化集合论-不完全性定理
康托尔集合论-罗素悖论-公理化集合论-不完全性定理1.第二次数学危机的解决---集合论成了全部数学的基础。(第二次数学危机详细见参考中三次数学危机.)19世纪,柯西详细而有系统地发展了极限理论。柯西认为把无穷小量作为确定的量,即使是零,都说不过去,它会与极限的定义发生矛盾。无穷小量应该是要怎样小就怎样小的量,因此本质上它是变量,而且是以零为极限的量,至此柯西澄清了前人的无穷小的概念,另外...转载 2019-04-30 14:53:53 · 5591 阅读 · 0 评论 -
什么是无穷:康托超穷数理论简评
转载自http://blog.sina.com.cn/s/blog_3eefe0890102x37g.html 吕陈君我接着来讲讲无穷的概念。其实出发点很简单,任何无穷都是从自然数开始的,即W:1,2,…,n,……我们就把潜无穷序列W称作“基本无穷”。接下来的问题就是,我们要在W的基础上来定义各种各样的函数集合,然后情况就变得复杂起来了。不失一般性...转载 2019-04-30 21:06:44 · 4158 阅读 · 0 评论 -
连续统假设该如何来判定?
转载自:http://blog.sina.com.cn/s/blog_3eefe0890102x39j.html 吕陈君最后来讲讲连续统假设CH。只要采用集合论来解析数学基础,必然就会碰到CH问题:实数的个数2^w究竟等于哪个阿列夫Wn。如果你不采用集合论,当然就碰不到CH,但你必然会碰上别的什么问题,它其实也等价于CH。数学基础最核心的问题就是,如何确定自然数和实数的结构...转载 2019-04-30 21:19:01 · 1514 阅读 · 0 评论 -
常用数学符号读法大全
大写 小写 英文注音 国际音标注音 中文注音 Α α alpha alfa 阿耳法 Β β beta beta 贝塔 Γ γ gamma gamma 伽马 Δ δ deta delta 德耳塔 Ε ε epsilon epsilon 艾...转载 2019-05-20 18:52:19 · 1401 阅读 · 0 评论 -
常用的数据校验方法
1.什么是数据校验通俗的说,就是为保证数据的完整性,用一种指定的算法对原始数据计算出的一个校验值。接收方用同样的算法计算一次校验值,如果和随数据提供的校验值一样,就说明数据是完整的。2.最简单的检验实现方法:最简单的校验就是把原始数据和待比较数据直接进行比较,看是否完全一样这种方法是最安全最准确的。同时也是效率最低的。适用范围:简单的数据量极小的通讯。3.奇偶校验Parity ...转载 2019-07-15 15:14:28 · 27509 阅读 · 0 评论 -
公理集合论还有什么问题?
公理集合论还有什么问题? -------------------吕陈君转载自:http://blog.sina.com.cn/s/blog_3eefe0890102x38p.html因为康托素朴集合论中存在悖论,所以人们试图采用公理方法来一步步构造出合法的集合,把有问题的集合(即真类)都排除出去。公理集合论有好几个系统,但都是等价的,人们常用的是ZFC。在ZFC中,已知的悖论都能...转载 2019-04-23 13:48:31 · 703 阅读 · 0 评论 -
数学体系分支
1..数学史 2.. 数理逻辑与数学基础 a.. 演绎逻辑学 亦称符号逻辑学 b.. 证明论 亦称元数学 c.. 递归论 d.. 模型论 e.. 公理集合论 f.. 数学基础 g.. 数理逻辑与数学基础其他学科 3.. 数论 a.. 初等数论 b.. 解析数论 c.. 代数数论 d.. 超越数论 e.. 丢番图逼近 f.. 数的几何 g.. 概率数论 h.. 计算数论 i.. 数论其他学科 4.....转载 2018-05-29 18:46:18 · 15872 阅读 · 2 评论 -
通往数学世界的地图
通往数学世界的地图 继物理学地图之后,今天要给大家带来的是一张通往数学世界的地图,概括了所有的数学分支。故事还得从头开始。一切都始于计数。事实上,计数不仅仅只是人类的特性,其它的动物(比如鸟、猴子等)也有计数的能力。人类在木头、骨头或石头上的计数符号从史前时代就开始被使用了。在石器时代的文化中,他们会使用计数符号进行赌博、私人服务和交易。 一切起源于计数。 最近的几千年里,在不同的国度,数学都得到...转载 2018-05-29 22:00:02 · 880 阅读 · 0 评论 -
法国数学学派-布尔巴基学派
布尔巴基学派(shool of Burbaki)是由一些法国数学家所组成的数学结构主义团体。20世纪30年代开始形成。布尔巴基是这个团体的成员已出版的《数学原理》(约40卷)一书作者的笔书。他们以结构主义观点从事数学分析,认为数学结构没有任何事先指定特征,它是只着眼于它们之间关系的对象的集合。认为数学就是关于结构的科学。在各种数学结构之间有其内在的联系,其中代数结构、拓扑结构和序结构是最基本的结构...转载 2018-06-13 12:35:11 · 3253 阅读 · 0 评论 -
数学:它的内容、方法、意义的目录
图书目录编辑数学——它的内容,方法和意义(第一卷)原序第一章 数学概观1.数学的特点2.算术3.几何4.算术和几何5.初等数学时代6.变量的数学7.现代数学8.数学的本质9.数学发展的规律性第二章 数学分析1.绪论2.函数3.极限4.连续函数5.导数6.微分的法则7.极大与极小.函数图形的研究8.函数的增量与微分9.泰勒公式10.积分11.不定积分.积分的技术12.多元函数13.积分概念的推广14...转载 2018-07-07 12:37:34 · 2984 阅读 · 0 评论 -
数学大辞典目录
前言使用说明一、数理逻辑与数学基础1.1 模型论1.2 证明论1.3 集合论1.4 递归论1.5 数学基础二、数论三、代数学3.1 域论3.2 多项式3.3 线性代数3.4 型3.5 模论3.6 交换代数3.7 环论3.8 范畴论3.9 同调代数3.10 代数K理论3.11 群论3.12 代数群3.13 拓扑群3.14 李群3.15 量子群四、代数几何4.1 一般理论4.2 代数曲线4.3 代数曲...转载 2018-07-07 12:40:44 · 1885 阅读 · 4 评论 -
转:五大常用算法——分治法,动态规划,回溯法,分支界限法,贪心算法
分治算法一、基本概念 在计算机科学中,分治法是一种很重要的算法。字面上的解释是“分而治之”,就是把一个复杂的问题分成两个或更多的相同或相似的子问题,再把子问题分成更小的子问题……直到最后子问题可以简单的直接求解,原问题的解即子问题的解的合并。这个技巧是很多高效算法的基础,如排序算法(快速排序,归并排序),傅立叶变换(快速傅立叶变换)…… 任何一个可以用计算机求解的问题所需的计算...转载 2018-08-13 13:42:28 · 405 阅读 · 0 评论 -
一篇难得的关于傅里叶分析的好文
作者:Heinrich链接:https://zhuanlan.zhihu.com/p/19763358来源:知乎著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。作 者:韩 昊知 乎:Heinrich微 博:@花生油工人知乎专栏:与时间无关的故事谨以此文献给大连海事大学的吴楠老师,柳晓鸣老师,王新年老师以及张晶泊老师。转载的同学请保留上面这句话,...转载 2019-03-11 20:27:23 · 472 阅读 · 0 评论 -
集合论中的每条公理是用来干嘛的?
作者,PCF,哆嗒数学网群友 转载自:http://www.duodaa.com/blog/index.php/archives/397/一般的认为,现代数学的基础可以建立在集合论的公理体系上。这个公理体系是加入了选择公理的策梅洛-弗兰克(ZF)公理系统,简称ZFC公理系统。本文简要地介绍ZFC集合论中各公理的意义及作用。首先,ZFC集合论中的公理大致分为3组:第一...转载 2019-04-22 22:34:35 · 2106 阅读 · 0 评论 -
一阶逻辑形式推理系统
http://blog.163.com/lixiangdong2510@126/blog/static/349948212007059290124/命题演算的形式系统被成功地构造出来了(前文我们将它表示为L),而且L是那么完美:系统内所能证明的公式“恰恰”是那些逻辑为真的公式,一个不多,一个不少。该系统恰如其分地抽象出命题演算的逻辑推理本质。但是,逻辑学家们马上发现L并非那么完美:L...转载 2019-05-01 19:37:23 · 2657 阅读 · 0 评论 -
数学体系简单介绍
转贴 :《MIT牛人解说数学体系》 来源不详在过去的一年中,我一直在数学的海洋中游荡,research进展不多,对于数学世界的阅历算是有了一些长进。为什么要深入数学的世界作为计算机的学生,我没有任何企图要成为一个数学家。我学习数学的目的,是要 想爬上巨人的肩膀,希望站在更高的高度,能把我自己研究的东西看得更深广一些。说起来,我在刚来这个学校的时候,并没有预料到我将会有一个深入数学的旅 程。我的导师...转载 2018-05-27 21:41:24 · 18439 阅读 · 0 评论