If you liked The Dot and the Line: A Romance in Lower Mathematics, watch these