Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...

A physicist named Nicolas Gisin from the University of Geneva recently published a series of papers that could change our entire view on the concept of “time.” Gisin’s work attempts to reconcile ...

Please note: you are viewing unit and programme information for a past academic year. Please see the current academic year for up to date information. The aim is to make the course of general interest ...

When a legendary mathematician found a mistake in his own work, he embarked on a computer-aided quest to eliminate human error. To succeed, he has to rewrite the ...

Katie has a PhD in maths, specializing in the intersection of dynamical systems and number theory. She reports on topics from maths and history to society and animals. Katie has a PhD in maths, ...

The theory of sets provides a foundation for all of mathematics. We shall discuss, informally, axioms for sets and develop the theory of infinite ordinal and cardinal numbers and their 'arithmetic'.