Beytü'l Hikme'de görev yapmış, cebir kelimesini matematiğe kazandırmış ve "Kitabü'l-Muhtasar fi Hisabi'l-Cebr ve'l-Mukabele" adlı eseri yazmış olan bilim insanı kimdir?