Primero debe comprender y aceptar el hecho de que la informática está basada en las matemáticas. Una vez que tienes esto, necesitas ver la relación de las matemáticas con la lógica.
David Hilbert estaba muy interesado en aportar una teoría axiomática a las matemáticas. Las raíces de estos axiomas están en la lógica. A medida que esta teoría axiomática comenzó a tomar forma, se hizo evidente una correlación entre ella y la lógica, como se puede encontrar en las matemáticas discretas. (Para que todo quede claro, lea sobre anillos y campos en álgebra. Todas estas estructuras están definidas de forma axiomática. En realidad, hay muchas cosas interesantes para leer, si tiene tiempo). David propuso 23 problemas al mundo y con el tiempo muchos se resolvieron. Godel proporcionó el teorema de incompletitud y Turing publicó sobre el problema de decisión, también conocido como el problema de la detención. Turing desarrolló la llamada máquina Universal y John von Newmann, otro que hoy le permite hacer esta pregunta y otras para responder.
Si desea comprenderlo en profundidad, le recomiendo leer: Compre The Annotated Turing: una visita guiada por el documento histórico de Alan Turing sobre computabilidad y la máquina de Turing. Reserve en línea a precios bajos en la India | El Turing anotado: un recorrido guiado por el documento histórico de Alan Turing sobre la computabilidad y la máquina de Turing Opiniones y clasificaciones – Amazon.in