Inteligencia artificial fuerte frente a inteligencia artificail débil, 1ª parte

¿Puede un ordenador emular el cerebro humano?

En inteligencia artificial existen dos corrientes contrapuestas. Una de ellas es de la opinión de que  cualquier algoritmo lo suficientemente complejo como para emular el cerebro humano debe poseer las mismas cualidades de autoconsciencia que un ser humano real, independientemente de que el algoritmo sea ejecutado por cualquier medio ya sea esta electrónico mecánico o de cualquier otro tipo. Esta corriente se denomina inteligencia artificial fuerte o IA Fuerte. En esta corriente se encuentran Marvin Minsky, y Douglas Hofstadter  

entre otros.

Alan Turing Con su artículo “Computing Machinery and Intelligence”  publicado en la revista mind en 1950, fue el pionero en pensar que los ordenadores podrían igualar la inteligencia humana, pero fue muy optimista al dar un plazo de 50 años para que tal cosa sucediese.

Por otro lado existe otra corriente opuesta que piensa que en el cerebro humano existen procesos que no son algorítmicos que no se pueden reproducir en máquinas. Esta hipótesis es defendida por Roger Penrose, John Lucas y Jonh Searle   entre otros.

Las columnas de la tabla ‘’ no coinciden con las restricciones PRIMARY KEY o UNIQUE existentes.

Algunas veces intentamos crear una tabla en SQL SERVER ya sea a través de un script o a través de los menús, y en el momento de crear una clave foránea a otra tabla nos da es siguiente error:

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.