Since the detection of gravitational waves we know for sure that black holes do exist. To understand what really goes on inside them we need a new theory.
Leslie Lamport explains how an understanding of special relativity helped him realise how to order events in computer science, and enabled the development of distributed computing.