CONFERENCIA MATEMÁTICA "¿SE PUEDE COMPUTAR TODO?" (1)

Hoy hemos tenido una conferencia a manos del ponente Luis María Abia Llera, sobre la la computación y un poco de historia matemática:

Antes de la reflexión haré un resumen de lo que me he podido enterar:

Primero empezó con esta pregunta: ¿Son todos los números computables? 

Muchos no sabíamos que responder, unos decían que si y otros muchos que no sabían. 

Pues las respuesta es que no, de hecho hay mas números no computables que números computables.

A partir de aquí comenzó con la historia de Alan Turing:

EL gran problema de Turing residía en que atacaba el problema directamente, sin observar antes otras obras/ problemas anteriores. Entonces en su mente crea una máquina con infinitos papeles capaz de escribir y borrar símbolos. Con una serie de aparatos crea lo que es esta maquina a la que se conocerá como maquina de Turing que es la base de la actual informática, creó también un alfabeto compuesto por el 0 y el 1 y con unos estados (a,b,c,d). La máquina de Turing es una cinta de papel infinita dividida en pequeñas casillas o celdillas donde se escriben y se leen con un escáner.

La gran contribución de Turing fue demostrar que existe una maquina de turing universal capaz de emular cualquier maquina de Turing, que es la idea básica de un ordenador actual.

Hipótesis de Church-Turing:

una de las hipótesis fu que cualquier método sistemático de cálculo se podía resolver mediante una máquina de Turing pero esto tenia algunos problemas como los de parada (¿se para?) o los de impresión (¿imprime 0?) o incluso los de satisfacibilidad (¿imprime infinitos 0 y 1?)

También nos habló de otros matemáticos importantes como:

1.- Gottlob Frege: fundamentación de la aritmética

2.- Giusseppe Peano: lógica simbólica. una anécdota de Peano era que escribía todo en lenguaje matemático, y sus alumnos no lo entendían. Un día se quejaron y el director le dijo a Peano que cambiara su método de impartir las clases y como el no quería hacerlo decidió seguir dando sus clases así pero aprobaría a todos sus alumnos.

3.- Bertrand Russel: paradoja de Russel y la principia matemática.

Dentro de unos días haré la reflexión sobre esta conferencia, ya que no se hacen en 1 día.