联系方式
  • 公司: 深圳精成学社文化课辅导班
  • 地址: 深圳福田区百花园紫荆阁
  • 联系: 方老师
  • 手机: 13427980436
  • 邮箱: 365808458@qq.com
  • 微信: 13427980436
  •  
  • 本站共被浏览过 2584 次
行业资讯

产品信息

更多...
价 格:面议

数理逻辑

数学逻辑专注在将数学置于一坚固的公理架构上,并研究此一架构的成果。就其本身而言,其为哥德尔第二不完备定理的产地,而这或许是逻辑中最广为流传的成果.现代逻辑被分成递归论、模型论和证明论,且和理论计算机科学有着密切的关联性。

外国人物

万物皆数。——毕达哥拉斯

几何无王者之道。——欧几里德

数学是上帝用来书写宇宙的文字。——伽利略

我决心放弃那个仅仅是抽象的几何。这就是说,不再去考虑那些仅仅是用来练思想的问题.我这样做,是为了研究另一种几何,即目的在于解释自然现象的几何。——笛卡儿(Rene Descartes 1596—1650)

数学家们都试图在这一天发现素数序列的一些秩序,我们有理由相信这是一个谜,人类的心灵永远无法渗入。——欧拉

数学中的一些美丽定理具有这样的特性: 它们极易从事实中归纳出来,但证明却隐藏的极深。数学是科学之王。——高斯

这就是结构好的语言的好处,它简化的记法常常是深奥理论的源泉。——拉普拉斯(Pierre Simon Laplace 1749—1827)

如果认为只有在几何证明里或者在感觉的证据里才有必然,那会是一个严重的错误。——柯西(Augustin Louis Cauchy 1789—1857)

数学的本质在于它的自由。——康托尔(Georg Ferdinand Ludwig Philipp Cantor 1845—1918)

P(多项式算法)问题对 NP(非多项式算法)问题

在一个周六的晚上,你参加了一个盛大的晚会。由于感到局促不安,你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说,你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟,你就能向那里扫视,并且发现你的主人是正确的。然而,如果没有这样的暗示,你就必须环顾整个大厅,一个个地审视每一个人,看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。

与此类似的是,如果某人告诉你,数字13,717,421可以写成两个较小的数的乘积,你可能不知道是否应该相信他,但是如果他告诉你它可以因子分解为3607乘上3803,那么你就可以用一个袖珍计算器容易验证这是对的。不管我们编写程序是否灵巧,判定一个答案是可以很快利用内部知识来验证,还是没有这样的提示而需要花费大量时间来求解,被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克(StephenCook)于1971年陈述的。

杨-米尔斯(Yang-Mills)存在性和质量缺口量子物理的定律是以经典力学的牛顿定律对宏观世界的方式对基本粒子世界成立的。大约半个世纪以前,杨振宁和米尔斯发现,量子物理揭示了在基本粒子物理与几何对象的数学之间的令人注目的关系。基于杨-米尔斯方程的预言已经在如下的全世界范围内的实验室中所履行的高能实验中得到证实:布罗克哈文、斯坦福、欧洲粒子物理研究所和筑波。尽管如此,他们的既描述重粒子、又在数学上严格的方程没有已知的解。特别是,被大多数物理学家所确认、并且在他们的对于“夸克”的不可见性的解释中应用的“质量缺口”假设,从来没有得到一个数学上令人满意的证实。在这一问题上的进展需要在物理上和数学上两方面引进根本上的新观念。