Blog de Erick Castellanos

Frase para reflexionar

Los perezosos siempre hablan de lo que piensan hacer, de lo que harán; los que de veras hacen algo no tienen tiempo de hablar ni de lo que hacen.

-- Johan Wolfgang von Goethe (1749-1832); poeta, novelista y dramaturgo alemán.

Frase para reflexionar

La ciencia humana consiste más en destruir errores que en descubrir verdades.

-- Sócrates (470-399 a.C.); filósofo griego.

Frase para reflexionar

En la circunferencia, el comienzo y el fin coinciden.

-- Heráclito (544-480 a.C.); filósofo griego.

Frase para reflexionar

El libro es capote de torero, paraguas para el sol y la lluvia, escudo contra las flechas de la estulticia, de la imbecilidad que inundan el cielo. El libro es la alhomada para tener los mejores sueños, cama de clavos para tener las más chidas pesadillas, el libro es pañuelo para las lágrimas, bálsamo para las heridas, el libro es este ladrillo que construye ciudadanía, casas, muros, universos. Somos lo que hemos leído; por el contrario seremos la ausencia que los libros dejaron en nuestras vidas.

-- Benito Taibo.

Frase para reflexionar

Sólo es digno de libertad quien sabe conquistarla cada día.

-- Johan Wolfgang von Goethe (1749-1832); poeta, novelista y dramaturgo alemán.

Frase para reflexionar

Si te caes siete veces, levántate ocho.

-- Proverbio.

Frase para reflexionar

Un peligro previsto está medio abolido.

-- William Shakespeare (1564-1616); poeta y dramaturgo inglés.

Algunos comentarios sobre el libro "Decision Procedures"

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.

Frase para reflexionar

La libertad no es nada más que una oportunidad para ser mejor.

-- Albert Camus (1913-1960); novelista y dramaturgo francés, premio Nobel Literatura.

Frase para reflexionar

Cerrar los oídos a los argumentos contrarios será indicio de carácter fuerte, pero a veces lo es de imbecilidad.

-- Friedrich Nietzsche (1844-1900); filósofo alemán.

Páginas

Suscribirse a RSS - Blog de Erick Castellanos