Dejando de lado el rendimiento y la capacidad, todas las computadoras no triviales son equivalentes. Cualquier computadora no trivial puede calcular cualquier cosa que cualquier otra computadora no trivial pueda calcular, y además pueden hacerlo simulando entre sí.
(Ligeramente menos simple: ¿Qué queremos decir con no trivial? Técnicamente nos referimos a una computadora que puede simular una máquina de Turing. Eso es tan simple que realmente cualquier cosa que no pueda simular una máquina de Turing no merece ser llamada computadora. )
La informática como disciplina se basa en esta universalidad. Las computadoras están cambiando rápidamente; mi teléfono tiene mucha más potencia de computación que la computadora de $ 4 millones que programé en la década de 1980, y muchos detalles sobre cómo funciona el hardware han evolucionado. No obstante, los programas escritos entonces todavía se ejecutarían hoy, dada la pila de software correcta, y viceversa: un programa escrito hoy podría ejecutarse en esa computadora vieja. El software (particularmente compiladores e intérpretes) usa esencialmente las computadoras que realmente tenemos para simular las computadoras imaginarias para las que escribimos programas.
- ¿Cuál es la formación en informática en la Universidad Estatal de Michigan (MSU)?
- Di VITEEE ayer y espero poder obtener la admisión en VIT en Informática fácilmente. ¿Debo admitir allí o no?
- ¿Puedo ingresar a CMU MSCF con un puntaje GRE de 335, un recuento de un ex alumno de CMU MSCF, pero un GPA medio de pregrado en informática de Swarthmore College y poca experiencia laboral?
- ¿Cómo son los cursos de aprendizaje automático y la investigación en la Universidad de Florida?
- ¿Cuáles son los límites teóricos del poder computacional dictados por las leyes conocidas de la física?
La universalidad también implica que si demostramos que algo no es computable por una máquina Turing, sabemos que no es computable por ninguna computadora que podamos imaginar construir. (Eso incluye computadoras cuánticas, por cierto).
Dejaré las implicaciones físicas a los físicos.
