Это определение, а не вывод...
Согласно мат. энциклопедии, определение другое:
Цитата:
Число
- отношение длины окружности к диаметру
Если посмотрите учебники по математике, найдете способы вычисления
. Из результатов этих вычислений и следует вывод, что
Да и, строго говоря, запись
не означает иррационального числа. Это может быть и рациональное с длиннющим периодом, которое нам было лень записать…
Да, не означает иррационального числа и тем более не означает числа трансцендентного. Строго говоря, я привел (причем умышленно) частный вывод. Как видим, не все тут могут отличить вывод от определения:
О том, что вы не можете отличить вывод от определения, вам уже сказали.
Автору этого заявления стоило бы лучше изучить не только логику и математику, но и русский язык в рамках школьного учебника - тема согласование падежных окончаний:
предлагаю вам выписать здесь ваш вариант формализациЮ ваших же высказываний
Такие фразы понимать не просто, постарайтесь, пожалуйста, писать понятнее, здесь не соцсеть. По существу этого предложения отвечу нет: не вижу необходимости в избыточной формализации. Тем более, что она будет не такой тривиальной, как Вам кажется.
Берётся слово "рациональный", имеющее применительно к числу Пи точный математический смысл "не равный отношению чисел", доказывается иррациональность числа Пи и делается вывод - мир иррационален, в смысле мир непостижим разумом.
Да, "не равный отношению чисел" и "непостижим разумом" - вещи разные. Приводя примеры, я неслучайно сказал:
При желании из него можно попробовать сделать философский вывод
И привел примеры-пробы очень неглубоких выводов. При дополнительном желании можно пытаться их углубить. Т.е., нпр., попытаться показать, что с точки зрения пифагорейцев "не равный отношению чисел" означает непостижимый для разума. М.б. проще было бы обосновать, что "Мир не прост", т.е. если бы
было равно четырем, как законодательно попробовали сделать в одном из штатов США, то мир казался бы проще. К сожалению, в каждой области есть много неудачных попыток, но из этого не следует, что:
А вот доказать ничего так нельзя.
Конечно же, философский вывод никогда не может заменить математический вывод и вывод естествознания. То, что
, нужно вычислять, и никакой философией эти вычисления заменены быть не могут. Точно так же никакая философия не заменит расчета какого-либо устройства или механизма. Нпр., тривиальные механические часы-будильник основаны на точных соотношениях числа зубцов у шестеренок, а не на философских абстракциях.