Category:Uncomputable

This category includes programming languages that are uncomputable on a Turing Machine.