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.

Here's Tibo to explain.

Subscribe to Teaching and Learning