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

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 .

I invent strategies that enable a computer to solve problems that require deep reasoning. Yes, there do exist computer programs that reason, and reason logically . Such programs prove theorems from mathematics, design circuits, and prove that some computer programs do correctly what they are intended to do – but not nearly so well as scientists would like . My job is to find ways to make automated reasoning programs more powerful.

At this point you might be skeptical that a computer program can reason. If so , you might read “Automated Reasoning : Introduction and Applications” or “Automated Reasoning : 33 Basic Research Problems.” I wrote the first book with my colleagues and the second book alone. I get great pleasure from being an author , especially since readers say they enjoy the books and learn from them .

Now if you were hoping for a stronger motivation for why mathematics and computer science is so exciting, here it is. Much of problem solving that succeeds requires careful, meticulous, logical reasoning. If we can design a general-purpose computer program that reasons as effectively as the better mathematicians, then the importance will be immeasurable. And that is my goal: to develop a program that draws 10,000 conclusions a second, that runs on parallel processing computers, that self-analytically determines how to change its attack on a problem, and that can assist in finding and correcting mistakes.

Blindness is a handicap, just as having a poor memory is. Certainly if I could see the pins, I would bowl far better, but a 140 average isn’t too bad. I have a great wife, many friends, and wildly exciting career.
别用翻译器翻译谢谢

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

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

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

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

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

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

如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！

点此我要举报以上问答信息