English Decidability (logic) Cited by user RDBrown on 19 May 2022 In logic, a true/false decision problem is decidable if there exists an effective method for deriving the correct answer.
English Joel David Hamkins Cited by user Rjwilmsi on 21 Jun 2016 Joel David Hamkins is an American mathematician and philosopher based at the City University of New York.