Can an algorithm decide rational solvability of Diophantine equations? Solved negatively over the integers (1970); over the rationals, wide open.
The Problems
Not schoolwork — the questions that resisted Erdős, Hilbert, and everyone since. The club keeps three shelves: what is still open, what AI recently settled, and what took humanity centuries.
Tagged mathematical-logic — 1 entry. Clear