Informacijski principi in formalizacija