Неразрешимое множество

[patzer2097]

не знаю, почему.. попробуйте обновить страницу, у меня вроде все OK

[ИСН]

Там этого не говорится. Там говорится "всем слонам, велосипедистам и трубочистам покинуть зал". Вы делаете отсюда вывод, что слоны - велосипедисты. Это неправильный вывод. Слова работают не так.

[MestnyBomzh]

Ой да, не так прочитал, там написано: рациональниые И $\pi, \ln2$ Так вот, получается, мы можем составить такую функцию, содержащую
1. Рациональные числа и $\pi, \ln2$
2. Переменную $x$
3. Операции сложения, умножения, композицию
4. Синус, модуль, экспоненту
, что мы не сможем сказать, существует ли $x:f(x)=0$?

[patzer2097]

MestnyBomzh в сообщении #824724 писал(а):

что мы не сможем сказать, существует ли $x:f(x)=0$?

что мы не сможем проверять алгоритмически, является ли $f(x)$ тождественным нулем.

[MestnyBomzh]

patzer2097
ааа, то есть только тождественным? при любых иксах обращается в ноль? но это не то..