Фундаментальным заключением ВТ, как науки, является то, что программа не ограничена законами и свойствами, известными в физ. мире. Тем самым, возникает естественный вопрос: “Каковы же те ограничения, которым подчиняется программа”? Обсуждаются три наиболее ходовые метафоры программы: 1) программа есть мат. сущность, 2) программа есть конкретный продукт и 3) программа есть множество поведенческих инструкций компьютеру и закодированным решением заданной проблемы. В результате делается попытка продемонстрировать, что программа подчиняется определенным законам информатики и математики.