This project will provide a summary of the transmission of Greek mathematics through the Islamic world, the resulting development of algebra by Muhammad ibn Musa al-Khwarizmi, and the applications of Islamic algebra in modern mathematics through the formulation of the Fundamental Theorem of Algebra. In addition to this, I will attempt to address several cultural...Read More

The historic background of algorithmic processing with regard to etymology and methodology is translated into terms of mathematical logic and Computer Science. A formal logic structure is introduced by exemplary questions posed to Fiqh-chapters to define a logic query language. As a foundation, a generic algorithm for deciding Fiqhrulings is designed to enable and further...Read More

On the eve of modernity, at the beginning of the nineteenth century, logic was a staple part of madrasa education in all major centers of Islamic learning, from Fes and Tunis in the Maghreb to Qom and Lucknow in the East. Practically all students were expected to study at least the basics of the discipline,...Read More

Mi‛yār al-‛Ilm fī Fann al-ManÏiq of al-Ghazālī is the first book on Islamic logic. But a specific, comprehensive and exclusive study on its essence of the scientific contents and its importance in developing scientific thinking has never been done yet. Therefore, this study investigated qualitatively the background of Mi‛yār and its contents using content analysis....Read More