Informal Concepts in Machines