|
|
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
29 апреля 2014 г. 18:30–20:05, г. Москва, Математический институт им.В.А.Стеклова РАН
|
|
|
|
|
|
О соотношении тезиса Чёрча и принципа униформизации в теории множеств с интуиционистской логикой
В. Х. Хаханян |
Количество просмотров: |
Эта страница: | 175 |
|
Аннотация:
В 1936 г. Алонзо Чёрч высказал неформальную гипотезу о классе эффективно вычислимых функций, а в 1973 г. А.Трулстра (A.S.Troelstra)
ввёл в рассмотрение так называемый принцип
униформизации. В докладе будут рассмотрены формальные версии этих утверждений и приведены полученные результаты о соотношении разных вариантов этих принципов на уровне теорий множеств с интуиционистской логикой.
|
|