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 Türk-İslam bilgini kimdir?