Нет, тут я согласен с уважаемым Гастритом. Слова о материальном воплощении всего происходящего очень важны в конструктивистском дискурсе. Это резко отличает конструктивизм от надуманных и мало обоснованных предметов. Конструктивизм - это математика, как естественная наука. Ну... с небольшим элементом абстракции (на уровне принятия произвольных машин тьюринга и игнорирования дискурса новоявленных информатиков, откуда-то появившихся...)
Да, информатики и feasibility-belivers может быть и лучше воплощают эту идею, но из-за плохого образования они обычно не могут эти аргументы правильно представить и дискредитируют свои слова некоторыми другими способами. Конструктивисты же обычно благородны, начитаны и безработны, создавая хорошую почву для приятия их аргументов.
Нет, я не знаю с числа 5 начинается крускальщина или может быть с числа 3, 6 или 9, но точно с какого-то маленького.