Цитата:
Сообщение от Руевит
На сколько угодно далеком шаге рассуждения эт тоже самое что бесконечно долго, ну или я не так выразился как ты меня понял. Я ведь не спорю с тобой, и вообще оценил твои рассуждения, я тоже хочу призвать тебя думать и не говорить что твои рассуждения единственно верные  Любой логический вывод основывается на некоторых первоначально полагаемых безусловно истинными утверждениях. Так что любая система логических построений зависит от первоначального набора аксиом.
|
Повторюсь, "бесконечно долго" примерно = "в любой сколь угодно далекий(большой и т.п.) момент времени". Если вы хотите сказать что-то другое используйте те слова которые верно и однозначно (= с единственным возможным пониманием) выразят вашу мысль.
Я может быть и пойму что конкретно имелось ввиду в данном конкретном посте, а другие решат что под "бесконечно долго" ты имел ввиду именно "бесконечно долго" (т.е. в сколь угодно далекий момент времени) а не "сколь угодно далеко в этом рассуждении" и именно из этого непонимания заключат что Ахиллес не догонит черепаху. Для того и существуют математика и мат. логика, чтобы записанные их языком и в их терминах рассуждения понимались одинаково ВСЕМИ. Именно поэтому сегодня мы можем построить куда как более крупную непротиворечивую структуру утверждений, чем античные философы, у которых не было математического аппарата. Аппарат этот не более чем средство четкого выражения мыслей. Именно отсюда появляется на технических форумах презрение к тем, кто этим аппаратом не владет, но пытается рассуждать (получается это, как правило, плохо).
З.Ы. "Любой логический вывод основывается на некоторых первоначально полагаемых безусловно истинными утверждениях"
и правилах вывода. Без которых, кроме начальных утверждений, не получится доказать ничего.