alan turing - el nacimiento de las ciencias de la computación · las ciencias de la computación...

Post on 27-Jun-2020

21 Views

Category:

Documents

0 Downloads

Preview:

Click to see full reader

TRANSCRIPT

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

top related