关于希尔伯特的元数学思想

转载 2018年02月14日 07:16:59

        今天是2月14日,是希尔伯特逝世75周年的纪念日。我们用什么实际行动来纪念他?


        纪念希尔伯特最好的实际行动就是学习、研究他的学术思想,真正学懂、吃透。


        希尔伯特关于第一篇证明论的工作是1922年发表的,在《数学的新基础:第一篇》中,他论述如何把数论用有限方法讨论,而数学本身却一般须用超穷方法。他指出,用符号逻辑方法可以把命题和证明加以形式化,而把这些形式化的公式及证明直接当做研究对象(注:这句话就是证明论的基本思想!)。在1922年在德国自然科学家协会莱比锡会议上,他做了《数学的逻辑基础》的演讲,更进一步提出了数学证明的方法:要求采取有限主义步骤,即经过有限步不推出矛盾来即为证明是可靠的(判断标准),这称为希尔伯特的宏伟“计划”,也就是数理逻辑证明论(即元数学)的基本思想。


        希尔伯特建议两条最基本的原则:一、形式主义原则:所有符号完全看做没有意义的内容,即使将符号、公式或证明的任何有意的意义或可能的解释也不管,而只是把它们看作纯粹的形式对象(注:要吃透“形式对象”的意思!),研究它们的结构性质;二、有限主义原则,即总能在有限机械步骤之内验证形式理论之内一串公式是否为一个证明。应用数学方法于这样一个形式理论(或系统),避免涉及无穷的推断,这就排除了康托尔集合论的超穷方法。这个思想是只应用靠得住的方法,因为要证明数学或其一部分无矛盾的方法是大家公认可靠的,整个数学才有牢固的基础。


袁萌  2月14日
 
 
 

2017第八届蓝桥杯决赛_希尔伯特曲线

标题:希尔伯特曲线 希尔伯特曲线是以下一系列分形曲线 Hn 的极限。我们可以把 Hn 看作一条覆盖 2^n × 2^n 方格矩阵的曲线,曲线上一共有 2^n × 2^n 个顶点(包括左下角起点和右下角...
  • z956281507
  • z956281507
  • 2017-05-28 23:54:57
  • 1435

希尔伯特曲线实现

希尔伯特曲线一种能填充满一个平面正方形的分形曲线(空间填充曲线),由大卫·希尔伯特在1891年提出。由于它能填满平面,它的豪斯多夫维是2。取它填充的正方形的边长为1,第n步的希尔伯特曲线的长度是2^n...
  • utimes
  • utimes
  • 2013-12-18 19:18:34
  • 3701

《古今数学思想》第1册 PDF下载高清完整版

  • 2010年04月13日 23:42
  • 13.72MB
  • 下载

python 画希尔伯特曲线

给你一个问题: 让你在一个N×NN\times N的点阵,让你画一条连续曲线,使得这条曲线经过这个点阵中的每个点,并且每个点只经过一次,N满足条件:N=2k,k⊂ZN=2^k, k\subset \...
  • WhoisPo
  • WhoisPo
  • 2015-11-04 21:52:46
  • 2976

古今数学思想(共四册)(第四册)

  • 2009年01月06日 10:27
  • 13.9MB
  • 下载

数学思维方法

  • 2007年12月31日 21:33
  • 3.6MB
  • 下载

算法中的数学思想

最近接触了一些数学思想,感觉特别好用,在时间复杂度还有代码的简洁性方面都有很大的帮助。        不多说,给出我的一些代码。 1.最大公约数 gcd(a,b)为最大公约数,一般用辗转相除法。相应的...
  • m0_37286282
  • m0_37286282
  • 2017-03-28 23:17:57
  • 157

古今数学思想(第一卷)

  • 2007年11月21日 11:07
  • 3.81MB
  • 下载

古今数学思想

程序开发是一个咬定青山不放松的过程,系统程序设计离不开算法结构。 方法,思维,思想,是一个不断沉积,创新和变革的过程。 了解一下科学巨匠们的工作和成就的过程,那个过程或许充满温馨,或许充满挑战,更或许...
  • Suprman
  • Suprman
  • 2016-01-09 10:13:41
  • 988

希尔伯特传记

[引文] 希尔伯特传记   希尔伯特 加到收藏夹 添加相关资源   希尔伯特 李文林 (中国科学院数学研究所)   希尔伯...
  • fantasy080
  • fantasy080
  • 2005-08-07 00:25:00
  • 4280
收藏助手
不良信息举报
您举报文章:关于希尔伯特的元数学思想
举报原因:
原因补充:

(最多只允许输入30个字)