Non-computability of human intelligence