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