"Aristotle had considered the question of whether space is infinite and gave six nonmathematical arguments to prove that it is finite; he foresaw that this question would be troublesome."