|
Математические заметки, 1979, том 26, выпуск 4, страницы 505–511
(Mi mzm8432)
|
|
|
|
Проблема близнецов в формальной арифметике
Ю. Г. Пензин Иркутский государственный университет
Аннотация:
Показано, что в формальной арифметике целых чисел, в которой принцип индукции ограничен рекурсивно перечислимыми множествами, нельзя доказать конечность множества простых близнецов и конечность множества простых чисел вида $m^2+1$. Гипотезы о бесконечности указанных множеств являются хорошо известными проблемами теории чисел. Библ. 4 назв.
Поступило: 18.04.1977
Образец цитирования:
Ю. Г. Пензин, “Проблема близнецов в формальной арифметике”, Матем. заметки, 26:4 (1979), 505–511; Math. Notes, 26:4 (1979), 743–746
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm8432 https://www.mathnet.ru/rus/mzm/v26/i4/p505
|
|