Чего не могут вычислительные машины: различия между версиями
Содержимое удалено Содержимое добавлено
Строка 330:
# Определение, пройдёт ли когда-нибудь программа по данной ветви.
# Определение, являются ли два функциональных выражения частными случаями одного и того же.
# Существование положительных натуральных чисел <math>x_i</math>, таких что <math>P(x_1,\dots,x_n)=0,</math> где <math>P</math> — многочлен с целыми коэффициентами (наличия корня у
# Существование решения произвольной системы уравнений в словах.
# Равенство либо неравенство (<math>\neq</math>, <, >) двух действительных чисел.
| |||