ЖЕЛЕЗНАЯ ЛОГИКА математикам приходится использовать компьютеры там, где они традиционно пользовались только своей головой - в доказательствах теорем. Должны ли ученые довериться машинам?

     
      Д 57
      ДОБРЫНИН,С.
      ЖЕЛЕЗНАЯ ЛОГИКА математикам приходится использовать компьютеры там, где они традиционно пользовались только своей головой - в доказательствах теорем. Должны ли ученые довериться машинам? С. ДОБРЫНИН // ВОКРУГ СВЕТА (УКР.). - 2012. - № 4. - С. 86-92. - .