Importancia de la lógica en la computación: Revolución lógica, ¿qué tan distante está el futuro?

La lógica como tal, es un concepto del cual no se podría dar una definición clara y precisa, tan solo se podría dar una pequeña descripción de lo que es este tan profundo y desconocido mundo, unaverdadera ciencia que ha sido pieza elemental en todo el desarrollo intelectual y por tanto tecnológico del ser humano, los conceptos varían de acuerdo a la aplicación que se le dé, por ejemplo, enfilosofía se podría aplicar a los filosofemas, son opiniones racionalmente fundamentadas, esto es, lógica, sin embargo en busca de la resolución al interrogante que titula este escrito, se abordará lalógica desde la perspectiva matemática y su evolución. Los seres humanos, desde la edad antigua, habían logrado llegar a un punto muy alto en el pensamiento, este es el caso de los grandes personajesgriegos de las antiguas civilizaciones, los cuales crearon y aplicaron los primeros métodos y deducciones lógicas, los principios de la matemáticas y de la concepción del mundo, fue una gran época deprogreso que se vio levemente interrumpida por la llegada e imposición del cristianismo en la sociedad (dogmas que limitaban la libre opinión y negación de las escrituras, inquisición (herejía)), donde sino hubiese ocurrido, hoy día estaríamos en niveles superiores del pensamiento, aquellos credos y corrientes fueron (desde una perspectiva muy a favor del desarrollo humano ) solo una limitación ycontrol de las capacidades lógicas y deductivas de las que estamos dotados; sin embargo gracias al renacimiento, se fueron recuperando todos estos hábitos que llevaron a retomar el progreso intelectual,acá hablamos del desarrollo de la ciencia matemática, aquella en donde se llevaron a cabo grandes desarrollos gracias a genios como René Descartes, Isaac Newton, Gottfried Leibniz y otros precursoresy desarrolladores de ciencias y métodos que hoy día con pequeñas modificaciones usamos. Usando todos estos conocimientos la sociedad de siglo XVII comenzó a generar las ideas de máquinas que...