Rosie and Nick are just about to start their third year. Before they finished their second year, we had a chat about stuff: maths stuff and Oxford stuff.
Ramón has just left us for a postdoctoral position in Cambridge (it happens occasionally), but before he departed he discussed his research into using random walks to understand physical systems.
Among his many interests, Kurt Gödel wrote a privately circulated formal proof for the existence of God using modal logic. But it was an earlier work from 1931 that upended mathematics and logic and which still applies today.