Теория нарушения ожиданий
Теория нарушения ожиданий — это теория коммуникации, которая анализирует, как люди реагируют на непредвиденные нарушения социальных норм и ожиданий. Теория была разработана в конце 1970-х годов. Первоначально, Бергун анализировала ожидания людей в отношении личной дистанции при общении с другим человеком, а также как нарушение такой дистанции соотносится с отношением к конкретному человеку В 1980-х и 1990-х имела название «теория нарушения невербальных ожиданий» и основывалась на исследованиях Бергун о проксемике.
Теория алгоритмов
Развитие теории алгоритмов начинается с доказательства Куртом Гёделем теорем о неполноте формальных систем, включающих арифметику, первая из которых была доказана в 1931 году. Возникшее в связи с этими теоремами предположение о невозможности алгоритмического разрешения многих математических проблем (в частности, проблемы выводимости в исчислении предикатов) вызвало необходимость стандартизации понятия алгоритма. Первые стандартизованные варианты этого понятия были разработаны в 1930-е годы в работах Алана Тьюринга, Эмиля Поста и Алонзо Чёрча. Предложенные ими машина Тьюринга, машина Поста и лямбда-исчисление оказались эквивалентными друг другу. Основываясь на работах Гёделя, Стивен Клини ввёл понятие рекурсивной функции, также оказавшееся эквивалентным вышеперечисленным.