Ученый-математик Алан Тьюринг в тексте работы "О вычислимых числах", вышедшей в 1936 году, доказал, что универсального метода установления истины нет и не может быть в математической науке. Математика всегда будет содержать не поддающиеся разрешению задачи. На базе этого метода ученый разработал так называемую "Машину Тьюринга", ставшую прообразом современного персонального компьютера