Formalism and trust

What we learn from our everyday experience in the technologic world of comfort and commodities, is that machines are intrinsically different from humans. First of all, they are honest: machines are not programmed to lie to people, and, whenever they make a mistake, they would declare it. Whereas humans tend to deny or hide mistakes, machines pre-emptively advise us of any possible error. Thus, when we learn how to use machines, we learn how to trust machines. Living in a open Universe, living in a open and relative Universe, we are exposed to a wide variety of syndromes: whereas we do not have faith, still we trust machines. The machinic identity, its properties and predicates, do make machines closer and more similar to supreme, supernatural entities. But machines are also tools. It is common belief that when humans do not understand what technology is doing, then magic is happening. There are many points of contact between a theory of magic and software mechanisms: both magic and software are formalistic, imply spells and the use of tools, involve numbers and formulas, repetition and loops, and minimal representation. Both magic and software cannot be wordless, they imply transformation, transmutation, a change of state, some result, and a main effect, or event. Between a wish and its fulfillment there is, in magic, no gap, just the time to process the receipt.