English Rice–Shapiro theorem Cited by user Jean Abou Samra on 10 Mar 2024 In computability theory, the Rice–Shapiro theorem is a generalization of Rice's theorem, named after Henry Gordon Rice and Norman Shapiro.
English Dag Normann Cited by user Navya Nyaya on 08 Jul 2020 Dag Normann is a Norwegian mathematical logician. He was born in 1947 and is Professor emeritus at the University of Oslo.