Platonismo (matemático): diferentes tipos, cómo Roger Penrose lo entiende y lo usa como argumento en contra de la Inteligencia Artificial fuerte | Publicación