Тип публикации: препринт
Год издания: 2004
Аннотация: В 1999 г. М. Маргенштерн и Ю. Матиясевич опубликовали три варианта представления известной проблемы Зx + 1 посредством арифметических формул с биномиальными коэффициентами, включая конгруэнтную формулу по модулю 2 тройной суммы с биномиальными коэффициентами и двумя свободными параметрами. Авторы надеялись, что нахождение упомянутой суммы в закрытой форме должно открыть новые пути в методах решения древней проблемы. Поставленная ими проблема решена автором с помощью метода коэффициентов (Егорычев, 1977) и классических операций формальных рядов над полем Z2. Получено также множество конгруэнтных формул и их приложений. Это позволяет значительно ослабить необходимые и достаточные условия Маргенштерна - Матиясевича для справедливости проблемы Зx + 1
Место издания: ВИНИТИ РАН