What are the most attractive Turing undecidable problems in mathematics?mathoverflow.net2 pointsDanielRibeiro13 years ago