Sasha2Например, есть такая теорема, которая гласит, что любое построение, выполняемое при помощи циркуля и линейки, может быть выполнено при помощи одного лишь циркуля.
Ну Вы сами понимает, что циркулем прямую линию не проведешь. Наверно имеется в виду то, что можно сколько угодно прикладывая циркуль найти все точки данной прямой.
Нет, имеется в виду отнюдь не это. Эта теорема (Мора - Маскерони) доказывает лишь то, что с помощью только циркуля можно найти некоторые две точки искомой прямой (точки находятся как точки пересечения двух окружностей), ну а большего и не надо. Отрезки задаются двумя концами.
А потому эта теорема не имеет, по-видимому, никакого отношения к Вашему вопросу.
И еще уж наверняка есть такие задачи, что сколько линейку или циркуль не прикладывай, а все равно не проведешь и бесконечное число тут не при чем.
Может быть и есть, но, по-моему, (и в этом я согласен с
gris) большинство "нерешаемых" задач все-таки "решится". Ведь бесконечное количество шагов дает, по сути, возможность применения численных методов (аналогичных нахождению определенного интеграла методом трапеций и т.п.). Например, задача о трисекции угла будет решаться очень легко (с помощью бесконечного деления угла пополам и представлении
в виде двоичной дроби).