A narration of the origins, advancements, and future of the formal sciences, including mathematics and computer science, and the ways in which scientists utilize the scientific method to explore questions.