New Proofs Expand the Limits of What Cannot Be Known

By proving a broader version of Hilbert’s famous 10th problem, two groups of mathematicians have expanded the realm of mathematical unknowability.

https://www.wired.com/story/new-proofs-expand-the-limits-of-what-cannot-be-known/