"Para Malaguzzi, todas las criaturas, en todas y cada una de las culturas, son inteligentes" (A.H.)

jueves, 21 de diciembre de 2017

WOLFRAM - Una nueva clase de Ciencia .... (Tomado de Wikipedia)

La tesis de Un nuevo tipo de ciencia está compuesta de dos partes: por un lado, él argumenta que la naturaleza de la computación debe ser explorada experimentalmente y, por otro lado, que los resultados de esos experimentos tienen gran importancia para la comprensión del mundo natural. Desde su cristalización en la década de 1930, la computación ha sido en primer lugar abordada desde dos tradiciones: la ingeniería, que busca construir sistemas prácticos usando computaciones; y las matemáticas, que buscan demostrar teoremas sobre la computación (aunque ya hacia 1970 se describió la computación como una disciplina en la intersección de las matemáticas, la ingeniería y las tradiciones empírico/científicas.12​).


Wolfram introduce una tercera tradición de gran importancia: la investigación sistemática y empírica de los sistemas computacionales en sí mismos. De ahí las palabras "Nuevo" y "Ciencia" que aparecen en el título del libro. Tras investigar los sistemas computacionales, Wolfram llegó a la conclusión de que era necesario un método completamente nuevo. Para Wolfram, las matemáticas tradicionales estaban fallando en describir la complejidad observada en estos sistemas. Mediante una combinación de experimentos y presupuestos teóricos, el libro introduce un nuevo método que Wolfram considera es la manera más realista de investigar científicamente los sistemas computacionales.

Programas SIMPLES:

El tema básico del nuevo tipo de ciencia de Wolfram es el estudio de reglas abstractas sencillas, esencialmente, programas informáticos elementales. En casi cualquier clase de sistema computacional, uno encuentra fácilmente ejemplos de gran complejidad entre sus casos más sencillos. Esto parece ser cierto a pesar de los componentes del sistema y de los detalles de su configuración. Los sistemas explorados en este libro incluyen autómatas celulares de una, dos y tres dimensiones; autómatas móvilesmáquinas de Turing de 1 y 2 dimensiones; diversas variedades de substitución y sistemas en red; funciones recursivas primitivas; funciones recursivas insertadas; combinadoressistemas de etiquetasmáquinas de registronúmeros palíndrómicos; y muchos otros sistemas.
Para que un programa sea calificado como simple, existen varias condiciones:
  1. Su operación puede ser completamente explicada mediante una ilustración gráfica sencilla.
  2. Puede explicarse completamente mediante unas pocas frases de lenguaje humano.
  3. Puede implementarse en lenguaje de programación usando sólo unas cuantas líneas de código.
  4. El número de sus posibles variaciones es suficientemente pequeño para que todas puedan ser computadas.