¿Cómo utilizamos la teoría de la computación (un documento central para los estudiantes de TI y CS) en nuestra vida diaria?

No podría estar más en desacuerdo con el Sr. Morankar; él puede ser más calificado que yo; simplemente tengo una licenciatura en CS pero mientras tomé clases de teoría de posgrado y también enseñé a sus estudiantes su clase de teoría de introducción mientras obtuve mi título de abogado.

Hay belleza en la teoría. La prueba de Turing de que existen grupos indecibles de números naturales (o números reales indecidibles como originalmente [y equivalentemente] lo hizo) me convenció de que hay tanta belleza en el mundo, incluso en esta pequeña parte de ella, que no puedo Nunca dejes de mirarlo.

Y el Sr. Morankar, no estoy de acuerdo con usted porque el Dr. Turing y sus colegas no usaban computadoras per se (bueno, supongo que lo estaban durante la guerra, pero dejémoslo a un lado) – Alan Turing retiró la computadora y dejó una sesión formal. aún así, un marco lo suficientemente simple como para que su versión en cinta 2D de la máquina de Turing sea esencialmente la encarnación de un matemático haciendo “lo que pueda” con un lápiz y un cuaderno. No puedes ser más humano que eso. Sin embargo, demostró que, permitiéndole a ese matemático esas herramientas simples, hay cosas que nunca podrá resolver. Sí, se puede argumentar que es simplemente una reafirmación computacional del teorema de Godel, y el infierno, la prueba es esencialmente la prueba de Godel, pero, ¿puedes imaginarte lo sobresaliente y lo que fue en ese momento?

No puedo expresarlo mejor que eso, pero el conjunto de computación se ve tan hermoso mientras que muchas de las cosas que estudiamos como teóricos son probables o imposibles de entender, hay algunos resultados recientes que llamaría bellos. L = SL es uno. PRIMES \ in P. Los argumentos de desaseatorización se hacen más y más fuertes todo el tiempo, en la medida en que generalmente percibimos BPP como manejable, P puede! = NP y aún así BPP puede contener todo NP (creo, a menos que alguien haya demostrado lo contrario últimamente). [Creo que la jerarquía polinomial colapsa si eso sucede.]

Los estudiantes de CS – estudiantes de pregrado especialmente: soy un abogado. He visto y hecho mucho en mi vida. Mi mayor arrepentimiento fue ir por mi doctorado en lugar de un doctorado en teoría.

Tuyo,

Aaron