RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор
Подписка
Правила для авторов
Лицензионный договор
Загрузить рукопись
Историческая справка

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



УМН:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


УМН, 2004, том 59, выпуск 2(356), страницы 9–36 (Mi umn715)  

Эта публикация цитируется в 13 научных статьях (всего в 13 статьях)

Подход Колмогорова и Гёделя к интуиционистской логике и работы последнего десятилетия в этом направлении

С. Н. Артемовab

a Московский государственный университет им. М. В. Ломоносова, механико-математический факультет
b City University of New York, Graduate Center

Аннотация: Интуиционистская математика была создана Брауэром на основе конструктивных способов рассуждений, при которых критерием истинности является наличие доказательства. В работах Колмогорова и Гёделя была предложена идея интерпретации интуиционистской логики на основе классических понятий задачи и ее решения и понятия доказуемости. В 1933 году Гёдель сделал первое существенное продвижение в этом направлении. Несмотря на большие успехи в исследовании интуиционизма, точной модели интуиционистской логики на основе этого подхода не было построено вплоть до работы автора 1995 года. В настоящей работе мы расскажем о результатах последнего десятилетия, полученных в русле этого подхода.
Библиография: 87 названий.

DOI: https://doi.org/10.4213/rm715

Полный текст: PDF файл (402 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Russian Mathematical Surveys, 2004, 59:2, 203–229

Реферативные базы данных:

УДК: 510.23, 510.24, 510.25, 510.642, 510.643, 510.648
MSC: Primary 03B34, 03F45, 03F55; Secondary 03B70, 03B20, 03B80
Поступила в редакцию: 04.11.2003

Образец цитирования: С. Н. Артемов, “Подход Колмогорова и Гёделя к интуиционистской логике и работы последнего десятилетия в этом направлении”, УМН, 59:2(356) (2004), 9–36; Russian Math. Surveys, 59:2 (2004), 203–229

Цитирование в формате AMSBIB
\RBibitem{Art04}
\by С.~Н.~Артемов
\paper Подход Колмогорова и Гёделя к~интуиционистской логике и работы последнего десятилетия в~этом направлении
\jour УМН
\yr 2004
\vol 59
\issue 2(356)
\pages 9--36
\mathnet{http://mi.mathnet.ru/umn715}
\crossref{https://doi.org/10.4213/rm715}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2086634}
\zmath{https://zbmath.org/?q=an:1074.03029}
\adsnasa{http://adsabs.harvard.edu/cgi-bin/bib_query?2004RuMaS..59..203A}
\elib{http://elibrary.ru/item.asp?id=14355701}
\transl
\jour Russian Math. Surveys
\yr 2004
\vol 59
\issue 2
\pages 203--229
\crossref{https://doi.org/10.1070/RM2004v059n02ABEH000715}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000223519000002}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-4344603650}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/umn715
  • https://doi.org/10.4213/rm715
  • http://mi.mathnet.ru/rus/umn/v59/i2/p9

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. Artemov S., Nogina E., “Introducing justification into epistemic logic”, J. Logic Comput., 15:6 (2005), 1059–1073  crossref  mathscinet  zmath  isi  elib
    2. Krupski V.N., “Reference constructions in the single-conclusion proof logic”, J. Logic Comput., 16:5 (2006), 645–661  crossref  mathscinet  zmath  isi  elib
    3. Brezhnev V., Kuznets R., “Making knowledge explicit: How hard it is”, Theoret. Comput. Sci., 357:1-3 (2006), 23–34  crossref  mathscinet  zmath  isi  elib
    4. Krupski N.V., “On the complexity of the reflected logic of proofs”, Theoret. Comput. Sci., 357:1-3 (2006), 136–142  crossref  mathscinet  zmath  isi  elib
    5. Krupski N., “Typing in reflective combinatory logic”, Ann. Pure Appl. Logic, 141:1-2 (2006), 243–256  crossref  mathscinet  zmath  isi  elib
    6. S.S.. Wainer, “2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05”, Bull. symb. log, 12:02 (2006), 310  crossref  zmath
    7. Artemov S., Iemhoff R., “The basic intuitionistic logic of proofs”, J. Symbolic Logic, 72:2 (2007), 439–451  crossref  mathscinet  zmath  isi  elib
    8. Artemov S., Nogina E., “Topological semantics of Justification Logic”, Computer Science - Theory and Applications, Lecture Notes in Computer Science, 5010, 2008, 30–39  crossref  mathscinet  zmath  isi
    9. Krupski V.N., “Symbolic Models for Single-Conclusion Proof Logics”, Computer Science - Theory and Applications, Lecture Notes in Computer Science, 6072, 2010, 276–287  crossref  mathscinet  zmath  isi
    10. Achilleos A., “A Complexity Question in Justification Logic”, Logic, Language, Information and Computation, Wollic 2011, Lecture Notes in Artificial Intelligence, 6642, eds. Beklemishev L., DeQueiroz R., Springer-Verlag Berlin, 2011, 8–19  mathscinet  zmath  isi
    11. Shamkanov D.S., “Strong Normalization and Confluence for Reflexive Combinatory Logic”, Logic, Language, Information and Computation, Wollic 2011, Lecture Notes in Artificial Intelligence, 6642, eds. Beklemishev L., DeQueiroz R., Springer-Verlag Berlin, 2011, 228–238  mathscinet  zmath  isi
    12. Antonis Achilleos, “A complexity question in justification logic”, Journal of Computer and System Sciences, 2014  crossref  mathscinet  isi
    13. Rodin A., “On the Constructive Axiomatic Method”, Log. Anal., 2018, no. 242, 201–231  crossref  isi
  • Успехи математических наук Russian Mathematical Surveys
    Просмотров:
    Эта страница:717
    Полный текст:301
    Литература:78
    Первая стр.:3
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020