Cтраница 4
Имеется несколько критериев устойчивости; все они основаны на сложных математических доказательствах. Здесь приводится только алгебраический критерий устойчивости для системы третьего порядка. [46]
Хотя работы Пеано произвели большое впечатление, ему не удалось формализировать математическое доказательство: он никогда не описал явно, какие именно операции над символическими выражениями могут рассматриваться как законные шаги в математических доказательствах; его правила вывода ( законы доказательства) были смутны. Решающий шаг был сделан в десятилетии, предшествующем I мировой войне, Расселом и Уайтхедом. [47]