La ciencia consiste en hacer conexiones inesperadas. Por un lado, tenemos al lenguaje de programaci\u00f3n Java que fue desarrollado a finales del siglo XX, y por otro, tenemos la l\u00f3gica formal desarrollada aproximadamente hace 130 a\u00f1os al final del siglo XIX. \u00bfCu\u00e1l es la relaci\u00f3n de la L\u00f3gica con Java?<\/p>\n
Java se convirti\u00f3 en un lenguaje de programaci\u00f3n muy popular porque puedes ejecutarlo en tu navegador web, en tu tel\u00e9fono m\u00f3vil, e incluso en tu refrigerador de cocina. Y la raz\u00f3n detr\u00e1s de esta popularidad es que proporciona cierta garant\u00eda de seguridad por su sistema de tipos (o tipado). La seguridad es muy importante porque lo que menos quiere un usuario que descargue un programa en Java es que el programa analice la memoria de su computadora o su tel\u00e9fono m\u00f3vil y encuentre, digamos, el n\u00famero de su tarjeta de cr\u00e9dito y lo env\u00ede al otro lado del mundo. En este caso, el modelo de tipos del lenguaje Java previene que eso pase.<\/p>\n
\u00bfDe d\u00f3nde viene el sistema de tipos de Java? Los tipos fueron introducidos primero por l\u00f3gicos formales, que empezaron a trabajar en la segunda mitad del siglo XIX. Ellos estaban interesados en la formalizaci\u00f3n de la l\u00f3gica porque los matem\u00e1ticos de la \u00e9poca ten\u00edan argumentos acerca de cu\u00e1l es la forma correcta y cu\u00e1l la incorrecta de razonar. Por tanto, lo que quer\u00edan George Cantor, Gottlob Frege y otros es que el proceso de razonamiento fuera tan sencillo que incluso una m\u00e1quina pudiera realizarlo. Sin saberlo, ellos estaban sentando las bases te\u00f3ricas en las que una computadora moderna funcionar\u00eda. La noci\u00f3n de un programa de computadora se hizo evidente a partir de la l\u00f3gica formal y la gente empez\u00f3 a darse cuenta de que una prueba en l\u00f3gica es exactamente la misma cosa que un programa. En la d\u00e9cada de los setenta, Robin Milner invent\u00f3 un sistema de tipos para un lenguaje de programaci\u00f3n denominado ML (Meta Language). Al mismo tiempo, el l\u00f3gico Roger Hindley invent\u00f3 exactamente el mismo concepto, pero para la l\u00f3gica. Ese sistema de tipos fue eventualmente usado en otros lenguajes de programaci\u00f3n como Haskell y hacia finales del siglo XX por Java.<\/p>\n
El conocimiento en el lenguaje de programaci\u00f3n Java y en el uso de la L\u00f3gica es de suma importancia para los j\u00f3venes que se encuentran cursando las carreras de Ingenier\u00eda en Tecnolog\u00edas de la Informaci\u00f3n e Ingenier\u00eda en Telem\u00e1tica en la Universidad Polit\u00e9cnica de San Luis Potos\u00ed.\u00a0 Motivo por el cual, esta Casa de Estudios busca capacitar y certificar a nuestros estudiantes para que obtengan las herramientas necesarias que contribuir\u00e1n a un mejor desarrollo profesional.<\/b><\/p>\n
Por: Mtro. Omar Monta\u00f1o Rivas, de conversaciones, entrevistas y conferencias realizadas por Philip Wadler, investigador de la Universidad de Edimburgo y estuvo involucrado en el desarrollo de Haskell y gen\u00e9ricos de Java.<\/p>\n
\n\n\t\t