The Lengths of Proofs: Kreisel's conjecture and Gödel's speed-up theorem

В данном обзоре собраны и сравниваются известные к настоящему времени результаты, связанные с попытками установить справедливость гипотезы Крайзеля о длинах доказательств. Также рассматриваются результаты, касающиеся теоремы об ускорении, анонсированной Геделем в 1936 г. Наконец, показано, как данные результаты соотносятся с гипотезой Крайзеля. Библ. – 63 назв.