Целищев, В. В. История тезиса Черча [Текст] / В. В. Целищев> // Гуманитарные науки в Сибири. - 2009. - N 1. - С. 3-8 . - ISSN 0869-8651
Рубрики: Математика История математики Философия Философия науки Кл.слова (ненормированные): Черча тезис -- тезис Черча -- Тьюринга машина -- машина Тьюринга -- аксиоматический метод -- проблема вычислимости -- формальная система -- рекурсивность Аннотация: Автор рассматривает тезис Черча с исторической точки зрения. Показано, что первоначальная версия тезиса была реализована с помощью исчисления, и только впоследствии он был обоснован с помощью машины Тьюринга. Доп.точки доступа: Тьюринг, Алан Матисон (механик, техник ; 1912-1954) |