sorting algorithms
acceptability?
mathematicians
disproving
counterexamples automatically debunk algorithms
origin
Mohammed ibn-Musa al-Khwarizmi, who was part of the royal court in Baghdad and who lived from about 780 to 850
types
quicksort
n^2
mergesort
use substitution processes in order to prove recurrence
John von Neumann
binary in nature
published 1946, dates back to 200BC
1945
bubble
first documented: 1956
Radix
1904
debates?
mostly focused on how efficient the run-time of the algorithms are, rather than if they are accepted as theory
non-existent because of the very nature of proving algorithms and how they are accepted by the scientific community
