A mathematician's search for technologies of understanding the universe. (2020)