Es probable que en 2060 dispongamos de dispositivos móviles con acceso a la supercomputación. Desde la invención del ordenador en los años cuarenta del siglo xx, se ha innovado de forma incremental mejorando sus prestaciones en velocidad de cálculo, reduciendo el tamaño de los componentes (chips) y diseñando bases de datos capaces de soportar más transacciones. En paralelo, hemos presenciado la revolución del software en las formas de programación y su impacto decisivo en las telecomunicaciones.
En mi opinión, la escalabilidad de los negocios digitales que hoy desarrollan el 46% de las empresas está en cuestión, debido a las limitaciones de los sistemas computación actuales. La digitalización -tal como la conocemos- podría estar entrando en una fase de saturación.
Los modelos de negocio digitales no son ingrávidos. Precisan infraestructuras que requieren: 1) espacio, ya sean centros de computación o redes de telecomunicaciones globales; 2) tiempo de cálculo finito, en función de la complejidad de los problemas por resolver, y 3) energía para hacer funcionar las infraestructuras digitales. Por ejemplo, la explotación del bitcoin gasta la misma energía al año que Suecia o la mitad que el Reino Unido.
Por ello, se está haciendo un gran esfuerzo inversor en las tecnologías que denominamos deep-tech, un paraguas que engloba las infraestructuras básicas, como el modelo futuro de computación, materiales, chips, bases de datos, telecomunicaciones y software, entre otras.
La computación y sus límites
La computación es una combinación de ciencia, matemáticas e ingeniería. Su origen moderno procede del genio matemático Alan Turing, que dio respuesta a la tercera proposición del problema propuesto por David Hilbert en 1900 conocido como Entscheidungsproblem. Este problema proponía tres preguntas
1. ¿Son las matemáticas completas? Es decir, ¿podemos explicar cualquier problema en matemáticas a partir de un conjunto finito de axiomas?
2. ¿Son las matemáticas consistentes? Es decir, ¿podemos asegurar que una demostración matemática es correcta?
3. ¿Puede demostrarse que una proposición matemática puede decidirse en un tiempo finito?
Kurt Gödel demostró -con uno de los teoremas más importantes de la historia- la incompletitud de las matemáticas abordando las dos primeras proposiciones. Es decir, las matemáticas, para ser exactas y consistentes, han de ser un sistema abierto.[i] En otras palabras, las matemáticas no pueden reducirse a un conjunto básico de axiomas.
Conoce más aquí
