RUS  ENG
Полная версия
ЖУРНАЛЫ // Известия Российской академии наук. Серия математическая // Архив

Изв. АН СССР. Сер. матем., 1986, том 50, выпуск 6, страницы 1123–1155 (Mi im1567)

Об арифметике с понятием “достижимого числа”

Е. С. Божич


Аннотация: Исследуется расширение формальной арифметики утверждением о недостижимости конкретного “большого” натурального числа. В работе показано, что хотя полученная система противоречива, “короткими” доказательствами в ней можно получить только те формулы в языке арифметики, которые являются арифметическими теоремами.
Библиография: 10 названий.

УДК: 517.11

MSC: 03F20, 03F30

Поступило в редакцию: 16.10.1984


 Англоязычная версия: Mathematics of the USSR-Izvestiya, 1987, 29:3, 477–510

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


© МИАН, 2024