|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
An elementary exposition of Gödel's incompleteness theoremстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 29 мая 2018 г.
- Автор: Uspenskii V.A.
- Журнал: Russian Mathematical Surveys
- Том: 29
- Номер: 1
- Год издания: 1974
- Издательство: Turpion - Moscow Ltd.
- Местоположение издательства: United Kingdom
- Первая страница: 63
- Последняя страница: 106
- DOI: 10.1070/RM1974v029n01ABEH001280
- Аннотация: Gödel's incompleteness theorem states that there is no system of axioms and rules of inference such that the totality of all assertions deducible from the axioms is the same as the totality of all true assertions in arithmetic (indeed, for every consistent system one can construct effectively a true but unprovable assertion). The present article is devoted to a proof of this theorem, based on the concepts and methods of the theory of algorithms; the necessary information from the theory of algorithms is provided. The paper does not require specialized knowledge of any kind (in particular, none from mathematical logic), but assumes only a familiarity with elementary mathematical terminology and symbolism.
- Добавил в систему: Успенский Владимир Андреевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Uspensky_1974_RMS_Elementary_Godel.pdf | 2,6 МБ | 13 января 2018 [uspensky] |