New Proofs Probe the Limits of Mathematical Truth (quantamagazine.org)
By proving a broader version of Hilbert’s famous 10th problem, two groups of mathematicians have expanded the realm of mathematical unknowability.
Mathematics, Proof, Unknowability
94 points by headalgorithm 19 days ago | 21 comments