О беспочвенности науки (по материалам википедии и не только)
- 11.05.07, 10:00
- ПрактическоеХристианство
Ниже приведена формулировка теоремы Гёделя о неполноте, из которых следует, что доказать непротеворечивость логики в рамках самой логики невозможно.
То есть все-таки ВЕРИМ!!!!
Теорема была доказана Куртом Гёделем в 1931 году.
Вторая теорема Гёделя о неполноте Во всякой достаточно богатой непротиворечивой теории первого порядка (в частности, во всякой непротиворечивой теории, включающей формальную арифметику), формула, утверждающая непротиворечивость этой теории, не является выводимой в ней. |
Иными словами, непротиворечивость достаточно богатой теории не может быть доказана средствами этой теории. Однако вполне может оказаться, что непротиворечивость одной конкретной теории может быть установлена средствами другой, более мощной формальной теории. Но тогда встаёт вопрос о непротиворечивости этой второй теории, и т. д.
Эта теорема имеет широкие последствия как для математики, так и для философии, в частности, для онтологии и философии науки.
Литература- Успенский В. А. Теорема Гёделя о неполноте. «Популярные лекции по математике» М.: «Наука», 1982 г., 110 стр.