The most widely used one is based on self-delimiting programs, and is mainly due to Leonid Levin (1974).
Один из наиболее широко используемых основан на самоограниченных программах и в основном связывается с Л. А. Левиным (1974).