(no subject)
Истинный тест Тьюринга: отвечать так, чтобы все распознали божество. Всё остальное полумеры.
Основная проблема была в том чтобы найти новый язык на котором можно формально работать с объектами с которыми работает современная чистая математика. Теория множеств для этого не годится, грубо говоря по тому что на ее языке комбинаторная сложность описания объектов растет экспоненциально с ростом уровня абстрактности.