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" />
Goodstein在1944年[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' >
< p 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 >
< 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 >
< 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 >
< 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 >
< p class =MsoNormal >< span lang =EN-US >< o:p > </ o:p ></ span ></ p >
</ div >
</ body >
</ html >
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' >
< p 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 >
< 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 >
< 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 >
< 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 >
< p class =MsoNormal >< span lang =EN-US >< o:p > </ o:p ></ span ></ p >
</ div >
</ body >
</ html >