INFORMATICA CONSIDERA AL CEREBRO COMO UN SISTEMA

En la actualidad la informática considera el cerebro como un sistema que puede organizar la información que recibe en un modelo multidimensional elaborado del mundo exterior y utilizar este modelo para llegar a decisiones inteligentes, y define así la neurona, la célula especializada en información procesada equivalente a una computadora lógica en un computador digitla o a un amplificador operacional en uno análogo, pudiendo desempeñar ambas fucniones simultaneamente si fuera el caso. Se relaciona esta teoría con el concepto de la evolución.

Sin la teoría computacional sería imposible darle sentido a la evolucion de la mente, el funcionalismo computacional, estrechamente asociado a la teoría computacional de la mente, contempla a la mente como algo que lleva a cabo operaciones sobres símbolos codificados dentro de ella.

La mente es entendida como un sistema formal en el que símbolos discretos se manipulan de acuerdo con un conjunto finito de reglas.

Inteligencia Artificial Dura e Inteligencia Artificial Débil La prueba de Turing y el Experimento Habitación China

Es la suma de uno u otro lado acerca de la formulacion algóritmica, ejecutada por un programa apropiadoen un sustrato digital dotado de suficiente porder de computación puede dar o no la compleja naturaleza de la mente humana.

La idea de que una maquina simule la acción compleja sistema neuronla que tiene lugar en el cerebro, de que toda actividad física incluyendo la concienciacomo fenómeno emergente de la opereación cerebral, no es otra que la activación de un enorme y complejo cómputo, las ciencias computacionales podrán llegar a elaborar hasta cierto punto de sofisticación del algóritmo matemático complejo con una estructura probabilística cuya ejecución da como resultado una conciencia artificial

Tesis de Church - Turing

Obstáculos importante al probar que no existe un algoritmo para una tarea específica. Es necesario saber que significa algoritmo, para Godel es una secuencia de reglas para firmar fuciones matemáticas complicadas a partir de fucniones matemáticas más simples. Para Church es un formalismo denominado calculo lambda, mientras que para Turing un algoritmo es como cualquier conjunto de instrucciones para su maquina simple.

Hoy en la actualidad todas las definiciones conocidas hasta el momento son equivalentes, por tal motivo todas las definiciones razonables de algoritmo que se lleguen a dar, a su momento serán equivalente a algunas definiciones conocidas. Estas creencias han llegado a denominarse Tesis Church - Turing, ya que son los primeros trabajadores del concepto en la deficnición hasta el momento no hay contra, por el contrario es aceptadada ampliamente la Tesis de Church - Turing.

La maquina de Turing es autómata se mueve sobre una secuencia lineal de datos, cada instante la maquina puede leer un solo dato de la secuencia y realizar ciertas acciones en base a una tabla, que tiene su estadado actual y el último dato leído. Algunas acciones son la posibilidad de escribir nuevos datos en la secuencia, recorrer la secuencia en ambos sentidos y cambiar de estados dentro de un conjunto de finito de estados posibles. Se dice qu la maquina de Turing es la que una abstraccion matemática que un dispositivo físico o mecánico.

Se ha denominado maquina por su funcionamaiento que este puede ser descrito en terminos de operaciones individuales muy sencillas que surgen una implementacion real pero muy simple, esta ha sido una gran motivación para que surgan versiones de las mismas practicas.

Alan Turing, establece la relación entre la lógica y la computación electrónica, plantea la famosa Máquina de Turing, la cual es la base de la Teoría.

Allan Turing, establece la lógica y la computación electrónica, plantea la famosa maquina de Turing, la cual es la base de la Teoría de la Computación actual.
Al crear la maquina de Turing, durante la Segunda Guerra Mundial, ayudo a romper los códigos nazis de la maquina Enigma.
Conocido como uno de los primeros pioneros en la construccion de computadoras electronicas e investigaciones sobres inteligencia artificial. Se le ha considerado el padre de la Teoría de la computación al demostrar que una maquina binaria podía ser programada para realizar cualquier tarea algorítmica. Para unos los simbolos son estados físicos representados en trocitos de materia denominados chips en el computador y neuronas en el cerebro. Ellos simbolizan elementos activos en el mundo mental,natural y científico disparando su actividad para el entendimiento y la ejecución de las acciones correspondientes. Esos pedacitos de materia constituyen un simbolo y estan programados para encontrase indefinidamente con otros pedacitos de materia para así conformar más símbolos lógicamente relacionados, que asumirán diferentes funsciones mentales, inclusive comportamentales como producto de esta actividad simbólica. En la Teoría computacional de la mente nos permite conservar y utilizar información, creencias y deseos en nuestros comportamientos y colocarlos escueta y acertada o desacertadamente en el universo físico, lo que siginifica causar y se causado.

La maquina de Turing se convirtió en un instrumento ideal para probar si un procedimiento es efectivamente computable o no. Se dice que el funcionamiento es permitido por un dispositivo que transforma un INPUT en un OUTPUT después de algunos pasos. Tales como una cabeza de lectura, escritura que examina una dimensión posiblementes infinita, pero tan simple como una maquina de escribir y tan compleja como un ser humano.
Es por eso que cualquier función que pueda ser considerada de modo natural, como compuntable puede ser computada por una maquina universal de Turing.

Computabilidada y no Computabilidad

Una de las cuestiones más estudiadas en la teoría de la computabilidad ha sido posibilidad de construir algoritmos que nos determinen si un determinado algoritmo posee o no determinada propiedad. En los primeros estudios se obtenien demostraciones individuales de la no computabilidad de cada una de los custionamientos, se cuestion que casi cualquier pregunta acerca de algoritmo era no computable. Pero como consecuencia de la existencia de un programa universal se ha demostrado que en cuestionamientos la computabilidad.
Las acciones computables son una formalización de la nación intuitiva de algoritmo y según la tesis, son exactamente las funciones que pueden ser calculadas con una maquina de cálculo.