Теоретическая информатика: наука чистая или прикладная?

Большую часть своей сознательной жизни Александр Разборов занимался наукой с труднопереводимым на русский язык названием «Theoretical Computer Science» (возможно, — теоретическая информатика). Автор лекции в течение нескольких десятилетий с интересом наблюдал, как ломаются копья над вопросом о том, какой именно тип науки нужен и важен обществу: следующий своей внутренней логике («математический» склад ума) или ориентированный на решение конкретных задач (склад ума «инженерный»).

Данной проблеме посвящается бесчисленное количество обсуждений на форумах, имеющих хоть какое-то отношение к науке. Лектор постарается проиллюстрировать на простых конкретных примерах из области математики (преимущественно дискретной), теоретической информатики и криптографии, что противоречие это скорее кажущееся, нежели истинное.