Formal theory of creativity
en.wikipedia.org