See on Scoop.it – Historia de la Tecnología
Los científicos Christoph Benzmüller, de la Universidad Libre de Berlín, y Bruno Woltzenlogel, de la Universidad Técnica de Viena, han probado informáticamente el teorema de Gödel, desarrollado a finales del siglo pasado por el matemático austríaco…
Angel Vicentín‘s insight:
Es excelente la idea: comprobar matemática y algoritmicamente la lógica aristotélica/tomista.
See on www.aciprensa.com
Mi Registro de la Web 