来自《耶鲁大学开放课程—哲 第4集 第4集》

• 
  
  Perhaps no chess game before had had this move.
  这也许是象棋史上前所未有的一步棋
• 
  
  Computers can do other sorts of things of this sort.
  除了下棋 电脑还可以做许多事情
• 
  
  There are mathematical theorem-proving programs.
  有些程序可以证明数学定理
• 
  
  Now, some of these things can prove things
  如今 这些程序都可以证明一些
• 
  
  that are mathematically way over my head.
  令我头大的数学题了
• 
  
  But let's take something simple like the Pythagorean Theorem,
  不过我们还是说些简单的 比如勾股定理
• 
  
  which we all learned in high school.
  我们中学里都学过的
• 
  
  And we learned how to prove
  我们都学习过
• 
  
  the Pythagorean Theorem in Euclidean geometry,
  欧几里得几何中对勾股定理的证明方法
• 
  
  starting with the various axioms in Euclidean geometry,
  从繁杂的欧氏几何的公理开始
• 
  
  ba, ba-ba, ba-ba, ba-ba, ba bum.
  邦 邦邦 邦邦 邦邦
• 
  
  This proves Pythagorean Theorem.
  这就证明了勾股定理