Цитата:
из которой проистекает неразрешимость - это неразрешимость равенства констант (теорема Ричардсона)
Я слышал что такая неразрешимость доказана лишь в случае, если считать взятие модуля элементарной функцией, а в случае, если не считать, то пока неизвестно. Это правда (слышал из не очень-то надёжного источника)?