try

href="Goodstein在1944年.files/filelist.xml" rel="File-List" /> href="Goodstein在1944年.files/editdata.mso" rel="Edit-Time-Data" /> href="Goodstein在1944年.files/oledata.mso" rel="OLE-Object-Data" />

Goodstein1944[5]证明了它的定理,尽管他的工作建议了它的定理的不可证明性,但这个结论直到1982年才被证明。Goodstein定理容易以数

 

 

< html  xmlns:v ="urn:schemas-microsoft-com:vml"
xmlns:o
="urn:schemas-microsoft-com:office:office"
xmlns:w
="urn:schemas-microsoft-com:office:word"
xmlns
="http://www.w3.org/TR/REC-html40" >

< head >
< meta  http-equiv =Content-Type  content ="text/html; charset=gb2312" >
< meta  name =ProgId  content =Word.Document >
< meta  name =Generator  content ="Microsoft Word 11" >
< meta  name =Originator  content ="Microsoft Word 11" >
< link  rel =File-List  href ="Goodstein在1944年.files/filelist.xml" >
< link  rel =Edit-Time-Data  href ="Goodstein在1944年.files/editdata.mso" >
< link  rel =OLE-Object-Data  href ="Goodstein在1944年.files/oledata.mso" >
<!-- [if !mso]>
<style>
v:* {behavior:url(#default#VML);}
o:* {behavior:url(#default#VML);}
w:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
</style>
<![endif]
-->
< title > Goodstein在1944年[5]证明了它的定理,尽管他的工作建议了它的定理的不可证明性,但这个结论直到1982年才被证明 </ title >
<!-- [if gte mso 9]><xml>
 <o:DocumentProperties>
  <o:Author>zhzuo</o:Author>
  <o:Template>Normal</o:Template>
  <o:LastAuthor>zhzuo</o:LastAuthor>
  <o:Revision>1</o:Revision>
  <o:TotalTime>0</o:TotalTime>
  <o:Created>2006-11-17T06:14:00Z</o:Created>
  <o:LastSaved>2006-11-17T06:14:00Z</o:LastSaved>
  <o:Pages>1</o:Pages>
  <o:Words>85</o:Words>
  <o:Characters>491</o:Characters>
  <o:Company>uestc</o:Company>
  <o:Lines>4</o:Lines>
  <o:Paragraphs>1</o:Paragraphs>
  <o:CharactersWithSpaces>575</o:CharactersWithSpaces>
  <o:Version>11.6568</o:Version>
 </o:DocumentProperties>
</xml><![endif]
--><!-- [if gte mso 9]><xml>
 <w:WordDocument>
  <w:SpellingState>Clean</w:SpellingState>
  <w:GrammarState>Clean</w:GrammarState>
  <w:PunctuationKerning/>
  <w:DrawingGridVerticalSpacing>7.8 磅</w:DrawingGridVerticalSpacing>
  <w:DisplayHorizontalDrawingGridEvery>0</w:DisplayHorizontalDrawingGridEvery>
  <w:DisplayVerticalDrawingGridEvery>2</w:DisplayVerticalDrawingGridEvery>
  <w:ValidateAgainstSchemas/>
  <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid>
  <w:IgnoreMixedContent>false</w:IgnoreMixedContent>
  <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText>
  <w:Compatibility>
   <w:SpaceForUL/>
   <w:BalanceSingleByteDoubleByteWidth/>
   <w:DoNotLeaveBackslashAlone/>
   <w:ULTrailSpace/>
   <w:DoNotExpandShiftReturn/>
   <w:AdjustLineHeightInTable/>
   <w:BreakWrappedTables/>
   <w:SnapToGridInCell/>
   <w:WrapTextWithPunct/>
   <w:UseAsianBreakRules/>
   <w:UseWord2002TableStyleRules/>
   <w:UseFELayout/>
  </w:Compatibility>
  <w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel>
 </w:WordDocument>
</xml><![endif]
--><!-- [if gte mso 9]><xml>
 <w:LatentStyles DefLockedState="false" LatentStyleCount="156">
 </w:LatentStyles>
</xml><![endif]
-->
< style >
<!--
 
/* Font Definitions */
 @font-face
    
{font-family:宋体;
    panose-1
:2 1 6 0 3 1 1 1 1 1;
    mso-font-alt
:SimSun;
    mso-font-charset
:134;
    mso-generic-font-family
:auto;
    mso-font-pitch
:variable;
    mso-font-signature
:3 135135232 16 0 262145 0;}

@font-face
    
{font-family:"@宋体";
    panose-1
:2 1 6 0 3 1 1 1 1 1;
    mso-font-charset
:134;
    mso-generic-font-family
:auto;
    mso-font-pitch
:variable;
    mso-font-signature
:3 135135232 16 0 262145 0;}

 
/* Style Definitions */
 p.MsoNormal, li.MsoNormal, div.MsoNormal
    
{mso-style-parent:"";
    margin
:0cm;
    margin-bottom
:.0001pt;
    text-align
:justify;
    text-justify
:inter-ideograph;
    mso-pagination
:none;
    font-size
:10.5pt;
    mso-bidi-font-size
:12.0pt;
    font-family
:"Times New Roman";
    mso-fareast-font-family
:宋体;
    mso-font-kerning
:1.0pt;}

span.SpellE
    
{mso-style-name:"";
    mso-spl-e
:yes;}

 
/* Page Definitions */
 @page
    
{mso-page-border-surround-header:no;
    mso-page-border-surround-footer
:no;}

@page Section1
    
{size:595.3pt 841.9pt;
    margin
:72.0pt 90.0pt 72.0pt 90.0pt;
    mso-header-margin
:42.55pt;
    mso-footer-margin
:49.6pt;
    mso-paper-source
:0;
    layout-grid
:15.6pt;}

div.Section1
    
{page:Section1;}
-->
</ style >
<!-- [if gte mso 10]>
<style>
 /* Style Definitions */
 table.MsoNormalTable
    {mso-style-name:普通表格;
    mso-tstyle-rowband-size:0;
    mso-tstyle-colband-size:0;
    mso-style-noshow:yes;
    mso-style-parent:"";
    mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
    mso-para-margin:0cm;
    mso-para-margin-bottom:.0001pt;
    mso-pagination:widow-orphan;
    font-size:10.0pt;
    font-family:"Times New Roman";
    mso-ansi-language:#0400;
    mso-fareast-language:#0400;
    mso-bidi-language:#0400;}
</style>
<![endif]
-->
</ head >

< body  lang =ZH-CN  style ='tab-interval:21.0pt;text-justify-trim:punctuation' >

< div  class =Section1  style ='layout-grid:15.6pt' >

< class =MsoNormal  style ='text-indent:24.0pt;mso-char-indent-count:2.0;
line-height:20.0pt;mso-line-height-rule:exactly' >< span  lang =EN-US
style ='font-size:12.0pt' > Goodstein </ span >< span  style ='font-size:12.0pt;
font-family:宋体;mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:
"Times New Roman"'
> </ span >< span  lang =EN-US  style ='font-size:12.0pt' > 1944 </ span >< span
style ='font-size:12.0pt;font-family:宋体;mso-ascii-font-family:"Times  New Roman";
mso-hansi-font-family:"Times New Roman"'
> </ span >< span  lang =EN-US
style ='font-size:12.0pt' > [5] </ span >< span  style ='font-size:12.0pt;font-family:
宋体;mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:"Times New Roman"' > 证明了它的定理,尽管他的工作建议了它的定理的不可证明性,但这个结论直到 </ span >< span
lang =EN-US  style ='font-size:12.0pt' > 1982 </ span >< span  style ='font-size:12.0pt;
font-family:宋体;mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:
"Times New Roman"'
> 年才被证明。 </ span >< span  lang =EN-US  style ='font-size:12.0pt' > Goodstein </ span >< span
style ='font-size:12.0pt;font-family:宋体;mso-ascii-font-family:"Times  New Roman";
mso-hansi-font-family:"Times New Roman"'
> 定理容易以数论的方式表达,但由于它在 </ span >< span
class =SpellE >< span  lang =EN-US  style ='font-size:12.0pt' > Peano </ span ></ span >< span
style ='font-size:12.0pt;font-family:宋体;mso-ascii-font-family:"Times  New Roman";
mso-hansi-font-family:"Times New Roman"'
> 算术中是不可证明的,超出 </ span >< span  class =SpellE >< span
lang =EN-US  style ='font-size:12.0pt' > Peano </ span ></ span >< span  style ='font-size:
12.0pt;font-family:宋体;mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:
"Times New Roman"'
> 算术的来自集合论的思路在它的证明中是必须的。这个定理指出 </ span >< span  lang =EN-US
style ='font-size:12.0pt' > Goodstein </ span >< span  style ='font-size:12.0pt;
font-family:宋体;mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:
"Times New Roman"'
> 序列的一些行为,这个序列以如下的方式构建。给定一个自然数 </ span >< span  lang =EN-US
style ='font-size:12.0pt' >< sub > <!-- [if gte vml 1]><v:shapetype id="_x0000_t75"
 coordsize="21600,21600" o:spt="75" o:preferrelative="t" path="m@4@5l@4@11@9@11@9@5xe"
 filled="f" stroked="f">
 <v:stroke joinstyle="miter"/>
 <v:formulas>
  <v:f eqn="if lineDrawn pixelLineWidth 0"/>
  <v:f eqn="sum @0 1 0"/>
  <v:f eqn="sum 0 0 @1"/>
  <v:f eqn="prod @2 1 2"/>
  <v:f eqn="prod @3 21600 pixelWidth"/>
  <v:f eqn="prod @3 21600 pixelHeight"/>
  <v:f eqn="sum @0 0 1"/>
  <v:f eqn="prod @6 1 2"/>
  <v:f eqn="prod @7 21600 pixelWidth"/>
  <v:f eqn="sum @8 21600 0"/>
  <v:f eqn="prod @7 21600 pixelHeight"/>
  <v:f eqn="sum @10 21600 0"/>
 </v:formulas>
 <v:path o:extrusionok="f" gradientshapeok="t" o:connecttype="rect"/>
 <o:lock v:ext="edit" aspectratio="t"/>
</v:shapetype><v:shape id="_x0000_i1025" type="#_x0000_t75" style='width:12pt;
 height:11.25pt' o:ole="">
 <v:imagedata src="Goodstein在1944年.files/image001.wmz" o:title=""/>
</v:shape><![endif]
--> <! [if !vml] > < img  width =16  height =15
src ="Goodstein在1944年.files/image002.gif"  v:shapes ="_x0000_i1025" > <! [endif] > </ sub > <!-- [if gte mso 9]><xml>
 <o:OLEObject Type="Embed" ProgID="Equation.DSMT4" ShapeID="_x0000_i1025"
  DrawAspect="Content" ObjectID="_1225278285">
 </o:OLEObject>
</xml><![endif]
--> </ span >< span  style ='font-size:12.0pt;font-family:宋体;
mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:"Times New Roman"' > ,以 </ span >< span
lang =EN-US  style ='font-size:12.0pt' > 2 </ span >< span  style ='font-size:12.0pt;
font-family:宋体;mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:
"Times New Roman"'
> 为基表示它,并把它作为序列 </ span >< span  lang =EN-US  style ='font-size:12.0pt' >< sub > <!-- [if gte vml 1]><v:shape
 id="_x0000_i1026" type="#_x0000_t75" style='width:42.75pt;height:18pt' o:ole="">
 <v:imagedata src="Goodstein在1944年.files/image003.wmz" o:title=""/>
</v:shape><![endif]
--> <! [if !vml] > < img  width =57  height =24
src ="Goodstein在1944年.files/image004.gif"  v:shapes ="_x0000_i1026" > <! [endif] > </ sub > <!-- [if gte mso 9]><xml>
 <o:OLEObject Type="Embed" ProgID="Equation.DSMT4" ShapeID="_x0000_i1026"
  DrawAspect="Content" ObjectID="_1225278286">
 </o:OLEObject>
</xml><![endif]
--> </ span >< span  style ='font-size:12.0pt;font-family:宋体;
mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:"Times New Roman"' > 的第一个元素。即,把 </ span >< span
lang =EN-US  style ='font-size:12.0pt' >< sub > <!-- [if gte vml 1]><v:shape id="_x0000_i1027"
 type="#_x0000_t75" style='width:12pt;height:11.25pt' o:ole="">
 <v:imagedata src="Goodstein在1944年.files/image001.wmz" o:title=""/>
</v:shape><![endif]
--> <! [if !vml] > < img  width =16  height =15
src ="Goodstein在1944年.files/image002.gif"  v:shapes ="_x0000_i1027" > <! [endif] > </ sub > <!-- [if gte mso 9]><xml>
 <o:OLEObject Type="Embed" ProgID="Equation.DSMT4" ShapeID="_x0000_i1027"
  DrawAspect="Content" ObjectID="_1225278287">
 </o:OLEObject>
</xml><![endif]
--> </ span >< span  style ='font-size:12.0pt;font-family:宋体;
mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:"Times New Roman"' > 写成 </ span >< span
lang =EN-US  style ='font-size:12.0pt' >< o:p ></ o:p ></ span ></ p >

< class =MsoNormal  align =center  style ='text-align:center;text-indent:24.0pt;
mso-char-indent-count:2.0;line-height:20.0pt;mso-line-height-rule:exactly' >< span
lang =EN-US  style ='font-size:12.0pt' >< sub > <!-- [if gte vml 1]><v:shape id="_x0000_i1028"
 type="#_x0000_t75" style='width:185.25pt;height:18.75pt' o:ole="">
 <v:imagedata src="Goodstein在1944年.files/image005.wmz" o:title=""/>
</v:shape><![endif]
--> <! [if !vml] > < img  width =247  height =25
src ="Goodstein在1944年.files/image006.gif"  v:shapes ="_x0000_i1028" > <! [endif] > </ sub > <!-- [if gte mso 9]><xml>
 <o:OLEObject Type="Embed" ProgID="Equation.DSMT4" ShapeID="_x0000_i1028"
  DrawAspect="Content" ObjectID="_1225278288">
 </o:OLEObject>
</xml><![endif]
--> < o:p ></ o:p ></ span ></ p >

< class =MsoNormal  style ='line-height:20.0pt;mso-line-height-rule:exactly' >< span
style ='font-size:12.0pt;font-family:宋体;mso-ascii-font-family:"Times  New Roman";
mso-hansi-font-family:"Times New Roman"'
> 其中对所有 </ span >< span  lang =EN-US
style ='font-size:12.0pt' >< sub > <!-- [if gte vml 1]><v:shape id="_x0000_i1029"
 type="#_x0000_t75" style='width:6.75pt;height:12.75pt' o:ole="">
 <v:imagedata src="Goodstein在1944年.files/image007.wmz" o:title=""/>
</v:shape><![endif]
--> <! [if !vml] > < img  width =9  height =17
src ="Goodstein在1944年.files/image008.gif"  v:shapes ="_x0000_i1029" > <! [endif] > </ sub > <!-- [if gte mso 9]><xml>
 <o:OLEObject Type="Embed" ProgID="Equation.DSMT4" ShapeID="_x0000_i1029"
  DrawAspect="Content" ObjectID="_1225278289">
 </o:OLEObject>
</xml><![endif]
--> </ span >< span  style ='font-size:12.0pt;font-family:宋体;
mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:"Times New Roman"' > </ span >< span
lang =EN-US  style ='font-size:12.0pt' >< sub > <!-- [if gte vml 1]><v:shape id="_x0000_i1030"
 type="#_x0000_t75" style='width:48pt;height:18pt' o:ole="">
 <v:imagedata src="Goodstein在1944年.files/image009.wmz" o:title=""/>
</v:shape><![endif]
--> <! [if !vml] > < img  width =64  height =24
src ="Goodstein在1944年.files/image010.gif"  v:shapes ="_x0000_i1030" > <! [endif] > </ sub > <!-- [if gte mso 9]><xml>
 <o:OLEObject Type="Embed" ProgID="Equation.DSMT4" ShapeID="_x0000_i1030"
  DrawAspect="Content" ObjectID="_1225278290">
 </o:OLEObject>
</xml><![endif]
--> </ span >< span  style ='font-size:12.0pt;font-family:宋体;
mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:"Times New Roman"' > </ span >< span
lang =EN-US  style ='font-size:12.0pt' >< sub > <!-- [if gte vml 1]><v:shape id="_x0000_i1031"
 type="#_x0000_t75" style='width:12.75pt;height:18pt' o:ole="">
 <v:imagedata src="Goodstein在1944年.files/image011.wmz" o:title=""/>
</v:shape><![endif]
--> <! [if !vml] > < img  width =17  height =24
src ="Goodstein在1944年.files/image012.gif"  v:shapes ="_x0000_i1031" > <! [endif] > </ sub > <!-- [if gte mso 9]><xml>
 <o:OLEObject Type="Embed" ProgID="Equation.DSMT4" ShapeID="_x0000_i1031"
  DrawAspect="Content" ObjectID="_1225278291">
 </o:OLEObject>
</xml><![endif]
--> </ span >< span  style ='font-size:12.0pt;font-family:宋体;
mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:"Times New Roman"' > 是一个自然数。更进一步,以 </ span >< span
lang =EN-US  style ='font-size:12.0pt' > 2 </ span >< span  style ='font-size:12.0pt;
font-family:宋体;mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:
"Times New Roman"'
> 为基表示每个幂 </ span >< span  lang =EN-US  style ='font-size:12.0pt' >< sub > <!-- [if gte vml 1]><v:shape
 id="_x0000_i1032" type="#_x0000_t75" style='width:12.75pt;height:18pt' o:ole="">
 <v:imagedata src="Goodstein在1944年.files/image011.wmz" o:title=""/>
</v:shape><![endif]
--> <! [if !vml] > < img  width =17  height =24
src ="Goodstein在1944年.files/image012.gif"  v:shapes ="_x0000_i1032" > <! [endif] > </ sub > <!-- [if gte mso 9]><xml>
 <o:OLEObject Type="Embed" ProgID="Equation.DSMT4" ShapeID="_x0000_i1032"
  DrawAspect="Content" ObjectID="_1225278292">
 </o:OLEObject>
</xml><![endif]
--> </ span >< span  style ='font-size:12.0pt;font-family:宋体;
mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:"Times New Roman"' > </ span >< span
lang =EN-US  style ='font-size:12.0pt' >< sub > <!-- [if gte vml 1]><v:shape id="_x0000_i1033"
 type="#_x0000_t75" style='width:12.75pt;height:18pt' o:ole="">
 <v:imagedata src="Goodstein在1944年.files/image011.wmz" o:title=""/>
</v:shape><![endif]
--> <! [if !vml] > < img  width =17  height =24
src ="Goodstein在1944年.files/image012.gif"  v:shapes ="_x0000_i1033" > <! [endif] > </ sub > <!-- [if gte mso 9]><xml>
 <o:OLEObject Type="Embed" ProgID="Equation.DSMT4" ShapeID="_x0000_i1033"
  DrawAspect="Content" ObjectID="_1225278293">
 </o:OLEObject>
</xml><![endif]
--> </ span >< span  style ='font-size:12.0pt;font-family:宋体;
mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:"Times New Roman"' > 的以 </ span >< span
lang =EN-US  style ='font-size:12.0pt' > 2 </ span >< span  style ='font-size:12.0pt;
font-family:宋体;mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:
"Times New Roman"'
> 为基的表示中的每个幂也以 </ span >< span  lang =EN-US  style ='font-size:12.0pt' > 2 </ span >< span
style ='font-size:12.0pt;font-family:宋体;mso-ascii-font-family:"Times  New Roman";
mso-hansi-font-family:"Times New Roman"'
> 为基表示,等等,直到表示稳定下来。例如,如果 </ span >< span
lang =EN-US  style ='font-size:12.0pt' >< sub > <!-- [if gte vml 1]><v:shape id="_x0000_i1034"
 type="#_x0000_t75" style='width:42pt;height:14.25pt' o:ole="">
 <v:imagedata src="Goodstein在1944年.files/image013.wmz" o:title=""/>
</v:shape><![endif]
--> <! [if !vml] > < img  width =56  height =19
src ="Goodstein在1944年.files/image014.gif"  v:shapes ="_x0000_i1034" > <! [endif] > </ sub > <!-- [if gte mso 9]><xml>
 <o:OLEObject Type="Embed" ProgID="Equation.DSMT4" ShapeID="_x0000_i1034"
  DrawAspect="Content" ObjectID="_1225278294">
 </o:OLEObject>
</xml><![endif]
--> </ span >< span  style ='font-size:12.0pt;font-family:宋体;
mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:"Times New Roman"' > ,则 </ span >< span
lang =EN-US  style ='font-size:12.0pt' >< o:p ></ o:p ></ span ></ p >

< class =MsoNormal  align =center  style ='text-align:center;text-indent:24.0pt;
mso-char-indent-count:2.0;line-height:20.0pt;mso-line-height-rule:exactly' >< span
lang =EN-US  style ='font-size:12.0pt' >< sub > <!-- [if gte vml 1]><v:shape id="_x0000_i1035"
 type="#_x0000_t75" style='width:297.75pt;height:21pt' o:ole="">
 <v:imagedata src="Goodstein在1944年.files/image015.wmz" o:title=""/>
</v:shape><![endif]
--> <! [if !vml] > < img  width =397  height =28
src ="Goodstein在1944年.files/image016.gif"  v:shapes ="_x0000_i1035" > <! [endif] > </ sub > <!-- [if gte mso 9]><xml>
 <o:OLEObject Type="Embed" ProgID="Equation.DSMT4" ShapeID="_x0000_i1035"
  DrawAspect="Content" ObjectID="_1225278295">
 </o:OLEObject>
</xml><![endif]
--> < o:p ></ o:p ></ span ></ p >

< class =MsoNormal >< span  lang =EN-US >< o:p > &nbsp; </ o:p ></ span ></ p >

</ div >

</ body >

</ html >
 
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值