Metadata
Author: QED
Data
English[en]
If we can build a precise mathematical model of the hardware and software of the system, then we can prove various invariants in properties in that model, and for instance, four criteria that would help counteract some of the dangers that I mentioned a little bit earlier, would be we might require a system to only run on particular, specified hardware; we might require it to only use specified resources, so it doesn't go out looking for more money, or more electrical power, or more compute resources.
Spanish[es]
Si podemos construir un modelo matemático preciso del hardware y el software del sistema, entonces podemos probar invariantes diferentes en las propiedades de ese modelo, y por ejemplo, la cuarta norma que ayudaría a contrarrestar los peligros que nombré hace un rato, sería quizá necesitemos un sistema que funcione en un hardware particular, específico quizá necesitemos que solo use recursos específicos, para que no vaya por ahí buscando más dinero, o más energía eléctrica, o más recursos de cómputo.