Higher-Order Computability

Rice–Shapiro theorem

In computability theory, the Rice–Shapiro theorem is a generalization of Rice's theorem, named after Henry Gordon Rice and Norman Shapiro.

Dag Normann

Dag Normann is a Norwegian mathematical logician. He was born in 1947 and is Professor emeritus at the University of Oslo.