Ciencia + Tecnología

En un principio, al leer el título de este libro, supuse que sería acerca del procedimiento necesario para la toma de decisiones desde una perspectiva cognitiva, como en el contexto de avatares o agentes o similares. Sin embargo, al comenzar a leerlo, me quedó claro que el tema principal es el razonamiento lógico, la lógica matemática. De cualquier manera, seguí leyendo el material ya que fue refrescante recordar una buena parte de este material ya que aprendí esos tópicos hace algunos años. Me parece que es importante mantener en mente este tipo de contenido para tener la capacidad de formalizar el razonamiento que uno hace cuando está escribiendo de manera científica, y ser capaz de mostrar un mecanismo sólido y completo de porqué llegamos a las conclusiones de lo que decimos.

Siendo más específico, el libro trata los algoritmos necesarios para poder decidir (determinar si una fórmula lógica es válida o no) en diferentes lógicas. Las lógicas que abarca este libro son: lógica proposicional, lógica de equidad y funciones no interpretadas, aritmética linear, vectores de bits, arreglos, lógica de apuntadores, fórmulas cuantificadas, combinación de teorías, y codificación proposicional. Para cada una de ellas, explica brevemente los alcances y las limitaciones sobre las que trabajará, y después algún algoritmo (de varios posibles) para poder decidir, de manera algorítmica, sobre ella.

Continuando con el tema de la seguridad informática, existe un tema que ya es viejo pero que, lamentablemente, la solución relacionada no se ha difundido como debería: estoy hablando del uso de cifrado en los servicios de Internet. Afortunadamente, hay un nuevo proyecto que tiene como objetivo dejar en el pasado esta situación. Este proyecto ha entrado en su fase de pruebas de manera pública. Me refiero a Let's Encrypt.

Recientemente volví a leer el libro de Design Patterns: Elements of Reusable Object-Oriented Software de Gamma et al. (mejor conocidos como Gang of Four), y es agradable darme cuenta de lo actual que aún resulta, incluso siendo un libro escrito en 1994. Aunque muchos libros sobre tecnología específica tienen una caducidad implícita (y usualmente corta) por la naturaleza del tema que tratan, hay otros libros sobre tecnología, que tienden más hacia la ciencia, que lograr trascender su expectativa de vida útil.

En días pasados, les había comentado sobre un recurso que abarca las bases de la escritura científica. Cuando escribí esa nota, sólo había tomado los primeros dos cursos, de los seis disponibles. Entonces, para darme una mejor idea del material existente, decidí tomar los 6 cursos y obtener mi certificado de participación. ¡Y ya lo conseguí!