In this paper I review a particular version of so-called "formalism" (the one elaborated by Emil Post) and show how this deviates from traditional understandings of formalism (cfr Lakatos). This results in a critique on the dogma of simulation as we see and experience it in current user-driven software developments and which hides the lack of meaning of "pure" computation.