La informática teórica es el término más utilizado para la teoría matemática de la computación. En la tradición norteamericana, generalmente se restringe el uso del término informática teórica a
- Teoría de la computabilidad , que es el estudio de los límites de los algoritmos: ¿Qué problemas bien definidos, respectivamente, no pueden resolverse algorítmicamente? El famoso teorema sobre la indecidibilidad del problema de detención es una piedra angular de la teoría de la computabilidad. El estudio de modelos matemáticos de cómputo como las máquinas de Turing, el cálculo lambda y las funciones recursivas parciales también pertenece aquí.
- Complejidad computacional, que es el estudio de los requisitos de recursos (también conocida como complejidad computacional) de los algoritmos: ¿Cuántos pasos / cuánta memoria se requiere de un algoritmo para un problema dado? (Por supuesto, aquí solo nos interesan los problemas solucionables computacionalmente). El famoso problema P = NP es probablemente el tema más conocido de esta área.
Hay otras áreas orientadas matemáticamente en ciencias de la computación que la tradición europea a menudo agrupa con las anteriores bajo el título común de ciencias de la computación teórica, mientras que este no es el caso en América del Norte. Aquí estoy pensando principalmente en la semántica del programa en sus diversas formas.
- Si una solución correcta a la Hipótesis de Riemann, P = NP, o la Teoría de campo unificada se presentara de forma anónima, ¿cuántas personas podrían ser consideradas sospechosas?
- ¿Un bucle siempre tiene un punto de partida?
- ¿Pueden los lenguajes naturales ser completamente modelados por las máquinas de Turing?
- Tengo 23 años, quiero ser cantante profesional y quiero aprender música clásica. ¿Es demasiado tarde?
- ¿Cuál es la relación del valor ap y la medida estadística de prueba?