Set of all understandable programs

모든 이해 가능한 프로그램의 집합.

메모

모든 계산 가능한 프로그램의 집합 $C$은 자연수 집합과 같다(자명). 인간이 이해할 수 있는 프로그램의 집합 $U$는 $C$의 부분 집합일 것이다(추측, 이해가능성에 대한 정의 필요). 이해할 수 없는 프로그램을 전통적인 방법으로 만들어내기란 쉽지 않을 것이다(추측). 진화 알고리즘, 인공신경망 등은 이러한 프로그램($U - C$)을 만들어낼 수 있는 방법이다. —AK, 2005-12-08