An interesting CS Theory Stack Exchange question (via @CompSciFact): I am preparing for a talk aimed at undergraduate math majors, and as part of it, I am considering on discussing the concept of decidability. I want to give an example of a problem which we do not currently know to be decidable or undecidable. There … Continue reading A Simple Problem Whose Decidability Is Not Known