急！~求助英文翻译！~谢谢

来源：百度知道 编辑：UC知道 时间：2024/05/26 13:34:28
Four
In the early 1950s , I was a grad student at the University of Chicago , considered one of the best in the world , and , to complicate things , I was blind . So we understand clearly , by blind I mean that I could see sunlight . Moreover , none of the material for studying abstract mathematics was in Braille , and no society existed for recording material . I did find a group who put some things into Braille , although we had to invent the notation because Nemeth code , for example , had not yet been contemplated .

After receiving my masters degree , I went on to receive my PhD at the University of Illinois and , in the process , began my study of computer programming . This study led me to apply to the Argonne National Laboratory in 1957 , and I am still there . I was given the job of consultant – to figure out how mathematics could enable scientists to get assistance from a computer . What a marvelous opportunity – and it eventually led me to my current career .<

4
20世纪50年代初期,我是个研究生在芝加哥大学,被认为是世界上最好的教练之一,和更复杂的事情,我什么也看不见。所以我们清醒地认识到,盲目,我的意思是,我可以看到阳光。而且,所有的资料,研究了数学抽象的、没有社会存在盲文记录资料。我发现一群把一些事情改成盲文,尽管我们已经发明了符号,因为Nemeth代码,例如,尚未沉思。

我收到的硕士学位,我继续收到我伊利诺大学的博士学位,并在这个过程中,开始了我的计算机程序设计研究。这项研究把我带到适用于伊利诺伊州阿格涅国家实验室在1957年,我还在那儿。我得到了那份工作的顾问-如何能使科学家能够获得数学援助的计算机。什么一个不可思议的机会,最终把我带到我目前的职业。

我的整体战略,使一个计算机来解决问题,需要深入的推理。是的,确实存在的电脑程式,原因和推理。这样的程序从数学定理的证明,电路设计,并证明了一些计算机程序是否正确地他们所打算的那样——但是并不是像科学家希望。我的工作是寻找一种方法使自动化推理的计划更强大。

在这一点上,你可能会怀疑,一个计算机程序能的原因。如果是这样的话,你会读到“自动推理:简介及应用”或“自动推理:33基础研究问题。”我写的第一本书跟同事和第二本书。我获得很大的乐趣与作为作家,特别是自从读者说他们喜欢的书,而要学着从中吸取教训。

现在,如果你希望一个强大的动机为何数学与计算机科学是如此令人兴奋,它就在这里了。很多成功的问题解决,需要仔细、细致、逻辑推理。如果我们能设计一种通用计算机程序有效的原因,然后重要性更好的数学家会无可估量的。而这也是我的目标:去制定一个计划,得出结论的第二个,10000分,self-analytically计算机并行处理决定如何改变其攻击一个问题,并能协助寻找和纠正错误。

失明是一个障碍,就像有一个贫穷的记忆。当然,如果我能看到销的话,我就会好过多了,但一碗140平均还不算太坏。我有一个很好的妻子,很多朋友和广泛的职业。