ГРНТИ | |
УДК |
Рубрики:
вычислимость--в математической логике
алгоритмы--теория
Кл.слова (ненормированные):
Математика - Философские проблемы
вычислимость--в математической логике
алгоритмы--теория
Кл.слова (ненормированные):
Математика - Философские проблемы
Аннотация: В монографии отражены исследования в области философии математики, важные для понимания природы вычислимости и ее роли в познании. В центре внимания находится тезис Черча, являющийся уточнением интуитивного понятия вычислимости, а также понятия алгоритма, лежащего в основе понятия вычисления. Книга предназначен а всем интересующимся философией математики.
Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50
Доп.точки доступа:
Институт философии и права (Новосибирск); Сибирское отделение РАН
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)