Foto-Bovedas

Hace algunos años (¡No importa cuántos!) recibí mi diploma de Magister en Matemática en "Miami University"; dicha universidad se encuentra en el acogedor pueblo de Oxford a unos cuantos kilómetros de la conocida Cincinnati.

Desde aquel entonces he navegado por las tierras de la Matemática iniciando mis viajes en el país del "Algebra Lineal", pasando por la tierra del "Análisis Matemático" y, durante los últimos años, viajando por el "continente" de la "Lógica Matemática".

En mis últimos viajes he llegado a convencerme de que podemos lograr un enfoque fecundo de muchos algoritmos y sistemas formales de la Ciencia Computacional aplicando conceptos originados, en gran medida, en el seno de la Lógica Matemática.

En mis viajes también he podido adquirir los rudimentos de lenguajes de programación como C, Java, Python, Scheme y Prolog; en tales viajes he llegado a la conclusión de que la "magia" no está en el lenguaje sino en el que analiza los problemas y los resuelve escogiendo el entorno de programación adecuado.

Durante más de 40 años he compartido, y aprendido, con colegas y estudiantes en nuestra Universidad de Panamá.

Actualmente seguimos estudiando, procurando profundizar nuestro conocimiento de la Matemática y, en particular, continuamos interesados en la lógica matemática, y en la teoría y práctica de los lenguajes de programación.

ACJ

Playing