uncomputableness

not defined yet