Category Archives: undergrad maths

Happy birthday Xena!

Posted on September 21, 2018 by

It was a year ago today that I emailed Inkeri Hibbins, a wonderful administrator at Imperial College London, and asked her if she could email all the Imperial maths and joint maths/computing undergraduates and tell them about my new Thursday … Continue reading →

Posted in Imperial, M1F, undergrad maths | 3 Comments

What is a uniform space? How some computer scientists think about completions.

Posted on August 5, 2018 by

This is post 2 of 2 posts both of which are attempts to explain some basic mathematical definitions which I have never seen covered in an undergraduate mathematics course. These definitions play a rolein Lean because it’s important to set … Continue reading →

Posted in undergrad maths | 2 Comments

What is a filter? How some computer scientists think about limits.

Posted on August 4, 2018 by

This is post 1 of 2 posts both of which are attempts to explain some basic mathematical definitions which I have never seen covered in a mathematics course. This one is on filters, and the next one will be on … Continue reading →

Posted in undergrad maths | 3 Comments