Иногда также полезно сообщить об ошибке;
Есть много отличных ответов об очевидном способе сделать это, анализируя в той или иной форме битовый паттерн. Я задался вопросом, хотя, были ли какие-нибудь математические решения? Существуют ли свойства чисел, которые мы могли бы использовать?
Так что я немного поиграл с математикой, но ответ должен был быть очевиден с самого начала. Тривиально доказать, что все двоичные палиндромные числа должны быть нечетными или нулевыми. Это примерно настолько, насколько я смог с этим справиться.
Небольшое исследование не показало такого подхода к десятичным палиндромам, так что это либо очень сложная проблема, либо ее нельзя решить с помощью формальной системы. Может быть интересно доказать последнее ...