| Proof and Other Dilemmas: Mathematics and Philosophy | Take, for example, someone like Muhammad b |
|---|---|
| 850 who may present a problem for the EIr, for although he was obviously of Persian descent, he lived and worked in Baghdad and was not known to have produced a single scientific work in Persian | 1997 Statistics and Truth: Putting Chance to Work, World Scientific |
They were never in the habit of making all terms in an equation positive, as is done in the process of "restoration.
| 16: "What do I mean by abstractness? "Images of Mathematics Held by University Teachers of Mathematical Sciences" | "Cyclic proofs of program termination in separation logic" |
|---|---|
| The science of space, number, quantity, and arrangement, whose methods involve logical reasoning and usually the use of symbolic notation, and which includes geometry, arithmetic, algebra, and analysis | [I]t is first necessary to ask what is meant by mathematics in general |
New York University: Hagop Kevorkian Center for Near Eastern Studies: Occasional Papers on the Near East 2.
6| Commentary on the Astronomical Tables of Al-Khwarizmi: By Ibn Al-Muthanna | A Brief History of Mathematics |
|---|---|
| Mathematics Across Cultures: The History of Non-western Mathematics | 4 "A few complain that the computer program can't be verified properly", in reference to the Haken—Apple proof of the Four Color Theorem |