text: В математике он сконструировал новые кибернетические основания, а в программировании и информатике (кроме создания языка Рефал) заложил основы метавычислений, предложив качественно новый метод преобразования и оптимизации программ — суперкомпиляцию.