{"id":240,"date":"2006-12-20T00:00:19","date_gmt":"2006-12-20T04:00:19","guid":{"rendered":"http:\/\/www.hamburgueta.com\/wordpress\/2006\/12\/20\/%c2%bfcomo-fue-que-los-computadores-llegaron-a-ser-parte-de-nuestra-sociedad-1\/"},"modified":"2012-08-25T22:46:28","modified_gmt":"2012-08-26T02:46:28","slug":"%c2%bfcomo-fue-que-los-computadores-llegaron-a-ser-parte-de-nuestra-sociedad-1","status":"publish","type":"post","link":"https:\/\/www.hamburgueta.com\/wordpress\/2006\/12\/20\/%c2%bfcomo-fue-que-los-computadores-llegaron-a-ser-parte-de-nuestra-sociedad-1","title":{"rendered":"\u00bfC\u00f3mo fue que los computadores llegaron a ser parte de nuestra sociedad? (1)"},"content":{"rendered":"<div class=\"pps-series-post-details pps-series-post-details-variant-classic pps-series-post-details-6279\" data-series-id=\"90\"><div class=\"pps-series-meta-content\"><div class=\"pps-series-meta-text\">This entry is part 1 of 6 in the series <a href=\"https:\/\/www.hamburgueta.com\/wordpress\/series\/cs\"><span class=\"caps\">CS<\/span><\/a><\/div><\/div><\/div><p>Salt\u00e1ndome los \u00e1bacos y esas cosas, todo comenz\u00f3 en los a\u00f1os 30 con los&nbsp;trabajos de <a href=\"http:\/\/en.wikipedia.org\/wiki\/Kurt_G%C3%B6del\" target=\"_blank\">G\u00f6del<\/a> (1931: \u201c\u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme.\u201d), <a href=\"http:\/\/en.wikipedia.org\/wiki\/Alan_Turing\" target=\"_blank\">Turing<\/a> (1936: \u201cOn Computable Numbers, with an Application to the Entscheidungsproblem\u201d)&nbsp;y&nbsp;&nbsp;<a href=\"http:\/\/en.wikipedia.org\/wiki\/Alonzo_Church\" target=\"_blank\">Church<\/a> (1936: \u201cFormal definitions in the theory of ordinal numbers\u201d).<\/p>\n<p>El fundamento matem\u00e1tico est\u00e1, por un lado, en los <a href=\"http:\/\/en.wikipedia.org\/wiki\/Formal_language\" target=\"_blank\">lenguajes formales<\/a> y la <a href=\"http:\/\/en.wikipedia.org\/wiki\/Automata_theory\" target=\"_blank\">teor\u00eda de aut\u00f3matas<\/a>, teniendo mayor poder expresivo los lenguajes <a href=\"http:\/\/en.wikipedia.org\/wiki\/Recursively_enumerable_language\" target=\"_blank\">recursivamente enumerables<\/a>, que son decididos por las <a href=\"http:\/\/en.wikipedia.org\/wiki\/Turing_machine\" target=\"_blank\">m\u00e1quinas de Turing<\/a>&nbsp;y son caracterizados por las <a href=\"http:\/\/en.wikipedia.org\/wiki\/Unrestricted_grammar\" target=\"_blank\">gram\u00e1ticas no restringidas<\/a>.<\/p>\n<p>El fundamento matem\u00e1tico est\u00e1, por otro lado, en la <a href=\"http:\/\/en.wikipedia.org\/wiki\/Mathematical_logic\" target=\"_blank\">l\u00f3gica<\/a> (<a href=\"http:\/\/en.wikipedia.org\/wiki\/Propositional_calculus\" target=\"_blank\">proposicional<\/a>, <a href=\"http:\/\/en.wikipedia.org\/wiki\/First-order_logic\" target=\"_blank\">de predicados de primer orden<\/a>, y&nbsp;otras).<\/p>\n<p>En ambos mundos nos encontramos con cosas entretenidas como el <a href=\"http:\/\/en.wikipedia.org\/wiki\/G%C3%B6del%27s_incompleteness_theorems\" target=\"_blank\">teorema de incompletitud de G\u00f6del<\/a>, <a href=\"http:\/\/en.wikipedia.org\/wiki\/Decision_problem\" target=\"_blank\">problemas de decisi\u00f3n<\/a>, y <a href=\"http:\/\/en.wikipedia.org\/wiki\/Computational_complexity_theory\" target=\"_blank\">complejidad computacional<\/a>.<\/p>\n<p>Otros fundamentos matem\u00e1ticos est\u00e1n en las <a href=\"http:\/\/en.wikipedia.org\/wiki\/Discrete_mathematics\" target=\"_blank\">matem\u00e1ticas discretas<\/a>, con cosas como los&nbsp;<a href=\"http:\/\/en.wikipedia.org\/wiki\/Graph_theory\" target=\"_blank\">grafos<\/a>.<\/p>\n<p>Me cont\u00f3 del primero <a href=\"http:\/\/www2.ing.puc.cl\/~jabaier\/acampos\/\" target=\"_blank\">\u00c1lvaro Campos<\/a>,&nbsp;del segundo <a href=\"http:\/\/www.scs.carleton.ca\/~bertossi\/\" target=\"_blank\">Leopoldo Bertossi<\/a>, y del tercero <a href=\"http:\/\/www.ing.puc.cl\/esp\/infacademica\/profes\/profe__UnidadOrg=IIC.html?pr=yadran\" target=\"_blank\">Yadran Eterovic<\/a> (como parte de la discusi\u00f3n de estructuras de&nbsp;datos).<\/p>\n<p>La clave est\u00e1 en el concepto de&nbsp;<a href=\"http:\/\/en.wikipedia.org\/wiki\/Algorithm\" target=\"_blank\">algoritmo<\/a>, y la tesis de <a href=\"http:\/\/en.wikipedia.org\/wiki\/Church%E2%80%93Turing_thesis\" target=\"_blank\">Church-Turing<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<div class=\"pps-series-post-details pps-series-post-details-variant-classic pps-series-post-details-6279 pps-series-meta-excerpt\" data-series-id=\"90\"><div class=\"pps-series-meta-content\"><div class=\"pps-series-meta-text\">This entry is part 1 of 6 in the series <a href=\"https:\/\/www.hamburgueta.com\/wordpress\/series\/cs\"><span class=\"caps\">CS<\/span><\/a><\/div><\/div><\/div><p>Salt\u00e1ndome los \u00e1bacos y esas cosas, todo comenz\u00f3 en los a\u00f1os 30 con los&nbsp;trabajos de G\u00f6del (1931: \u201c\u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme.\u201d), Turing (1936: \u201cOn Computable Numbers, with an Application to the Entscheidungsproblem\u201d)&nbsp;y&nbsp;&nbsp;Church (1936: \u201cFormal \u2026 <a href=\"https:\/\/www.hamburgueta.com\/wordpress\/2006\/12\/20\/%c2%bfcomo-fue-que-los-computadores-llegaron-a-ser-parte-de-nuestra-sociedad-1\">Continue reading <span class=\"meta-nav\">\u2192<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"wp_typography_post_enhancements_disabled":false,"footnotes":""},"categories":[5],"tags":[],"series":[90],"class_list":["post-240","post","type-post","status-publish","format-standard","hentry","category-tecnologias-de-informacion","series-cs"],"_links":{"self":[{"href":"https:\/\/www.hamburgueta.com\/wordpress\/wp-json\/wp\/v2\/posts\/240","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.hamburgueta.com\/wordpress\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.hamburgueta.com\/wordpress\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.hamburgueta.com\/wordpress\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.hamburgueta.com\/wordpress\/wp-json\/wp\/v2\/comments?post=240"}],"version-history":[{"count":2,"href":"https:\/\/www.hamburgueta.com\/wordpress\/wp-json\/wp\/v2\/posts\/240\/revisions"}],"predecessor-version":[{"id":1557,"href":"https:\/\/www.hamburgueta.com\/wordpress\/wp-json\/wp\/v2\/posts\/240\/revisions\/1557"}],"wp:attachment":[{"href":"https:\/\/www.hamburgueta.com\/wordpress\/wp-json\/wp\/v2\/media?parent=240"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.hamburgueta.com\/wordpress\/wp-json\/wp\/v2\/categories?post=240"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.hamburgueta.com\/wordpress\/wp-json\/wp\/v2\/tags?post=240"},{"taxonomy":"series","embeddable":true,"href":"https:\/\/www.hamburgueta.com\/wordpress\/wp-json\/wp\/v2\/series?post=240"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}