Uncomputable function

[needs content]