Перейти к основному содержанию
Библиотечно-издательский комплекс СФУ
Toggle navigation
Ресурсы
Библиотечный поиск
Каталог изданий университета
Университетские информационные ресурсы
Российские информационные ресурсы
Мировые информационные ресурсы
Периодические издания
Тематические путеводители
Книгообеспеченность учебного процесса
Приобретение литературы
Читателю
Регистрация читателей
Получение и возврат литературы
Межбиблиотечный абонемент
Тематические путеводители
Обучение работе с ресурсами
Доступная среда библиотеки
Детская развивающая площадка
Подарить книгу библиотеке
Автору
Правила издания рукописей
План выпуска изданий
Размещение публикаций в библиотеке, репозитории, РИНЦ
Проверка
журнала
Служба поддержки публикационной
активности
Учёт публикаций в АИС
«Прометей»
Услуги
Справочник услуг и сервисов БИК
Новая заявка на услугу
Бронирование помещений
Контакты
Адреса и режим работы
Контакты
Вопрос-Ответ
Отправить отзыв
Ещё
О Научной библиотеке
Об Издательстве
Дилерство «САБ ИРБИС»
Красноярский ИРБИС-клуб
Литературный клуб «Высокий берег»
Подкаст «Пища для ума»
Вакансии
Часто задаваемые вопросы
Мобильное приложение
Карта сайта и поиск по сайту
Онлайн-медиа Научной библиотеки
Личный кабинет
Главная
Ресурсы
Библиотечный поиск
On Computable
Numbers, with an
Application to the
Entscheidungsproblem
Alan Turing
1937 год
On Computable Numbers, with an Application to the Entscheidungsproblem
статья из журнала
Страница публикации
Публикация в OpenAlex
Год издания:
1937
Авторы:
Alan Turing
Издательство:
Wiley
Источник:
Proceedings of the London Mathematical Society
Ключевые слова:
Computability, Logic, AI Algorithms, Logic, Reasoning, and Knowledge
Показать дополнительные сведения
DOI:
https://doi.org/10.1112/plms/s2-42.1.230
Открытый доступ:
closed
Том:
s2-42
Выпуск:
1
Страницы:
230–265