El concepto de no computabilidad de Alan Turing (El teorema de Gödel de la informática)

¿Puede un ordenador calcular cualquier cosa?

Al igual que Gödel en mátemáticas. Alan Turing estableció  los límites de la computación, y hasta qué punto un ordenador es capaz de calcular cualquier cosa.

El concepto de máquina de Turing

Una máquina de Turing es un concepto de ordenador idealizado, es decir un ordenador de papel y lápiz, o según lo concibió el propio Turing un ordenador  con un lector y una cinta infinita que puede moverse hacia adelante o atrás siguiendo unas reglas sencillas escritas en la propia cinta.  A pesar de esta gran simplicidad, una máquina de Turing se puede adaptar para ejecutar cualquier algoritmo o programa.

Una máquina de Turing que es capaz de simular cualquier otra máquina de Turing es llamada una máquina universal de Turing (UTM, o simplemente una máquina universal). Las máquinas de Turing sirven para estudiar hasta qué punto se puede automatizar cualquier noción de lógica o de matemáticas.

Cambiar la versión del framework en visual Studio 2010

Si no tenemos la versión adecuada de framework en Visual Studio podemos tener problemas. Para cambiar la versión del framework tenemos que hacer las siguientes comprobaciones.

En el archivo webconfig. 

targetFramework= versión de framework

<compilation defaultLanguage="vb" debug="true" targetFramework="2.0">

Sobre el proyecto botón derecho del ratón -> Páginas de propiedades

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”.