The world of mathematics is full of unreachable corners, where unsolvable problems live. Now, yet another has been exposed. In 1900, the eminent mathematician David Hilbert announced a list of 23 key ...

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, ...

In this paper we study generic complexity of undecidable problems. It turns out that some classical undecidable problems are, in fact, strongly undecidable, i.e., they are undecidable on every ...