Заложил основы теоретической информатики на основе работы о универсальных формальных языках и лимитах на доказательство и вычисление.