Goce

Muere Maradona.
Muchos dicen que había sombras. Claro que las había.
Sinó hay sombras en la vida no es vida. ¿Demasiadas? ¿Tú puedes juzgar?
La vida es ruido y furia, como dijo el autor.
¿Demasiado ruido y furia? Nadie lo sabe.
La vida es goce, estar aquí y ahora.
Maradona con la pelota era goce y éxtasis. La vida es eso.
Se que hay muchos que no lo entenderéis nunca.
Es vuestro problema: la vida reducida a lo correcto, al cálculo.
La vida lejos del caos y la furia no es vida.
Diréis que no se le puede perdonar su mal ejemplo etc...
Soy unos moralistas que no sabéis vivir. Nada es tan fácil.
¿Quién sois vosotros para perdonar o decir que es lo correcto?

Miraos al espejo.

Read More

Nada

Todos seremos engullidos por la nada.

Todos seremos olvidados. 

No hay nada eterno.

Lo que no hagas aquí y ahora está perdido. 

Read More

Respetarse a si mismo

¿Te respetas a ti mismo?

¿Te amas a ti mismo?

¿Amas?

El resto no importa

Read More

Computer Science as the continuation of Logic by other means

Nunca hablo de informática por aquí aunque estaría bién hacerlo más.

Desde que aprendí los Algebraic Data Types (especificación algebraica abstracta) en que se veía la diferencia entre lo abstracto (matemático) y su implementación (artefacto de software) sufrí una conversión intelectual. La informática es Computer Science, es una disciplina lógica que además se implementa, es lógica computable. ("Computer Science as the continuation of Logic by other means" Georg Gottlob)

Después vino la lógica matemática, lambda cálculo, functional programming, relational data model etc. A hombros de gigantes: Church, Hindley-Milner, Moggi, Wadler, etc. El resto es historia.

Pues bién el impacto de esta visión aún es limitado y la mayoría del software está dominado por una exceso de pragmatismo cortoplacista.

El 90% de lo que hacemos en el día a día es implementar mediante mecanismos ad hoc (spaghetti gluing) mecanismos de composición de funciones y de transformación de datos.

También mediante mecanismos ad hoc usamos els paralelismo y la distribución de máquinas de un poder asombroso. Nadie discute los avances de hardware sin duda impresionantes.

Pero el software trabaja a un nivel de abstracción ridículo y eso produce que la composición y transformación (y el paralelismo y la distribución) nos lleve la mayor parte del esfuerzo. Además por ser ad hoc y no abstracto son costosas de modificar y mantener por inflexibles y generales.

La teoría de las categorías, la más abstracta matemática pueden ser el camino. (Wadler y Moggi iniciaron el camino práctico pero desde la ignorancia queda mucho por hacer).

Veremos.

Read More

Acto ético

La cuestión fundamental es siempre la ética.

(Ahí discreparon Wittgenstein / Russell).

A Russell sólo le importaba la parte escrita del Tractatus (la lógica).

A Wittgenstein la no escrita (véase el prólogo de R y el de W).

Lo ético es inexpresable.

¿Y que es la esencia de lo ético?

Qué hacer en cada momento.

Qué hacer que sea justo.

(Actuar según la voluntad de Dios como decían los antiguos)

Cualquier acto humano real es ético o no vale nada.

Ha de ser trascendente, ajeno a los hechos sin buscar recompensa.

Ha de ser gratuito.

¿Y si no hay recompensa ni cálculo de qué sirve?

No sirve de nada.

¿De qué sirve la vida?

De nada.

Sólo importa lo que hagamos aquí y ahora.

Read More