Many of these researchers study evolution and natural adaptation instead of formal logic and conventional computer programs.

这些研究人员中许多都研究进化和自然适应，而不是形式逻辑和传统的计算机程序。