Так существует ли что-нибудь в этой жизни, что не надо доказывать?
И, если не надо доказывать себе и своим единомышленникам, то надо ли другим?
ОбществоФилософия+2
Анонимный вопрос · · 517
В 1931 году Курт Гёдель доказал две теоремы. Первая, по сути, показывает, что математика содержит утверждения, которые, возможно, истинны, но по природе своей недоказуемы. Даже столь элементарная формальная система, как арифметика, допускает утверждения строгие, осмысленные и кажущиеся истинными, однако эта истинность не может быть доказана формальным путем.
Его вторая теорема показывает, что претензия арифметики на полноту как раз и является таким утверждением: она не может быть доказана никаким методом, опирающимся на аксиомы арифметики.
Я еще могу понять, когда требуется что-то доказать самому себе - ну, там, чтобы быть уверенным, не сомневаться, что именно этот путь верный и т. д. Но другим что-то доказывать зачем?
Конечно. Вы же помните в школе учили, что есть теоремы, которые надо доказывать, а есть аксиомы, которые доказывать не надо. В жизни тоже самое. То, что касается вашей жизни. ваших потребностей желаний и чувств априори аксиома... Читать далее
Не надо доказывать, как правило, то, с чем и так согласны… Остальное - придётся доказывать, как минимум, тем, чьё согласие Вам необходимо. Это - не только друзья или родственники. Это может быть Ваш начальник, который... Читать далее