2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Разрешимость равенства примитивно-рекурсивных функций
Сообщение20.07.2017, 21:56 
Заслуженный участник


08/04/08
8504
Разрешима ли проблема равенства примитивно-рекурсивных функций?
Попытки решения:
Определение ПРФ знаю. В гугле как-то быстро ответ на сабж не гуглится.
Если $f\neq g$, и $f,g$ - ПРФ, то они всюду определены, значит достаточно найти такое $n$, что $f(n)\neq g(n)$.
В случае если $f=g$, можно свести эту проблему к проблеме $h=0$, где $h=f-g$.

А хотя вроде просто: достаточно рассмотреть какой-нибудь $f(n)=\mathrm{sg} (M(n)-\sqrt{n})$, где $M(n)$ - функция Мертенса, она явно ПРФ, а мы даже неалгоритмически до сих пор не можем на вопрос ответить...

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ 1 сообщение ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group