bad girl пишет:masai пишет:. И вычисление квадратного корня — это поиск числа, такого, чтобы его квадрат был равен 2. Но число это иррациональное (тоже в школе доказывается), так что вычислить его целиком просто невозможно, только с некоторой точностью..
ну да. поэтому "поиск" числа которое бы доказал что его корень в квадрате равен самому числу -должно быть практически исчисляемо, иначе это теряет смысл.
Да в том-то и фишка, что это не надо доказывать. Чистые математики часто доказывают существование чего-то и успокаиваются. Зачем им само число, если и так доказано его существование и известны его свойства? Прикладные математики при помощи численных методов получают какие-то результаты, которые можно использовать, например, на заводе. Но зачем вечно пьяному фрезеровщику дяде Вове пятьсот знаков после запятой в рамерах какой-то втулки, если у него фреза в станке болтается туда-сюда?
Вот и получается, что реально это число просто-напросто никому не нужно. Как и число пи. Всё что можно про него сказать, можно сказать и не зная всех его знаков (коих бесконечно много в силу его иррациональности, да ещё и трансцендентности). А на практике эти знаки тоже не нужны. (Хотя вот в книжке «Контакт» Сагана, по которой одноимённый фильм поставили, в знаках числе пи нашли послание инопланетян. Вообще, книжка хорошая, отличется от фильма сильно.)
Это, кстати, ещё ерунда. Всё равно ведь существует алгоритм, позволяющий получить любое нужно количество цифр корня из двух. Вот многих удивляет например, такой факт, что на самом деле большинство чисел просто-напросто невычислимые. То есть невозможно в принципе построить алгоритм для компьютера, позволяющий узнать число цифра за цифрой. Вот к этому сложнее привыкнуть. Число есть — а узнать его нельзя.
Или даже если взять элементарные утверждения из теории множеств. Человеку, который не работает тесно с математикой достаточно необычным кажется, что чётных чисел ровно столько же, сколько и натуральных (это при том, что натуральные включают в себя как чётные, так и нечётные). А вот действительных чисел больше, чем натуральных. Хотя и тех, и других бесконечно много.
Вообще, в математике очень много таких вещей, которые кажутся странными, неочевидными, а иногда даже дикими.