towards a mathematical science of …… 翻译

《towards a mathematical science of …… 翻译》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、1、Introduction简介InthispaperIshalldiscusstheprospectsforamathematicalscienceofcomputation.Inamathematicalscience,itispossibletodeducefromthebasicassumptions,theimportantpropertiesoftheentitiestreatedbythescience.Thus，fromNewton’slawofgravitationandhislawso

2、fmotion,onecanduducethattheplanetaryorbitsobeykerpler’slaws.我将在这篇文章中谈谈数学化科学计算的前景。在数学化的科学中，从一些基本的结论中可以推断：被数学科学处理地重要的实体前景。从而，从牛顿万有引力定律和他的运动定律，有人推出了行星轨道满足开普勒定理。Whataretheentitieswithwhichthescienceofcomputationdeals?计算科学处理的实体是什么？Whatkindsoffactsabouttheseent

3、itieswouldweliketoderive?关于这些实体我们想要的推导什么种类的事实？Whatarethebasicassumptionsfromwhichweshouldstart?从我们开始什么事基本的假设？Whatimportantresultshavealreadybeenobtained?已经获得什么重要的结论？Howcanthemathematicalsciencehelpinthesolutionofpracticalproblems?在实际问题上，数学化的科学怎么帮忙的？Iwould

4、liketoproposesomepartialanswerstothesequestions.Thesepartialanswerssuggestsomeproblemsforfuturework.FirstIshallgivesomeverysketchygeneralanswerstothequestions.First,Ishallgivesomeverysketchygeneralanswerstothequestions.ThenIshallpresentsomerecentresultson

5、threespecificquestions.Finally,Ishalltrytodrawsomeconclusionsaboutpracticalapplicationsandproblemsforfuturework.关于这些问题我想给出一些部分答案。这些部分答案对未来的工作问题有些建议。我先给出一些概要关于这些问题的答案。然后我将给出三个特殊问题一些当前的结果。最后我将试着得出一些关于实际应用和来来研究问题的结论。2.WhatAreTheEntitiesWithWhichComputerScien

6、ceDeals?什么是“计算机科学处理与实体？Theseareproblems,procedures,dataspaces,programsrepresentingproceduresinparticularprogramminglanguages,andcomputers.这些问题，程序，数据空间，代表在特定的编程语言程序的方案，和计算机。Aproblemisdefinedbythecriterionwhichdetermineswhetheraproposedsolutionisaccepted.On

7、ecanunderstandaproblemcompletelywithouthavinganymethodofsolution.Proceduresareusuallybuiltupfromelementaryprocedures.Whattheseelementaryproceduresmaybe,andhowmorecomplexproceduresareconstructedfromthem,isoneofthefirsttopicsincomputerscience.Thissubjectisn

8、othardtounderstandsincethereisaprecisenotionofacomputablefunctiontoguideus,andcomputabilityrelativetoagivencollectionofinitialfunctionsiseasytodefine.Aproblemisdefinedbythecriterionwhichdetermineswhetheraproposedsol