"I get sent tricky maths questions all the time, so I thought this one would be a piece of cake," Bobby Seagull told Newsweek.

The course is an introduction to the use of formal definitions and proofs in mathematics, and to basic results of elementary logic, set theory and analysis. Specific topics covered are as follows: ...