El teorema de Gödel y sus isomorfismos

Matemáticas, sistemas informáticos, inteligencia artificial y mente humana

Introducción

El siglo XX supuso una auténtica convulsión para los más profundos temas filosóficos, hubo una auténtica revolución en la física, pero también sacudió un profundo terremoto en las matemáticas y este no es tan conocido como el que sacudió la física.

El objetivo de este artículo es mostrar el teorema de Gödel y los isomorfismos de este con otras áreas del conocimiento como la física,  psicología, informática, etc.

Se trata de un tema profundo de la filosofía pues muestra hasta qué punto la imperfección arraiga en las leyes de la física y las matemáticas. Así que aquí, surgen cuestiones fundamentales: ¿son las matemáticas una creación humana con sus correspondientes imperfecciones  o trascienden el mundo humano y existen independientemente de este?.

La respuesta es o debería ser la segunda parte de la pregunta, es decir las matemáticas como ente abstracto independiente de  la creación humana. Aunque siempre queda la duda de hasta dónde puede profundizar la mente humana en las matemáticas y si sus imperfecciones (las de las matemáticas) no son más que un reflejo de nuestra mente imperfecta o subyacen profundamente en los fundamentos últimos de las matemáticas.

Kurt Gödel

Visión general de la programación orientada a objetos. (Con Visual Basic .NET)

Pongo a continuación un resumen de los atributos principales del lenguaje Visual Basic .NET así como de  su utilización en programación orientada a Objetos. Este artículo contiene los siguientes puntos:

Definiciones Generales:

Constantes.

Variables static.

Namespaces.

Punto de entrada al programa.

Clases.

Reglas de ámbito de las clases.

Código de clase y código de cliente.

Propiedades de la clase. (Encapsulación).

Propiedades virtuales.

Propiedades de sólo lectura o sólo escritura.

Me y MyClass.

Sobrecarga de Métodos. (Polimorfismo)

Enlaces (Binding) de variables a referencias de objetos.

Herencia.

Reglas de ámbito.

Herencia y sobrecarga de métodos.

MyBase.

Herencia y sobreescritura de métodos.

Herencia y métodos constructores.

Clases selladas no heredables.

Clases abstractas o no instanciables.

Comprobación del tipo de un objeto y Moldeado (Casting).

Miembros compartidos (Shared) de una clase.

Destrucción de Objetos y recolección de basura.

Interfaces.

Estructuras.


Enumeraciones.

Pasar datos de una tabla a otra de distinta base de datos

En algunas ocasiones es necesario migrar datos desde una tabla de una base de datos a otra tabla de otra base de datos diferente. En este caso he considerado que las tablas son iguales pero hay que tener en cuenta que si son diferentes habrá que tener cuidado con que campos se migran a que campos, que longitud y tipo tienen estos.

Hay un método algo complicado pero muy potente que ya se explicó anteriormente  que es creando un cursor.

Creamos un cursor que recorra la tabla de origen y si el registro NO existe en la tabla de destino lo insertamos con un INSERT-SELECT si ya existe no hacemos nada.

SI la tabla tiene dependencias tendremos que dar de alta los registros de las tablas dependientes que no existan en el destino. Buscamos las dependencias de las tablas con sp_help.

sp_help 'dbo.tbclientes'

En la 7ª salida podemos ver las referencias externas a otras tablas.

El punto de ruptura de Visual Studio sale vacío

Al compilar en .net muchas veces ponemos puntos de ruptura y luego al compilar el programa no para en el punto de ruptura que hemos puesto. Al comporbarlo vemos que está vacío y sale un mensaje que dice:

“the breakpoint will no currently be hint, No Symbols have been loaded for this document”.

Funciones básicas de manejo de DNI, NIF Y CIF. (Sólo España)

Resulta muy habitual en programación la verificación del NIF y CIF en prácticamente todas las aplicaciones que manejan clientes o proveedores de cualquier tipo. Resulta absurdo programar una y otra vez las mismas funciones. En programación orientada a objetos lo lógico es implementar estas funciones en un pequeño módulo de utilidades o en una clase y utilizarlas desde el código de cliente una y otra vez sin tener la necesidad de estar tocándolas o reprogramándolas constantemente, a no ser que cambie la legislación o el método de cálculo. Cosa que si sucediera bastaría con adaptar estas funciones y no habría que rastrear otra vez todo el código de  los programas para cambiarlo de nuevo, esa es la verdadera potencia de la programación orientada a objetos.

A continuación el código en VB.NET para calcular la letra del DNI, NIF,CIF a partir de sus números.

Manejo básico de Subversion (SVN), conectarse al repositorio

Cómo bajarse un proyecto del repositorio de subversión y generar una copia local.

Cuando empezamos a trabajar con Subversion 

Lo primero que hay que hacer es bajarse el proyecto de subversión al equipo local y conectarse al servidor para que cuando hagamos cambios (commit) podamos subirlos al servidor o si no queremos los cambios podamos hacer update desde el servidor para borrar lo nuestro y traernos lo último que hay en el servidor.