Alan Turing - El nacimiento de las ciencias de la computación · Las ciencias de la computación...
93
Alan Turing EL NACIMIENTO DE LAS CIENCIAS DE LA COMPUTACIÓN
Transcript of Alan Turing - El nacimiento de las ciencias de la computación · Las ciencias de la computación...
Alan TuringEL NACIMIENTO DE LAS CIENCIAS DE LA COMPUTACIÓN
Las ciencias de la computación
¿Qué es?
¿De qué se trata?
Juan Andrés Montoya Turing 12th March 2018 2/37
Las ciencias de la computación
¿Qué es?
¿De qué se trata?
Juan Andrés Montoya Turing 12th March 2018 2/37
Las ciencias de la computación
No es sólo acerca de cómo usar las máquinas y sacarles el máximoprovecho.
Esta presentación...
Juan Andrés Montoya Turing 12th March 2018 3/37
Las ciencias de la computación
No es sólo acerca de cómo usar las máquinas y sacarles el máximoprovecho.
Esta presentación...
Juan Andrés Montoya Turing 12th March 2018 3/37
Las ciencias de la computación
También es acerca de
los límites,
las posiblidades,
las implicaciones.
Juan Andrés Montoya Turing 12th March 2018 4/37
Las ciencias de la computación
También es acerca de
los límites,
las posiblidades,
las implicaciones.
Juan Andrés Montoya Turing 12th March 2018 4/37
Las ciencias de la computación
También es acerca de
los límites,
las posiblidades,
las implicaciones.
Juan Andrés Montoya Turing 12th March 2018 4/37
Las ciencias de la computación
También es acerca de
los límites,
las posiblidades,
las implicaciones.
Juan Andrés Montoya Turing 12th March 2018 4/37
Las ciencias de la computación
La ciencia de la computación ha cambiado nuestro mundo.
Para bien, para mal.
Ha digitalizado las relaciones...
Ha hecho que muchas cosas se hagan posibles.
Juan Andrés Montoya Turing 12th March 2018 5/37
Las ciencias de la computación
La ciencia de la computación ha cambiado nuestro mundo.
Para bien, para mal.
Ha digitalizado las relaciones...
Ha hecho que muchas cosas se hagan posibles.
Juan Andrés Montoya Turing 12th March 2018 5/37
Las ciencias de la computación
La ciencia de la computación ha cambiado nuestro mundo.
Para bien, para mal.
Ha digitalizado las relaciones...
Ha hecho que muchas cosas se hagan posibles.
Juan Andrés Montoya Turing 12th March 2018 5/37
Las ciencias de la computación
La ciencia de la computación ha cambiado nuestro mundo.
Para bien, para mal.
Ha digitalizado las relaciones...
Ha hecho que muchas cosas se hagan posibles.
Juan Andrés Montoya Turing 12th March 2018 5/37
Las ciencias de la computación
Por ejemplo, ha hecho que:
Las ciencias de la computación sean posibles en Colombia.
Juan Andrés Montoya Turing 12th March 2018 6/37
Las ciencias de la computación
Por ejemplo, ha hecho que:
Las ciencias de la computación sean posibles en Colombia.
Juan Andrés Montoya Turing 12th March 2018 6/37
Las ciencias de la computación
Las campañas políticas, tan actuales, me hacen recordar los sueños dePastrana.
Nos tomó tiempo,
Pero llegó.
Juan Andrés Montoya Turing 12th March 2018 7/37
Las ciencias de la computación
Las campañas políticas, tan actuales, me hacen recordar los sueños dePastrana.
Nos tomó tiempo,
Pero llegó.
Juan Andrés Montoya Turing 12th March 2018 7/37
Las ciencias de la computación
Las campañas políticas, tan actuales, me hacen recordar los sueños dePastrana.
Nos tomó tiempo,
Pero llegó.
Juan Andrés Montoya Turing 12th March 2018 7/37
Las ciencias de la computación
Hubo una época en que estudiar matemáticas era enseñar a cazardragones.
En los 80’s...
En los 90’s.
Juan Andrés Montoya Turing 12th March 2018 8/37
Las ciencias de la computación
Hubo una época en que estudiar matemáticas era enseñar a cazardragones.
En los 80’s...
En los 90’s.
Juan Andrés Montoya Turing 12th March 2018 8/37
Las ciencias de la computación
Hubo una época en que estudiar matemáticas era enseñar a cazardragones.
En los 80’s...
En los 90’s.
Juan Andrés Montoya Turing 12th March 2018 8/37
Internet
A finales de la década del 90 nos sacudió una revolución con causasexógenas.
Muchos clamarán...
Pero el responsable de la revolución científica en Colombia es:
Tim Berners-Lee
Juan Andrés Montoya Turing 12th March 2018 9/37
Internet
A finales de la década del 90 nos sacudió una revolución con causasexógenas.
Muchos clamarán...
Pero el responsable de la revolución científica en Colombia es:
Tim Berners-Lee
Juan Andrés Montoya Turing 12th March 2018 9/37
Internet
A finales de la década del 90 nos sacudió una revolución con causasexógenas.
Muchos clamarán...
Pero el responsable de la revolución científica en Colombia es:
Tim Berners-Lee
Juan Andrés Montoya Turing 12th March 2018 9/37
Internet
A finales de la década del 90 nos sacudió una revolución con causasexógenas.
Muchos clamarán...
Pero el responsable de la revolución científica en Colombia es:
Tim Berners-Lee
Juan Andrés Montoya Turing 12th March 2018 9/37
Internet
Nos puso en el mundo, a fluir.
Nos sacó del provincialismo (me acuerdo, por ejemplo, de la UIS).
Juan Andrés Montoya Turing 12th March 2018 10/37
Internet
Nos puso en el mundo, a fluir.
Nos sacó del provincialismo (me acuerdo, por ejemplo, de la UIS).
Juan Andrés Montoya Turing 12th March 2018 10/37
Investigación
Y ahora estamos haciendo matemática, física,...
Y ciencias de la computación.
Ustedes ya han visto... Y verán.
Juan Andrés Montoya Turing 12th March 2018 11/37
Investigación
Y ahora estamos haciendo matemática, física,...
Y ciencias de la computación.
Ustedes ya han visto... Y verán.
Juan Andrés Montoya Turing 12th March 2018 11/37
Investigación
Y ahora estamos haciendo matemática, física,...
Y ciencias de la computación.
Ustedes ya han visto... Y verán.
Juan Andrés Montoya Turing 12th March 2018 11/37
Investigación
Algunas son preguntas grandes,
algotras pequeñas.
Posiblemente las más importantes se seguirán atacando con lápiz ypapel,
que esa es mi escuela (a joke).
Juan Andrés Montoya Turing 12th March 2018 12/37
Investigación
Algunas son preguntas grandes,
algotras pequeñas.
Posiblemente las más importantes se seguirán atacando con lápiz ypapel,
que esa es mi escuela (a joke).
Juan Andrés Montoya Turing 12th March 2018 12/37
Investigación
Algunas son preguntas grandes,
algotras pequeñas.
Posiblemente las más importantes se seguirán atacando con lápiz ypapel,
que esa es mi escuela (a joke).
Juan Andrés Montoya Turing 12th March 2018 12/37
Investigación
Algunas son preguntas grandes,
algotras pequeñas.
Posiblemente las más importantes se seguirán atacando con lápiz ypapel,
que esa es mi escuela (a joke).
Juan Andrés Montoya Turing 12th March 2018 12/37
Investigación
Siempre debemos preguntarnos:
¿Realmente vale la pena?
Para empezar diría que ha servido antes:
Juan Andrés Montoya Turing 12th March 2018 13/37
Investigación
Siempre debemos preguntarnos:
¿Realmente vale la pena?
Para empezar diría que ha servido antes:
Juan Andrés Montoya Turing 12th March 2018 13/37
Investigación
Siempre debemos preguntarnos:
¿Realmente vale la pena?
Para empezar diría que ha servido antes:
Juan Andrés Montoya Turing 12th March 2018 13/37
Turing
Permítanme presentarles a:
Mr. Alan Turing
Juan Andrés Montoya Turing 12th March 2018 14/37
Turing
Permítanme presentarles a:
Mr. Alan Turing
Juan Andrés Montoya Turing 12th March 2018 14/37
Turing
¿Qué hizo?
¿Inventó las máquinas computadoras?
¿Venció a los nazis?
Juan Andrés Montoya Turing 12th March 2018 15/37
Turing
¿Qué hizo?
¿Inventó las máquinas computadoras?
¿Venció a los nazis?
Juan Andrés Montoya Turing 12th March 2018 15/37
Turing
¿Qué hizo?
¿Inventó las máquinas computadoras?
¿Venció a los nazis?
Juan Andrés Montoya Turing 12th March 2018 15/37
Algo de historia
Las computadoras son tan viejas como el hombre:
El ábaco,
El quipu,...
Juan Andrés Montoya Turing 12th March 2018 16/37
Algo de historia
Las computadoras son tan viejas como el hombre:
El ábaco,
El quipu,...
Juan Andrés Montoya Turing 12th March 2018 16/37
Algo de historia
Las computadoras son tan viejas como el hombre:
El ábaco,
El quipu,...
Juan Andrés Montoya Turing 12th March 2018 16/37
Algo de historia
La máquina de Babbage,
El analizador analítico de Lord Kelvin,
Las muchas diferentes máquinas analíticas:
Juan Andrés Montoya Turing 12th March 2018 17/37
Algo de historia
La máquina de Babbage,
El analizador analítico de Lord Kelvin,
Las muchas diferentes máquinas analíticas:
Juan Andrés Montoya Turing 12th March 2018 17/37
Algo de historia
La máquina de Babbage,
El analizador analítico de Lord Kelvin,
Las muchas diferentes máquinas analíticas:
Juan Andrés Montoya Turing 12th March 2018 17/37
Algo de historia
El Eniac,
La máquina de Suze,
Juan Andrés Montoya Turing 12th March 2018 18/37
Algo de historia
El Eniac,
La máquina de Suze,
Juan Andrés Montoya Turing 12th March 2018 18/37
Algo de historia
Máquinas analógicas que a otro genio, Shannon, le costaba un mesprogramarlas.
Máquinas de un solo propósito.
Juan Andrés Montoya Turing 12th March 2018 19/37
Algo de historia
Máquinas analógicas que a otro genio, Shannon, le costaba un mesprogramarlas.
Máquinas de un solo propósito.
Juan Andrés Montoya Turing 12th March 2018 19/37
El genio
Turing pensó en lo que tenían de común,
En un modelo mínimo que englobara todas estas máquinas.
Para ello se inspiró en la máquina de su madre, que era mecanógrafa:
Se inspiró en una máquina que manipulaba signos.
Juan Andrés Montoya Turing 12th March 2018 20/37
El genio
Turing pensó en lo que tenían de común,
En un modelo mínimo que englobara todas estas máquinas.
Para ello se inspiró en la máquina de su madre, que era mecanógrafa:
Se inspiró en una máquina que manipulaba signos.
Juan Andrés Montoya Turing 12th March 2018 20/37
El genio
Turing pensó en lo que tenían de común,
En un modelo mínimo que englobara todas estas máquinas.
Para ello se inspiró en la máquina de su madre, que era mecanógrafa:
Se inspiró en una máquina que manipulaba signos.
Juan Andrés Montoya Turing 12th March 2018 20/37
El genio
Turing pensó en lo que tenían de común,
En un modelo mínimo que englobara todas estas máquinas.
Para ello se inspiró en la máquina de su madre, que era mecanógrafa:
Se inspiró en una máquina que manipulaba signos.
Juan Andrés Montoya Turing 12th March 2018 20/37
¿Y las matemáticas?
Porque Turing era matemático:
Buscar las analogías entre las diferentes analogías
Entre las diferentes máquinas analógicas.
Juan Andrés Montoya Turing 12th March 2018 21/37
¿Y las matemáticas?
Porque Turing era matemático:
Buscar las analogías entre las diferentes analogías
Entre las diferentes máquinas analógicas.
Juan Andrés Montoya Turing 12th March 2018 21/37
¿Y las matemáticas?
Porque Turing era matemático:
Buscar las analogías entre las diferentes analogías
Entre las diferentes máquinas analógicas.
Juan Andrés Montoya Turing 12th March 2018 21/37
¿Y las matemáticas?
Permítanme traer a colación a mi sobrino y los chimpances.
Juan Andrés Montoya Turing 12th March 2018 22/37
¿Y las matemáticas?
Las matemáticas buscan el problema tras las instancias.
El bosque que se esconde detrás de los árboles.
Juan Andrés Montoya Turing 12th March 2018 23/37
¿Y las matemáticas?
Las matemáticas buscan el problema tras las instancias.
El bosque que se esconde detrás de los árboles.
Juan Andrés Montoya Turing 12th March 2018 23/37
La vida de Turing
Volvamos a Turing.
Matemáticas Cambridge.
Princenton, VN y Church.
Juan Andrés Montoya Turing 12th March 2018 24/37
La vida de Turing
Volvamos a Turing.
Matemáticas Cambridge.
Princenton, VN y Church.
Juan Andrés Montoya Turing 12th March 2018 24/37
La vida de Turing
Volvamos a Turing.
Matemáticas Cambridge.
Princenton, VN y Church.
Juan Andrés Montoya Turing 12th March 2018 24/37
Los aportes
The great contribution 1936: El modelo de máquina de Turing.
¿Y qué fue eso?
Un intento por dar respuesta a una pregunta teórica (Hilbert, Gödel,Church).
Juan Andrés Montoya Turing 12th March 2018 25/37
Los aportes
The great contribution 1936: El modelo de máquina de Turing.
¿Y qué fue eso?
Un intento por dar respuesta a una pregunta teórica (Hilbert, Gödel,Church).
Juan Andrés Montoya Turing 12th March 2018 25/37
Los aportes
The great contribution 1936: El modelo de máquina de Turing.
¿Y qué fue eso?
Un intento por dar respuesta a una pregunta teórica (Hilbert, Gödel,Church).
Juan Andrés Montoya Turing 12th March 2018 25/37
Los aportes
Propone, inspirado en la máquina de su madre, un modelo teórico quedé cuenta de todos los procesos finitarios con símbolos.
Juan Andrés Montoya Turing 12th March 2018 26/37
Los aportes
Que si a eso le sumamos la revolución discreta que se veníafraguando, desde muchos otros lados (Shannon, Física cuántica,..)
Termina siendo una propuesta de un modelo teórico que da cuenta detodas las máquinas computadoras.
Juan Andrés Montoya Turing 12th March 2018 27/37
Los aportes
Que si a eso le sumamos la revolución discreta que se veníafraguando, desde muchos otros lados (Shannon, Física cuántica,..)
Termina siendo una propuesta de un modelo teórico que da cuenta detodas las máquinas computadoras.
Juan Andrés Montoya Turing 12th March 2018 27/37
Revolución digital
La revolución discreta (digital) y el sofisma de la continuidad.
Juan Andrés Montoya Turing 12th March 2018 28/37
Revolución digital
En el nuevo universo digital, el modelo de Turing da cuenta de todo.
Y además es fácil de analizar. Lo que permitió:
Descubrir lo inesperado.
Juan Andrés Montoya Turing 12th March 2018 29/37
Revolución digital
En el nuevo universo digital, el modelo de Turing da cuenta de todo.
Y además es fácil de analizar. Lo que permitió:
Descubrir lo inesperado.
Juan Andrés Montoya Turing 12th March 2018 29/37
Revolución digital
En el nuevo universo digital, el modelo de Turing da cuenta de todo.
Y además es fácil de analizar. Lo que permitió:
Descubrir lo inesperado.
Juan Andrés Montoya Turing 12th March 2018 29/37
Revolución digital
La existencia de máquinas universales (lenguajes de programación).
La existencia de lo que pensamos que es una máquina computadora.
A la que a lo sumo le hacen falta interfaces,..., y tiempo, y espacio, yenergía.
Juan Andrés Montoya Turing 12th March 2018 30/37
Revolución digital
La existencia de máquinas universales (lenguajes de programación).
La existencia de lo que pensamos que es una máquina computadora.
A la que a lo sumo le hacen falta interfaces,..., y tiempo, y espacio, yenergía.
Juan Andrés Montoya Turing 12th March 2018 30/37
Revolución digital
La existencia de máquinas universales (lenguajes de programación).
La existencia de lo que pensamos que es una máquina computadora.
A la que a lo sumo le hacen falta interfaces,..., y tiempo, y espacio, yenergía.
Juan Andrés Montoya Turing 12th March 2018 30/37
Los límites
Quedan preguntas:
¿Qué podemos hacer?
Es importante cartografiar lo computable.
Juan Andrés Montoya Turing 12th March 2018 31/37
Los límites
Quedan preguntas:
¿Qué podemos hacer?
Es importante cartografiar lo computable.
Juan Andrés Montoya Turing 12th March 2018 31/37
Los límites
Quedan preguntas:
¿Qué podemos hacer?
Es importante cartografiar lo computable.
Juan Andrés Montoya Turing 12th March 2018 31/37
Los límites
¿Qué podemos hacer en tiempo razonable?
Es importante cartografiar lo efectivamente computable.
Juan Andrés Montoya Turing 12th March 2018 32/37
Los límites
¿Qué podemos hacer en tiempo razonable?
Es importante cartografiar lo efectivamente computable.
Juan Andrés Montoya Turing 12th March 2018 32/37
Los límites
El modelo de Turing nos permite estudiar estas preguntas, sin abrigarel temor de que nuestras respuestas solo valgan para un tipo especial
de tecnología:
Creemos en la tesis de Church-Turing.
La gente propone nuevos paradigmas...
Pero al final...
Juan Andrés Montoya Turing 12th March 2018 33/37
Los límites
El modelo de Turing nos permite estudiar estas preguntas, sin abrigarel temor de que nuestras respuestas solo valgan para un tipo especial
de tecnología:
Creemos en la tesis de Church-Turing.
La gente propone nuevos paradigmas...
Pero al final...
Juan Andrés Montoya Turing 12th March 2018 33/37
Los límites
El modelo de Turing nos permite estudiar estas preguntas, sin abrigarel temor de que nuestras respuestas solo valgan para un tipo especial
de tecnología:
Creemos en la tesis de Church-Turing.
La gente propone nuevos paradigmas...
Pero al final...
Juan Andrés Montoya Turing 12th March 2018 33/37
Los límites
El modelo de Turing nos permite estudiar estas preguntas, sin abrigarel temor de que nuestras respuestas solo valgan para un tipo especial
de tecnología:
Creemos en la tesis de Church-Turing.
La gente propone nuevos paradigmas...
Pero al final...
Juan Andrés Montoya Turing 12th March 2018 33/37
Los límites
Cabe mencionar, para terminar, la computación cuántica.
Que hace más fácil lo que ya era fácil, y de pronto algotras cosas queno eran tan difíciles.
Juan Andrés Montoya Turing 12th March 2018 34/37
Los límites
Cabe mencionar, para terminar, la computación cuántica.
Que hace más fácil lo que ya era fácil, y de pronto algotras cosas queno eran tan difíciles.
Juan Andrés Montoya Turing 12th March 2018 34/37
Los límites
Cambiando el panorama del e-commerce y la lucha anti-spam.
Pero no el amplio panorama que creó Turing para nosotros, porque:
Juan Andrés Montoya Turing 12th March 2018 35/37
Los límites
Cambiando el panorama del e-commerce y la lucha anti-spam.
Pero no el amplio panorama que creó Turing para nosotros, porque:
Juan Andrés Montoya Turing 12th March 2018 35/37
Los límites
Vamos a tener que intentar destruir a los extraterrestres
Juan Andrés Montoya Turing 12th March 2018 36/37
GRACIAS.......................
Juan Andrés Montoya Turing 12th March 2018 37/37
