Как это часто бывает, в несложном на превый взгляд высказывании намешано столько, что эпикриз займет многие страницы. Все ж попробую. 1. Истина сложна и потому объемна. Причем чем выше точность (а абсолютной точности не бывает) тем больше объем, по экспоненте, а то и круче. Потому в голове одного человека может поместиться либо вся истина в таком приближении, что пользоваться им непродуктивно, либо часть, причем чем выше точность, тем меньше сегмент. 2. Истина - предопределенность, потому лишает свободы. Для борцов за свободу ищущий истину - враг, тоталитарист. 3. Критерий истины - практика. Поэтому если фрицморген хочет самоутвердиться путем победы над нагановым, то истина в этом споре может родиться очень случайно. Практику победить нельзя, потому поиск истины для самоутверждения и прочих обезьяних забав - не самый лучший вид деятельности. 4. Истина может быть невыгодна отдельным личностям. 5. Вследствие пп.2,3,4 у истины очень много противников. И сами не ищут и нам не дают. То есть очень многие и знать не хотят, описывать их поведение словами "не знают" не вполне корректно.
да наоборот же все все проще - истин много, и они равноценны, или ранжировать их по весу слишком сложно претендуя же на знание лишь одной истины, мы отрицаем все остальные - а значит искажаем даже ту, которую признаем истинной
Континуум-гипотеза стала первой из двадцати трёх математических проблем, о которых Гильберт доложил на II Международном Конгрессе математиков в Париже в 1900 году. Поэтому континуум-гипотеза известна также как первая проблема Гильберта.
В 1940 году Гёдель доказал в расширенной теории, полученной присоединением к системе аксиом Цермело — Френкеля (ZFC) аксиомы о непротиворечивости ZFC, что отрицание континуум-гипотезы недоказуемо в ZFC; а в 1963 году Коэн доказал в той же теории, что континуум-гипотеза недоказуема в ZFC. Таким образом, континуум-гипотеза не зависит от аксиом ZFC.
Разделение по отрицанию или подтверждению континуум-гипотезы привело к созданию так называемой канторовской теории множеств, которая считает, что мощность множества вещественных чисел или континуума \mathbf{c}=2^{\aleph_0} равна \aleph_1, и неканторовской теории множеств, в которой это неверно.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
vlkamov
![[info]](https://l-stat.livejournal.com/img/userinfo.gif?v=3){kind=small}
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2011-09-16 08:17 am (UTC)no subject
Date: 2011-09-19 03:27 am (UTC)no subject
Date: 2011-09-19 05:32 am (UTC)В 1940 году Гёдель доказал в расширенной теории, полученной присоединением к системе аксиом Цермело — Френкеля (ZFC) аксиомы о непротиворечивости ZFC, что отрицание континуум-гипотезы недоказуемо в ZFC; а в 1963 году Коэн доказал в той же теории, что континуум-гипотеза недоказуема в ZFC. Таким образом, континуум-гипотеза не зависит от аксиом ZFC.
Разделение по отрицанию или подтверждению континуум-гипотезы привело к созданию так называемой канторовской теории множеств, которая считает, что мощность множества вещественных чисел или континуума \mathbf{c}=2^{\aleph_0} равна \aleph_1, и неканторовской теории множеств, в которой это неверно.
no subject
Date: 2011-09-19 05:44 am (UTC)в более сложных случаях требует выбора
no subject
Date: 2011-09-20 09:28 am (UTC)no subject
Date: 2011-09-20 11:02 am (UTC)