资源描述:
《utm ebbinghaus h.-d. flum j. thomas w. mathematical logic》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、H.-D.EbbinghausJ.FlumW.ThomasMathematicalLogicSpringer-VerlagNewYorkBerlinHeidelbergTokyoH.-D.EbbinghausW.ThomasJ.FlumLehrstuhlfiirInformatik11MathematischesInstitutRWTHAachenUniversitatFreiburgBiichel29-31Albertstrasse23b5100Aachen7800FreiburgFederalRepublicofFederalRepubli
2、cofGermanyGermanyEditorialBoardP.R.HalmosF.W.GehringDepartmentofMathematicsDepartmentofMathematicsIndianaUniversity,UniversityofMichiganBloomington,IN47405AnnArbor,MI48109U.S.A.U.S.A.TranslatedfromEinjlihr~myindiemuthc~matischeLogik,publishedbyWissenschaftlicheBuchgesellscha
3、ft.Darmstadt.byAnnS.Ferebee,Kohlweg12,D-6240Konigstein4,FederalRepublicofGermany.-AMSSubjectClassification(1980):03-01LibraryofCongressCataloginginPublicationDataEbbinghaus,Heinz-Dieter,1939athematicallogic.(Undergraduatetextsinmathematics)Translationof:Einfiihrungindiemathe
4、matischeLogik,Bibliography:p.Includesindex.1.Logic,Symbolicandmathematical.I.Flum,Jorg.11.Thomas,Wolfgang.111.Title.IV.Series.QA9.E22131984511.383-20060With1Illustration@1984bySpringer-VerlagNewYorkInc.Allrightsreserved.Nopartofthisbookmaybetranslatedorreproducedinanyformwit
5、houtwrittenpermissionfromSpringer-Verlag,175FifthAvenue,.NewYork,NewYork10010,U.S.A.TypesetbyCompositionHouseLtd.,Salisbury,England.PrintedandboundbyR.R.Donnelley&Sons,Harrisonburg,VirginiaPrintedintheUnitedStatesofAmerica.ISBN0-387-90895-1Springer-VerlagNewYorkBerlinHeidelb
6、ergTokyoISBN3-540-90895-1Springer-VerlagBerlinHeidelbergNewYorkTokyoPrefacerSomeofthecentralquestionsofmathematicallogicare:Whatisamathematicalproof?Howcanproofsbejustified?Aretherelimitationstoprovability?Towhatextentcanmachinescarryoutmathematicalproofs?Onlyinthiscenturyha
7、stherebeensuccessinobtainingsubstantialandsatisfactoryanswers,themostpleasingofwhichisgivenbyGodel'scompletenesstheorem:Itispossibletoexhibit(intheframeworkoffirst-orderlanguages)asimplelistofinferenceruleswhichsufficestocarryoutallmathematicalproofs."Negative"results,howeve
8、r,appearinGodel'sincompletenesstheorems.Theyshow,forexample,thatitisimpossi