Filosofo ed erudito (sec. 12º), traduttore di opere filosofiche arabe. Fu arcidiacono di Segovia; è uno dei primi e più notevoli rappresentanti di quel mondo culturale spagnolo che costituì un prezioso tramite tra la filosofia aristotelico-platoneggiante degli Arabi e la cultura latina. Soprattutto importanti le sue traduzioni, compiute in collaborazione con l'ebreo Giovanni ibn Daut (o Avendaut): quella del De scientiis di al-Fārābī; delle Intenzioni dei filosofi di al-Gazzālī; della logica, della metafisica e di parti della fisica del Kitāb ash-Shifā' di Avicenna; della Fons vitae di Avicebron. Dei trattati originali, che sono talora compilazioni e talora svolgimenti di problemi posti da pensatori arabi (in particolare sotto l'influsso platonizzante di Avicenna e Avicebron) si ricordano: De unitate (erroneamente attribuito a Boezio), De processione mundi, De anima, De immortalitate animae, De divisione philosophiae.