¿Es físicamente posible que una máquina presente capacidad de abstracción similar a la inteligencia humana?

¿Qué es la formalización de enunciados?