De la logique à l’algorithme : la traduction dans le design de programmes
What makes machine logic so difficult to understand for users ? It seems as if we attribute to machines the utopian potential of unifying all forms of logic into one single binary model. Yet, the transparency proposed by this utopian unification contradicts the actual technical situation of machines...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | fra |
| Published: |
MSH Paris Nord
|
| Series: | Appareil |
| Subjects: | |
| Online Access: | https://journals.openedition.org/appareil/4732 |
| _version_ | 1797308160892993536 |
|---|---|
| author | Kim Sacks |
| author_facet | Kim Sacks |
| author_sort | Kim Sacks |
| collection | DOAJ |
| description | What makes machine logic so difficult to understand for users ? It seems as if we attribute to machines the utopian potential of unifying all forms of logic into one single binary model. Yet, the transparency proposed by this utopian unification contradicts the actual technical situation of machines, revealing an existing tension between the material opacity of hardware and the utopian ideal of software. By reducing information to its bare minimum, machines would acquire infinite computational power. Heir to Turing’s theoretical universal machine, this utopian machine would be capable of everything and nothing. If computation can process everything, then the machine becomes truly universal by enabling a unified language embedded in electronic logic circuits. Program design is at the interface between machine logic and the production of functional programs. This essay explores the technical modalities of logic translations inherent to machines within the context of program design. We hypothesize that the successive layers of software, between a designer and the electronics, implies successive translations. This layering allows the machine to execute the program while simultaneously making it difficult for the end user to understand the machine-based logic, which would be equivalent to a noisy translation resulting in an unintelligible language. The logic of substituting one string (sequence of characters) for another string shares common traits with information encryption analysis, ergo cryptanalysis. While the analytical models are similar, the linguistic goals are quite different : from the machine standpoint, automated translation focuses on syntax, and from a human standpoint, it focuses particularly on semantics. This fundamental distinction contributes to a perception of machine logic opacity and makes it all the more difficult for the machine’s functioning to be understood. These processes reinforce the non-reversibility of translation : interdependence between layers, compilation, obfuscation, economic stakes, are all instances that seem to provide the basis of concealment of logic as technical dogma, favoring a functional ideology that paradoxically restricts the intelligibility of computational machines. |
| first_indexed | 2024-03-08T01:07:41Z |
| format | Article |
| id | doaj.art-b429b06f74c34e7c8a25aca7aa6cb01a |
| institution | Directory Open Access Journal |
| issn | 2101-0714 |
| language | fra |
| last_indexed | 2024-03-08T01:07:41Z |
| publisher | MSH Paris Nord |
| record_format | Article |
| series | Appareil |
| spelling | doaj.art-b429b06f74c34e7c8a25aca7aa6cb01a2024-02-14T16:29:01ZfraMSH Paris NordAppareil2101-07142410.4000/appareil.4732De la logique à l’algorithme : la traduction dans le design de programmesKim SacksWhat makes machine logic so difficult to understand for users ? It seems as if we attribute to machines the utopian potential of unifying all forms of logic into one single binary model. Yet, the transparency proposed by this utopian unification contradicts the actual technical situation of machines, revealing an existing tension between the material opacity of hardware and the utopian ideal of software. By reducing information to its bare minimum, machines would acquire infinite computational power. Heir to Turing’s theoretical universal machine, this utopian machine would be capable of everything and nothing. If computation can process everything, then the machine becomes truly universal by enabling a unified language embedded in electronic logic circuits. Program design is at the interface between machine logic and the production of functional programs. This essay explores the technical modalities of logic translations inherent to machines within the context of program design. We hypothesize that the successive layers of software, between a designer and the electronics, implies successive translations. This layering allows the machine to execute the program while simultaneously making it difficult for the end user to understand the machine-based logic, which would be equivalent to a noisy translation resulting in an unintelligible language. The logic of substituting one string (sequence of characters) for another string shares common traits with information encryption analysis, ergo cryptanalysis. While the analytical models are similar, the linguistic goals are quite different : from the machine standpoint, automated translation focuses on syntax, and from a human standpoint, it focuses particularly on semantics. This fundamental distinction contributes to a perception of machine logic opacity and makes it all the more difficult for the machine’s functioning to be understood. These processes reinforce the non-reversibility of translation : interdependence between layers, compilation, obfuscation, economic stakes, are all instances that seem to provide the basis of concealment of logic as technical dogma, favoring a functional ideology that paradoxically restricts the intelligibility of computational machines.https://journals.openedition.org/appareil/4732utopiaobfuscationcryptographycomputational linguisticscomputer logicnon-reversibility |
| spellingShingle | Kim Sacks De la logique à l’algorithme : la traduction dans le design de programmes Appareil utopia obfuscation cryptography computational linguistics computer logic non-reversibility |
| title | De la logique à l’algorithme : la traduction dans le design de programmes |
| title_full | De la logique à l’algorithme : la traduction dans le design de programmes |
| title_fullStr | De la logique à l’algorithme : la traduction dans le design de programmes |
| title_full_unstemmed | De la logique à l’algorithme : la traduction dans le design de programmes |
| title_short | De la logique à l’algorithme : la traduction dans le design de programmes |
| title_sort | de la logique a l algorithme la traduction dans le design de programmes |
| topic | utopia obfuscation cryptography computational linguistics computer logic non-reversibility |
| url | https://journals.openedition.org/appareil/4732 |
| work_keys_str_mv | AT kimsacks delalogiquealalgorithmelatraductiondansledesigndeprogrammes |