Today, Georg Cantor, the mathematician who showed us how to carry on counting when the numbers run out. An insight into the nature of infinity that Roger Penrose believes helps to explain why the human brain will always be cleverer than artificial intelligence.