Внесок інформатики: Початок «цифрової революції», що включає інформаційну епоху та інтернет . Дано формальне визначення обчислень та обчислюваності, і доказ того, що існують алгоритмічно нерозв'язні завдання.