7812032 的博客

日志

关于我

华三火

文章分类

·默认分类（944）

【引用】希尔伯特的23个问题的解决进度（引自维基百科）

2010-06-10 20:57:11| 分类：默认分类 | 标签： |举报 |字号大中小订阅

下载LOFTER 我的照片书 |

［我在5月31日的日志中，简介了上世纪最伟大的德国数学家希尔伯特。现引用维基百科的资料中关于希尔伯特的23个问题及其解决进度如下，从而使感兴趣的朋友对希尔伯特问题有进一步的了解。——华三火注］

第一题	连续统假设	已解决。1963年美国数学家保羅·柯恩以力迫法（forcing）證明連續統假設不能由ZFC推導。也就是說，連續統假設成立與否無法由ZFC確定。
第二题	算术公理之相容性	已解决。庫爾特·哥德爾在1930年證明了哥德爾不完備定理。
第三题	两四面體有相同体积之证明法	已解决。希爾伯特的學生馬克斯·德恩以一反例證明了是不可以的。
第四题	建立所有度量空间使得所有线段为測地線	太隐晦。希爾伯特對於這個問題的定義過於含糊。
第五题	所有连续群是否皆为可微群	已解决。1953年日本數學家山邊英彥已得到完全肯定的结果。
第六题	公理化物理	非数学。對於物理学能否全盘公理化，有很多人質疑。
第七题	若 b 是無理數、a 是非0、1 代數數，那么 a^b 是否超越數	已解決。分別於1934年、1935年由Gelfond與Schneider獨立地解決。
第八题	黎曼猜想及哥德巴赫猜想	部分解决。1966年中國數學家陳景潤部分解答了哥德巴赫猜想。
第九题	任意代数数域的一般互反律	部分解决。1921年日本的高木贞治，1927年德国的埃米爾·阿廷（E.Artin）各有部份解答。
第十题	不定方程可解性	已解决。1970年苏联数学家马蒂塞维奇证明：在一般情况答案是否定的。
第十一题	代数系数之二次形式	已解决。有理數的部分由哈塞於1923年解決，實數的部分則由希格爾於1930年解決。
第十二题	扩展代數數	已解决。1920年高木貞治開創了阿貝爾類域理論。
第十三题	以二元函數解任意七次方程	已解决。1957年柯尔莫哥洛夫和阿諾德證明其不可能性。
第十四题	证明一些函數完全系統（Complete system of functions）之有限性	已解决。1962年日本人永田雅宜提出反例。
第十五题	舒伯特列举微积分（Schubert's enumerative calculus）之严格基础	部分解决。一部分在1938年由范德瓦登得到嚴謹的證明。
第十六题	代数曲线及表面之拓撲結構	未解决
第十七题	把有理函數写成平方和分式	已解决。1927年埃米爾·阿廷（Emil Artin）已解決實封閉域。
第十八题	非正多面體能否密铺空间、球體最紧密的排列	已解决。1910年比伯巴赫做出「n維空間由有限多個群嵌成」。
第十九题	拉格朗日系统（Lagrangian）之解是否皆可解析（Analytic）	已解决。1904年由伯恩斯坦（Serge Bernstein）解決。
第二十题	所有有界限條件的变量问题（Variational problem）是否都有解	已解决
第二十一题	证明有线性微分方程有給定的單值群（monodromy group）	已解决
第二十二题	以自守函數（Automorphic functions）一致化可解析关系	已解决。1904年由科比和龐加萊取得解決。
第二十三题	變分法的长远发展	未解決

评论这张

转发至微博

阅读(391)| 评论(0)

历史上的今天

this.p={  m:2,
              b:2,
              loftPermalink:'',
              id:'fks_080074084083089075082095085095085084086068087083086065092',
              blogTitle:'【引用】 希尔伯特的23个问题的解决进度 （引自维基百科）',
              blogAbstract:'<FONT face=\"楷体_gb2312\" size=\"5\" \>  ［我在5月31日的日志中，简介了上世纪最伟大的德国数学家希尔伯特。现引用维基百科的资料中关于希尔伯特的23个问题及其解决进度如下，从而使感兴趣的朋友对希尔伯特问题有进一步的了解。——华三火注 <FONT color=\"#000000\" \> ］   <TABLE\>  <TBODY\>  <TR\>  <TD\><A title=\"希爾伯特第一問題\" rel=\"nofollow\" href=\"http://zh.wikipedia.org/wiki/%E5%B8%8C%E7%88%BE%E4%BC%AF%E7%89%B9%E7%AC%AC%E4%B8%80%E5%95%8F%E9%A1%8C\"  \>第一题</A\></TD\>  <TD\><A title=\"连续统假设\" rel=\"nofollow\" href=\"http://zh.wikipedia.org/wiki/%E8%BF%9E%E7%BB%AD%E7%BB%9F%E5%81%87%E8%AE%BE\"  \>连续统假设</A\></TD\>  <TD\>已解决。<A title=\"1963年\" rel=\"nofollow\" href=\"http://zh.wikipedia.org/wiki/1963%E5%B9%B4\"  \>1963年</A\>美国数学家保羅·柯恩以力迫法（forcing）證明連續統假設不能由<A title=\"ZFC\" rel=\"nofollow\" href=\"http://zh.wikipedia.org/wiki/ZFC\"  \>ZFC</A\>推導。也就是說，連續統假設成立與否無法由ZFC確定。</TD\></TR\>  <TR\>  <TD\></TD\></TR\></TABLE\></FONT\></FONT\>',
              blogTag:'',
              blogUrl:'blog/static/127735028201051084035354',
              isPublished:1,
              istop:false,
              type:0,
              modifyTime:1316789852556,
              publishTime:1276174631695,
              permalink:'blog/static/127735028201051084035354',
              commentCount:0,
              mainCommentCount:0,
              recommendCount:0,
              bsrk:-100,
              publisherId:0,
              recomBlogHome:false,
              currentRecomBlog:false,
              attachmentsFileIds:[],
              vote:{},
              groupInfo:{},
              friendstatus:'none',
              followstatus:'unFollow',
              pubSucc:'',
              visitorProvince:'',
              visitorCity:'',
              visitorNewUser:false,
              postAddInfo:{},
              mset:'000',
              mcon:'',
              srk:-100,
              remindgoodnightblog:false,
              isBlackVisitor:false,
              isShowYodaoAd:false,
              hostIntro:'',
              hmcon:'1',
              selfRecomBlogCount:'0',
              lofter_single:'<iframe width="140" height="560" style="overflow:hidden;" src="http://www.lofter.com/mailEntry.do?blogad=1&blog" frameBorder="0"></iframe>'
            }

{list a as x}
    {if !!x}
    <div class="iblock nbw-fce nbw-f40">
      <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
      {if x.visitorName==visitor.userName}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}&r=${visitor.imageUpdateTime}"/>
      {else}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}"/>
      {/if}
      </a>
      <div class="cwd vname thide">
        {if x.moveFrom=='wap'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/wapblog.html?frompersonalbloghome"><span title="来自网易手机博客" class="iblock wapIcon"> </span></a>
        {elseif x.moveFrom=='iphone'}
          <a class="noul pnt" target="_blank"><span title="来自iPhone客户端" class="iblock iphoneIcon"> </span></a>
        {elseif x.moveFrom=='android'}
          <a class="noul pnt" target="_blank"><span title="来自Android客户端" class="iblock androidIcon"> </span></a>
        {elseif x.moveFrom=='mobile'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/emsblog.html?frompersonalbloghome"><span title="来自网易短信写博" class="iblock wapIcon"> </span></a>
        {/if}
        <a class="fc03 m2a"  target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
          ${fn(x.visitorNickname,8)|escape}
        </a>
      </div>
    </div>
    {/if}
    {/list}

<#--最新日志，群博日志--> <#--推荐日志-->

<p class="fc06">推荐过这篇日志的人：</p>
    <div>
      {list a as x}
      {if !!x}
      <div class="iblock nbw-fce nbw-f40">
        <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
        <img alt="${x.recommenderNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.recommenderName)}"/>
        </a>
        <div class="cwd thide">
          <a class="fc03 m2a" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
            ${fn(x.recommenderNickname,6)|escape}
          </a>
        </div>
      </div>
      {/if}
      {/list}
    </div>
    {if !!b&&b.length>0}
    <p  class="fc06">他们还推荐了：</p>
    <ul>
    {list b as y}
      {if !!y}
        <li class="rrb"><span class="iblock">·</span><a class="fc03 m2a" target="_blank" href="http://blog.163.com/${y.recommendBlogPermalink}/?from=blog/static/127735028201051084035354">${y.recommendBlogTitle|escape}</a></li>
      {/if}
    {/list}
    </ul>
    {/if}

<#--引用记录--> <#--博主推荐--> <#--随机阅读--> <#--首页推荐--> <#--历史上的今天--> <#--被推荐日志--> <#--上一篇，下一篇--> <#-- 热度 -->

{list a as x}
    {if !!x}
    <div class="hotItem iblock nbw-fce nbw-f40">
      <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/">
      {if x.publisherUsername==visitor.userName}
      <img alt="${x.publisherNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.publisherUsername)}&r=${visitor.imageUpdateTime}"/>
      {else}
      <img alt="${x.publisherNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.publisherUsername)}"/>
      {/if}
      </a>
      <div class="cwd vname thide">
        <a class="fc03 m2a"  target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/">
          ${fn(x.publisherNickname,8)|escape}
        </a>
      </div>
      <a class="f-myLikeIcons hottype {if x.type==1} js-liketype{elseif x.type==2} js-reblogtype{elseif x.type==3} js-sharetype{else}{/if}" target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/"> </a>
    </div>
    {/if}
    {/list}

<#-- 网易新闻广告 --> <#--右边模块结构--> <#--评论模块结构--> <#--引用模块结构--> <#--博主发起的投票-->

页脚

我的照片书 - 手机博客 - 下载LOFTER APP - 订阅此博客

7812032 的博客

导航

日志

【引用】希尔伯特的23个问题的解决进度（引自维基百科）

历史上的今天

最近读者

热度

评论

页脚

7812032 的博客

导航

日志

【引用】 希尔伯特的23个问题的解决进度 （引自维基百科）

历史上的今天

最近读者

热度

评论

页脚

【引用】希尔伯特的23个问题的解决进度（引自维基百科）