1180), fue un filósofo, compilador y traductor español.