¿Quién es el Alan Turing de nuestro tiempo?

John McCarthy (m. 2000). Su impacto en la informática podría ser incluso mayor que Turing. Estos son algunos de sus logros:

  • Inventó LISP, el primer lenguaje de programación de propósito general basado en abstracciones matemáticas en lugar de hardware de computadora. Es esencialmente la base de los lenguajes modernos (ansiosos) funcionales. Además, fue el primer idioma con
    • recolección de basura
    • escritura dinámica
    • expresiones condicionales
    • recursividad
    • programas representables como literales
    • una función eval
    • un ciclo de lectura-evaluación-impresión
    • un compilador de alojamiento propio
  • Básicamente, fundó la disciplina de la verificación formal del programa (y, posiblemente, la semántica denotacional). Escribió la primera prueba formal de un compilador, y su enfoque para la verificación del programa es esencialmente el utilizado por los probadores de teoremas interactivos hasta el día de hoy.
  • Su proyecto de investigación entregó el primer sistema de tiempo compartido, y fue el primero en proponer la informática de servicios públicos (que evolucionó a la nube de hoy)
  • Introdujo la recursividad en lenguajes estructurados en bloques (Algol 60).
  • Él acuñó el término “inteligencia artificial”, organizó la primera conferencia de IA y fue un pionero importante de la IA (incluso más allá de LISP, que ha sido el lenguaje dominante para llevar a cabo el trabajo de IA). Por ejemplo, enfatizó la importancia de la representación del conocimiento (no se puede aprender lo que no se le puede decir), el uso de la lógica para representar el conocimiento y las formas de razonar con conocimiento incompleto.

Supongo que quiere decir en términos de genio informático, no todo el asunto de “homosexual-procesamiento-muerto”.

Mi voto probablemente va a Donald Knuth.

Quiero decir, ganó el Premio Turing, así que ya hay un enlace …

Solo un vistazo rápido a su página de wikipedia te muestra cuánto ha hecho el tipo, ¡no hay duda de que es una potencia absoluta en el campo!

Su libro El arte de la programación de computadoras fue seleccionada como una de las obras definitorias del siglo XX. El New York Times lo llamó “el tratado definitorio de la profesión”.

Simplemente no puedo pensar en nadie que pueda competir con él, Turing puede haber fundado el campo, pero Knuth literalmente escribió el libro.

No hay y probablemente nunca habrá otro Alan Turing de nuevo.

No por falta de mentes brillantes, sino por demasiadas de ellas. La informática se ha convertido en un campo tan desarrollado que ningún individuo podría aportar avances que lo cambiarían radicalmente.

Incluso si alguien probara P = NP, ¿qué lograría eso? Si se demuestra que es falso, eso es lo que casi todos esperaban, y el mundo continúa como antes. Si se demuestra que es falso, sería increíblemente genial, pero probablemente no resultaría en un algoritmo genérico rápido utilizable, y todos seguiríamos usando nuestros algoritmos de aproximación.

El autor se convertiría en una celebridad, pero no sería visto a la vista del público como uno de los grandes de la época dorada de cuando el campo era joven.

Lo mismo le sucedió a Andrew Wiles, por ejemplo. Probó el teorema de Fermat después de un esfuerzo colosal, pero realmente no se escucha a la gente que lo llama Gauss del siglo XX.

Los grandes nombres en cualquier campo parecen haber dejado huella en los momentos de furtunate, cuando la fruta baja aún podría caer sobre tu cabeza.

Nadie.

Lo siento, Jack Fraser ni siquiera DEK [matemáticas] \ ddot \ smile [/ matemáticas].

Las contribuciones de Turing a los fundamentos de las matemáticas (y al mismo tiempo a la teoría de la computación) son tan fundamentales que pueden ser muy difíciles de rivalizar. Si alguien resolviera el problema P versus NP (o probara que no tiene solución) … entonces él o ella merecerían ser considerados.