> En cualquier formalización consistente de las
> matemáticas que es lo bastante fuerte para
> definir el concepto de números naturales,
> se puede construir una afirmación que ni
> se puede demostrar ni se puede refutar
> dentro de ese sistema.

Quizá por eso se creo el meatisitio. Todo debe
hacerse desde una posición meta. Hasta el inventor
de Office en MS dice que el sw debe hacerse meta
(intentional software)

Miguel Angel Pérez Alvarez
Nearby mar 06 feb 2007 10:06:31 AST