Lo Demostrable e Indemostrable – Yu. I. Manin – 1ra Edición

En este libro la teoría de demostración matemática y las causas de la insolubilidad de algunos problemas están expuestas en un nivel bastante comprensible. El libro está destinado para jóvenes científicos y para todos aquellos que se interesan por los problemas de las matemáticas actuales.

Entre los adelantos científico-técnicos que se vinculan con las ideas de la cibernética, tiene gran importancia el amplio uso de los ordenadores para resolver problemas de cálculo, simulación y gobierno. El trabajo del ordenador, si nos apartamos de su encarnación <>, consiste en procesar y engendrar textos simbólicos.