В колонках играет - Lacrimosa - Sanctus

Настроение сейчас - Gothic depression

    Ужоснах, мир рухнул, надо пойти убить себя об стену!
Началось всё вполне невинно - на лекции матанщик, как это у него часто бывает, начал рассказывать посторонние, но очень интересные вещи. рассказывал он о том, что такое наука - система из таких элементов:

• неопределяемые понятия


• аксиомы, связывающие неопределяемые понятия


• логика


• Доказуемые на основе аксиом и логики теоремы (утверждения)

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