Компьютерные программы (даже очень сложные) являются физическими объектами, которые состоят из твердотельной химии и электрических потоков. Они не платонические формы, они не абстракции, они обычные объекты, как и все остальное.