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

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

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



Зап. научн. сем. ПОМИ:
Год:
Том:
Выпуск:
Страница:
Найти






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


Зап. научн. сем. ПОМИ, 2008, том 358, страницы 153–188 (Mi znsl2150)  

The Lengths of Proofs: Kreisel's conjecture and Gödel's speed-up theorem

[Длины доказательств: гипотеза Крайзеля и теорема Геделя об ускорении]

S. Cavagnetto

Mathematical Institute, Academy of Sciences of the Czech Republic

Аннотация: В данном обзоре собраны и сравниваются известные к настоящему времени результаты, связанные с попытками установить справедливость гипотезы Крайзеля о длинах доказательств. Также рассматриваются результаты, касающиеся теоремы об ускорении, анонсированной Геделем в 1936 г. Наконец, показано, как данные результаты соотносятся с гипотезой Крайзеля. Библ. – 63 назв.

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

Англоязычная версия:
Journal of Mathematical Sciences (New York), 2009, 158:5, 689–707

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

УДК: 510.662
Поступило: 08.05.2007
Язык публикации: английский

Образец цитирования: S. Cavagnetto, “The Lengths of Proofs: Kreisel's conjecture and Gödel's speed-up theorem”, Исследования по конструктивной математике и математической логике. XI, Зап. научн. сем. ПОМИ, 358, ПОМИ, СПб., 2008, 153–188; J. Math. Sci. (N. Y.), 158:5 (2009), 689–707

Цитирование в формате AMSBIB
\RBibitem{Cav08}
\by S.~Cavagnetto
\paper The Lengths of Proofs: Kreisel's conjecture and G\"odel's speed-up theorem
\inbook Исследования по конструктивной математике и математической логике.~XI
\serial Зап. научн. сем. ПОМИ
\yr 2008
\vol 358
\pages 153--188
\publ ПОМИ
\publaddr СПб.
\mathnet{http://mi.mathnet.ru/znsl2150}
\transl
\jour J. Math. Sci. (N. Y.)
\yr 2009
\vol 158
\issue 5
\pages 689--707
\crossref{https://doi.org/10.1007/s10958-009-9408-0}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-67349117073}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/znsl2150
  • http://mi.mathnet.ru/rus/znsl/v358/p153

    ОТПРАВИТЬ: 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
  • Записки научных семинаров ПОМИ
    Просмотров:
    Эта страница:214
    Полный текст:66
    Литература:42

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019