Blog de Erick Castellanos

Gödel y su teorema de incompletitud

Recordemos los dos teoremas de incompletitud de Gödel (versión poco formal, parafraseada):

  1. En cualquier sistema axiomático que sea consistente, y lo suficientemente fuerte, es posible que exista una afirmación que no pueda ser demostrada ni refutada usando los axiomas del sistema.
  2. Ningún sistema consistente puede usarse para demostrarse a si mismo.

Vida artificial: una introducción a su investigación

Soul Geometry Two 009, by agsandrew.

Cuando uno observa todo lo que nos rodea, vemos una gran cantidad de entes diferentes, desde objetos inanimados hasta seres vivos, yendo desde lo más pequeño hasta grandes entidades. Sin embargo, esa escena que pudiéramos estar observando tiene un espectro amplio, y con muchos puntos intermedios, sobre el tipo de sistemas que lo conforman, si lo vemos desde el punto de vista científico. Existen los sistemas "simples" (líquidos, gases, compuestos inorgánicos, herramientas, etc.), los sistemas "complejos" (computadoras, sismos, economía, materia blanda, etc.), y los sistemas vivos (bacterias, hongos, plantas, humanos). Aún más, nuestro entendimiento, en particular el matemático, va decreciendo en el mismo sentido en que fueron mencionados los sistemas anteriores.

De los sistemas enumerados, los sistemas vivos han sido de particular interés para la humanidad desde el momento en que el hombre tuvo conciencia de sí mismo y entendió que él mismo era un ser con vida y era diferente de los entes inanimados que lo rodeaban, y así fue como comenzó el estudio de la vida.

Frase para reflexionar

La monarquía degenera en tiranía, la aristocracia en oligarquía y la democracia en violencia salvaje y caos.

-- Polibio

Automóviles autónomos de Google

Google ha presentado avances en lo que respecta a sus automóviles autónomos: son eléctricos, no tienen volantes, ni pedales de freno o acelerador; te llevarán a donde deseas pulsando un sólo botón.

Opiniones sobre violencia y agresividad

Les comparto algunos fragmentos que leí este día en dos columnas de opinión. El objetivo no es defenderlas ni criticarlas, sino permitir que la mente reflexione en ellas. O por lo menos eso lograron en mí.

No hemos cambiado. La sangre de los guerreros cual si fuera agua corría: como agua que se ha encharcado, y el hedor de la sangre se alzaba al aire.... La crónica azteca sigue siendo el retrato hablado de este país donde la violencia es la regla, el modus operandi, el contrato social que nos remite a tiempos cavernarios.

Reto Zapopan: convocatoria para la segunda generación

Como finalista de la primera generación de Reto Zapopan, deseo compartirles el hecho de que ya está abierta la convocatoria para participar en la segunda generación de este concurso de emprendurismo.

Webinar: Cómputo paralelo con OpenACC

¿Sabías que uno de los muchos beneficios que tiene tu membresía a la IEEE Computer Society incluye webinars?

En esta ocasión les compartimos el evento que tendrá lugar el día 22 de mayo de 2014, en el que se hablará sobre el cómputo paralelo a través de OpenACC y C++ lo que implicaría la posibilidad de llevar este lenguaje a ser ejecutado sobre GPUs.

¿Suena interesante? Infórmate más en este enlace: http://w.on24.com/r.htm?e=780837&s=1&k=6DF7F4C3EBDC377E23F84C7DF73C173A

Para conocer más sobre los webinars disponibles: http://www.computer.org/portal/web/webinars/Register-for-a-Webinar

* Nota: este texto lo publiqué originalmente en el portal, ahora extinto, del capítulo estudiantil de la computer society (csgdl.org).

Linus Torvalds ha sido designado como el ganador del IEEE Computer Society Computer Pioneer Award 2014

Los Alamitos, California, 23 de abril de 2014 - Linus Torvalds, la fuerza principal detrás del desarrollo del kernel Linux y supervisor de desarrollo de código abierto para el sistema operativo Linux, ha sido nombrado el ganador 2014 del IEEE Computer Society Computer Pioneer Award.

Torvalds, un nativo de Helsinki , Finlandia, comenzó a trabajar en el kernel de Linux en 1991. Un programador de computadoras ávido, él fue autor de muchas aplicaciones de juegos en sus primeros años. Hizo sus primeros trabajos en una CPU Intel 386, con Minix, un sistema operativo inspirado en Unix creado por Andrew Tanenbaum para su uso como una herramienta de enseñanza. Después Torvalds creó un equipo de voluntarios para trabajar en el kernel de Linux, y así la versión 1.0 fue lanzada en la primavera de 1994.

Torvalds en 1996 se unió a Transmeta, una startup con sede en California que fue diseñando una unidad central de proceso de ahorro de energía (CPU). Él continuó supervisando el desarrollo del kernel de Linux, y en 2003 dejó Transmeta para centrarse exclusivamente en el kernel de Linux como becario de la Fundación Linux (conocido en su momento como Open Source Development Labs). Torvalds sigue siendo la máxima autoridad en lo que respecta a incorporar código nuevo en el kernel estándar de Linux.

Torvalds ha sido el destinatario de los siguientes honores: Technology Academy of Finland's Millennium Technology Prize (2012), NEC's C&C Prize (2010), the Takreda Award for Social/Economic Well-Being (2008), the British Computer Society's Lovelace Medal (2000), y el Electronic Frontier Foundation Pioneer Award (1998). Además, fue incluido en el Internet Hall of Fame (2012) y el Computer History Museum's Hall of Fellows (2008).

El Computer Pioneer Award fue fundado en 1981 por la Junta de Gobernadores de la IEEE Computer Society para reconocer y honrar la visión de aquellos cuyos esfuerzos ha dado lugar a la creación y la continua vitalidad de la industria de la computación. El premio se otorga a las personas destacadas cuya principal contribución a los conceptos y el desarrollo del campo de la informática se hizo por lo menos 15 años antes. El reconocimiento está grabado en una medalla de bronce.

Recientes ganadores del Computer Pioneer Award incluyen al programador de la ENIAC Betty Jean Jennings Bartik, al experto en VLSI Lynn Conway, al innovador en inteligencia artificial Edward Feigenbaum, al pionero de la programación paralela David Kuck, al diseñador de sistemas digitales Edward McCluskey, al creador de MATLAB Cleve Moler, al desarrollador de la teoría de redes de Petri Carl Petri, y al pionero en lenguajes de programación Jean Sammet.

Fuentes:
http://www.computer.org/portal/web/pressroom/Linus-Torvalds-Named-Recipient-of-the-2014-IEEE-Computer-Society-Computer-Pioneer-Award
http://www.computer.org/portal/web/awards/pioneer

* Nota: este texto lo publiqué originalmente en el portal, ahora extinto, del capítulo estudiantil de la computer society (csgdl.org).

Conociendo un poco más sobre trajes

He de aceptar que no soy alguien que le da mucha importancia a la imagen personal, ya sea la propia o la de las personas con las que interactúo. Sin embargo, también reconozco que hay personas que opinan diferente y que, sobretodo en el mundo de los negocios, la imagen si tiene mucha relevancia para lograr los objetivos propuestos.

El movimiento "#NoMásPoderApp"

Surge otra iniciativa para presionar a los legisladores federales para que se realicen modificaciones a la iniciativa de ley sobre las telecomunicaciones.

En esta ocasión, el movimiento provee de una herramienta para que se manden mensajes a través de las redes sociales a los diputados y senadores. En la página del sitio se encuentran listados todos los legisladores, junto con sus respectivas redes sociales si es que se conocen.

Páginas

Suscribirse a RSS - Blog de Erick Castellanos