Premiere "Gorillas on the Brink"

26Oct07

Esta noche a las 9pm será la premiere mundial del show “Gorillas on the Brink” por el canal Animal Planet, en el que yo participé como diseñador principal de gráficos. También es el primer show en HD (Alta Definición) en el que he trabajado. Más tarde actualizaré este post con un video de la apertura [...]

Filed under: Arte, Personal   |  20 Comments

Gödel y su Teorema de Incompletitud, Indice

18Oct07

Aquí les ofrezco un índice de “Gödel y su Teorema de Incompletitud”, escrito por mi hermano de sangre y en fe, Antonio (Tony) Rodríguez.

Parte I (Introducción)
Parte II
Parte III
Parte IV

Este tema en particular me ha dado mucho en qué pensar en estos días. No pienso compartir mis acostumbradas reflexiones porque quiero permitir que mis ideas sobre [...]

Filed under: Filosofía, Indices, Lógica   |  Leave a Comment

Gödel y su Teorema de Incompletitud (IV y último)

15Oct07

Recalcando los puntos del fascículo anterior, Gödel ha demostrado cómo traducir todo lo expresable en el abecedario de PM por la vía numérica: Se dividen todos los números en dos clases: los números que expresan formulas bien formadas (no necesariamente verdaderas), las cuales llamamos números FBF, y los números que no las expresan. En forma [...]

Filed under: Filosofía, Lógica   |  Leave a Comment

Gödel y su Teorema de Incompletitud ( III )

08Oct07

El sistema PM, en la demostración de verdades matemáticas creado por Russell, expone una serie de reglas de inferencia, con las cuales se pueden derivar otras verdades a partir de verdades descubiertas anteriormente. Cada regla funciona como una caja negra, dentro de la cual se introducen una o más verdades como entrada, y se obtiene [...]

Filed under: Filosofía, Lógica   |  Leave a Comment

Gödel y su Teorema de Incompletitud (II)

01Oct07

Retocando los puntos finales del fascículo anterior, Bertrand Russell quiso desarrollar un sistema matemático con el cual se pudiera demostrar cualquier verdad matemática. Si era verdad, se podría demostrar utilizando PM, y todo lo demostrable por PM era verdad. El auto-referencialismo era el principal punto débil en contra de esta meta, así que fue detenido [...]

Filed under: Filosofía, Lógica   |  Leave a Comment