{"id":59,"date":"2010-06-07T17:12:41","date_gmt":"2010-06-07T17:12:41","guid":{"rendered":"http:\/\/neohumanoide.wordpress.com\/?p=59"},"modified":"2010-09-28T11:24:58","modified_gmt":"2010-09-28T11:24:58","slug":"para-que-me-sirve-ahora-un-jardin-de-rosas-por","status":"publish","type":"post","link":"http:\/\/www.computable.cl\/blog\/?p=59","title":{"rendered":"Para que me sirve ahora un jard\u00edn de rosas, por…"},"content":{"rendered":"

Un cuestionamiento recurrente en Ciencias de la Computaci\u00f3n<\/em> es la expresividad de un Lenguaje de Programaci\u00f3n.<\/em> En un contexto m\u00e1s general se discute sobre los l\u00edmites de los distintos modelos de computabilidad, <\/em>en categor\u00eda en que caen los primeros, pero tambi\u00e9n a parecen dispositivos y m\u00e1quinas abstractas<\/em>, a saber como por ejemplo, la cl\u00e1sica\u00a0M\u00e1quina de Turing <\/em>reconocido como uno de los modelos computacionalmente completos<\/em>, su creador Alan Turing<\/em>, l\u00f3gico mat\u00e9matico Brit\u00e1nico de la primera mitad del siglo XIX, se propuso explorar los confines de la noci\u00f3n de\u00a0calculabilidad<\/em> y fundamentalmente establecer que realmente significa\u00a0calculable. <\/em>A lo largo de la historia de la humanidad yacen diversas observaciones que en conjunto han ido moldeando este concepto, pero dicho concepto no tomo forma sino con la contribuci\u00f3n de Turing. Hago hincapi\u00e9 en que Turing fue un l\u00f3gico matem\u00e1tico ya que en su \u00e9poca no exist\u00edan nuestro ya familiares computadores personales. \u00c9l junto a muchos otros como el f\u00edsico\u00a0John Von Neumann<\/em> concibieron lo que hoy se ha trasformado en un\u00a0Gadget<\/em> cotidiano e indispensable en nuestros quehaceres. Lo impresionante es que esta grandiosa construcci\u00f3n nace de la observaci\u00f3n del humano y sus diversos procesos anal\u00edticos, despu\u00e9s de todo es una aproximaci\u00f3n ajustada de lo que somos, o mejor dicho, de lo que bien creemos es nuestra mente y conciencia.<\/p>\n

Lo anterior es un referente bajo el cual la inteligencia colectiva ha desarrollado y modelado la automatizaci\u00f3n y representaci\u00f3n de lo que es\u00a0computaci\u00f3n<\/em> o mejor dicho el a\u00fan m\u00e1s primario concepto de\u00a0c\u00e1lculo. <\/em>Este\u00a0no es el \u00fanico enfoque, con cierto grado de paralelismo y quiz\u00e1s emanando de otras comunidad cient\u00edficas se ha desarrollado el enfoque ling\u00fcista<\/em>, que a mi entender sigue siendo la perspectiva m\u00e1s compleja de las dos. Si pensamos por un minuto, en el desarrollo de los distintos lenguajes naturales, y su implementaci\u00f3n fon\u00e9tica a lo largo de las distintas civilizaciones, nos encontramos con una fenomenolog\u00eda admirable y que nos pone por delante un sinf\u00edn de interrogantes. Ling\u00fcistas como Noam Chomsky<\/em> han capturado muchas de las estructuras subyacentes a lo largo de estos lenguajes naturales, tanto es as\u00ed que esta observaci\u00f3n han permitido la generaci\u00f3n de lenguajes formarles, aquellos lenguajes formales que llamamos hoy lenguajes de programaci\u00f3n y que en definitiva nos permiten comunicarnos con aquellos constructos desarrollados por\u00a0Turing <\/em>y\u00a0Von Neumann. <\/em> Es impresionante como estos enfoques convergen e interact\u00faan, relaci\u00f3n que sigue fructiferan al correr de los a\u00f1os.<\/p>\n

Lo anterior no es el f\u00edn de un desarrollo, a mi entender es s\u00f3lo el comienzo de lazos entre estas dos columnas conceptuales que pretenden emular lo que nuestra prodigiosa mente humana ejecuta con asombrosa tranquilidad. Me quedan y motivan algunos puzzles que al d\u00eda de hoy no he visto que hubiesen sido formalizados, ni emulados asertivamente en estos enfoques. C\u00f3mo podr\u00edamos programar<\/em> el significado de \u00a0algo paracido a lo que ocurre en el siguiente contexto tan propio de en un lenguaje natural:<\/p>\n

Contexto: <\/strong>Un regimiento austriaco en medio de la segunda guerra mundial regresa del frente derrotado, a lo largo del camino cantan y tararean una canci\u00f3n que guarda un secreto:<\/em><\/p>\n

\u00a8Para que me sirve ahora un jard\u00edn de rosas, por donde otros han caminado…\u00a8<\/em><\/p>\n

\u00bfQu\u00e9 quieren decir con esta frase? <\/em>\u00bfA<\/em> quienes<\/em> <\/em>c\u00e1ntan<\/em>? Claro, no hay muchas interpretaciones, ellos cantan a sus novias que despu\u00e9s de a\u00f1os y meses con ellos en el frente han encontrado un nuevo amor. <\/em><\/em><\/p>\n

Quiz\u00e1s lo confuso ahora, es que es lo que quiero decir, bueno, no espero decir demasiado, s\u00f3lo enfatizar el hecho de que a partir de este ejemplo, percibo que la ductilidad de los lenguajes naturales es casi insoslayable por un lenguaje formal, o mejor dicho aquellos conocidos hasta ahora. Aquellas l\u00edneas nos dicen y se\u00f1alan que desde el dise\u00f1o del script<\/em>, el significado es primario, realza \u00a0el como se diga. En definitiva, veo algo optimo en nuestros lenguajes naturales que creo a\u00fan no se ha modelado en el contexto de lenguajes formales, quiz\u00e1s un intento cercano a esta acertividad ya exista en aquellos lenguajes de programaci\u00f3n funcional<\/em>!<\/p>\n","protected":false},"excerpt":{"rendered":"

Un cuestionamiento recurrente en Ciencias de la Computaci\u00f3n es la expresividad de un Lenguaje de Programaci\u00f3n. En un contexto m\u00e1s general se discute sobre los l\u00edmites de los distintos modelos de computabilidad, en categor\u00eda en que caen los primeros, pero tambi\u00e9n a parecen dispositivos y m\u00e1quinas abstractas, a saber como por ejemplo, la cl\u00e1sica\u00a0M\u00e1quina de Read More<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-59","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"http:\/\/www.computable.cl\/blog\/index.php?rest_route=\/wp\/v2\/posts\/59","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.computable.cl\/blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.computable.cl\/blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.computable.cl\/blog\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.computable.cl\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=59"}],"version-history":[{"count":1,"href":"http:\/\/www.computable.cl\/blog\/index.php?rest_route=\/wp\/v2\/posts\/59\/revisions"}],"predecessor-version":[{"id":140,"href":"http:\/\/www.computable.cl\/blog\/index.php?rest_route=\/wp\/v2\/posts\/59\/revisions\/140"}],"wp:attachment":[{"href":"http:\/\/www.computable.cl\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=59"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.computable.cl\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=59"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.computable.cl\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=59"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}