Какие из следующих проблем являются разрешимыми?
Остановится ли программа на языке программирования Паскаль, запущенная после введения в неё некоторого конкретного набора данных. (Речь идет о произвольной программе.)
Является ли данный логический вывод, записанный на языке аксиоматической теории, действительно доказательством?
Является ли три данная тройка чисел x, y, z длинами сторон прямоугольного треугольника?